なぜ範囲外の値をTypeScript列挙型に割り当てることができますか？

Question

はなぜ活字体コードのこの作品は許可されている：

const enum Foobar { 
    Foo = 0, 
    Bar = 1 
} 

let a: Foobar = 42; 
const b: 42 = 42; 
a = b; 

私は列挙型が動的にすることができることを理解します。しかし、私は、この例題がTypeScriptコントロールフロー分析を使用して許可されるべきではないと感じています。

Answer 1

これは、TSがビットフラグと非ビットフラグの列挙を区別しないために可能です。

、範囲外の値は、一般的にビットフラグ列挙で発生：

ここ

const enum Foobar { 
    Foo = 0, 
    Bar = 1, 
    Baz = 2, 
    Qoo = 4 
} 

let a: Foobar = Foobar.Qoo | Foobar.Baz; 

、aは明らかに値6を有し、これは列挙の意図を明らかに違反ではありません。