活字強制ではないタイプの

Question

が、私はこの非常に単純なコードを持っています。どうして？

Answer 1

viewsDictionaryタイプ{ [key: string]: Object }を明示的に指定しています。互換性のある値を代入してもその型は変わらないので、とkeyofのどの文字列でもtypeof viewsDictionaryが残っています。

あなたは

viewsDictionary = { category: {} }; 

を割り当てることによってだけでなく正常に動作されていることを確認することができます。

TSは、型自体を推測し、期待どおりに動作しますので、ジャスト、明示的な型宣言を削除します。

let viewsDictionary = { 
    abc: {} 
}; 
type ViewName = keyof typeof viewsDictionary; 

let result: ViewName; 

result = "category"; error 

は今「『ABC』を」というタイプ「『カテゴリーは』」型に代入できません不平を言います。

更新：

ます。また、（コメントから）明示的に型を指定することができます

let viewsDictionary: {abc: {}} = { 
    abc: {}, 
    def: {}, // error 
}; 
type ViewName = keyof typeof viewsDictionary; 

let result: ViewName; 

result = "def"; // still error 

[タイプ'{ abc: {}; def: {}; }'が'{ abc: {}; }'を型に代入ないことをviewsDictionaryに別のキーを追加したときにこれは文句を言うでしょう