Using enums as types allows values that don’t exist in the enum

by

(update 2021-06-10, this is unchanged by the TS4.3 update for union enums)

This is (maybe surprisingly) intended behavior. Numeric enums in TypeScript are sometimes used for bitwise operations, where the listed values are treated as flags. And, as stated by @RyanCavanaugh in a comment on a reported issue about this:

We don’t distinguish between flag and non-flag enums, so a number that is above [or not equal to] any given enum member isn’t necessarily invalid. For example

enum Flags {
Neat = 1,
Cool = 2,
Great = 4
}
// like saying Neat | Cool | Great
var x: Flags = 7;

So even though 7 is not equal to any one of the listed Flags enum values, you can still get it by performing bitwise operations of the listed values. I’m pretty sure that the compiler doesn’t do any restriction other than checking that the value is a number.

In your case, even though none of the Something enumerated values are 15, it doesn’t stop you from doing the (useless and dubiously sane) following:

const value: Something = (Something.Email | Something.All) >> 1;

which amounts to the same thing (10 | 20 evaluates to 30, and 30 >> 1 is 15).

Note that this bitwise stuff doesn’t apply to string-based enums, so one way to deal with this is to change your numbers to string literals:

const enum Something {
  None="0",
  Email="10",
  All="20"
}
const value: Something = '15'; // error, as desired

and the compiler warns you that '15' is not a valid value for Something.

Hope that helps. Good luck!

More Related Contents:

  1. Generic type to get enum keys as union string in typescript?
  2. Typescript has unions, so are enums redundant?
  3. Typescript: string literal union type from enum
  4. How to use enum as index key type in typescript?
  5. Expression ___ has changed after it was checked
  6. Interfaces vs Types in TypeScript
  7. Could not find a declaration file for module ‘module-name’. ‘/path/to/module-name.js’ implicitly has an ‘any’ type
  8. TypeScript conditional types – filter out readonly properties / pick only required properties
  9. Typescript: infer type of generic after optional first generic
  10. Define global constants
  11. Create an enum with string values
  12. Typescript: TS7006: Parameter ‘xxx’ implicitly has an ‘any’ type
  13. TypeScript 2: custom typings for untyped npm module
  14. “parserOptions.project” has been set for @typescript-eslint/parser
  15. Exclude/overwrite npm-provided typings
  16. TypeScript typings in npm @types org packages
  17. Cast int to enum strings in Typescript
  18. TypeScript conditional return value type?
  19. Rules for the use of angle brackets in TypeScript
  20. Naming of TypeScript union and intersection types
  21. How to add custom “typings” in typescript 2.0 / 3.0
  22. Global types in typescript
  23. ‘R’ could be instantiated with an arbitrary type which could be unrelated to ‘Response’
  24. Typescript Error: type ‘string’ can’t be used to index type X
  25. How to define Map with correlation between a key type and a value type, while they both are unions
  26. How to get a variable type in Typescript?
  27. TypeScript export imported interface
  28. How to create an Observable from static data similar to http one in Angular?
  29. TypeScript: type for an object with only one key (no union type allowed as a key) [duplicate]
  30. Is this behavior of “any” a TypeScript Type System Bug?

Leave a Comment