Typescript 2はnullを許可しない型をどのように強制しますか？

Question

私は一般的な説明として、コンパイラは静的型チェックを行いますが、nullable型が誤って動作しないことを検証するためにコンパイラが特に使用するメソッドは何ですか？

Answer 1

TypeScriptは完全にコンパイル側です。すべての静的型はJavaScriptに変換されると失われます。以下のようなものをやってからあなたを止めるものは何もありません：

let foo: { myProperty: string } = { myProperty: "g" }; // myProperty is non-nullable 

foo["myProperty"] = undefined; // bypass type checker! 

Answer 2

NULL可能/ undefinednessチェックがどのように型システムモデルの種類でだけ変更です。いつものように、これはすべて型チェックフェーズ中に発生し、実行時にこれを強制するために送出されるJavaScriptには何もありません。

とにかく、タイプは、ドメインの値がと考えることができます。たとえば、booleanのドメインは通常、2つの値trueとfalseです。 stringは、"hello"と"world"などすべての文字列を含む無制限のドメインです。

TypeScriptは、あるタイプの位置で値が使用されるとき、その値がそのタイプのドメインにあることをチェックします。たとえば、trueはnumberのドメインには含まれていないため、が期待されるtrueを使用しようとすると違法です。

厳密なヌルチェックなしのタイプスクリプトでは、nullおよびundefinedはすべてのタイプのドメインにあります。したがって、タイプbooleanは、実際にの4つのの値を持っています：true,false、undefined、およびnullです。 undefinedとnullは、正確にはtrueとfalseのように振る舞いませんので、人々が通常発見するように、これは悪いです。プロパティとメソッドを持つものについては、substrがstringのドメインのすべての値のメソッドとして存在し、nullとundefinedを除いて存在するので、それはひどいです。厳しいヌルチェックと活字体で

、あらゆる種類のドメインのうち、自分のタイプにnullとundefined動きます。値nullは、stringのドメインに存在しないため、stringが予想される場所では使用できません。タイプstring | nullは、stringドメインまたはの特別な値であるかもしれない値を表します。null

この説明は、Anders Hejlsberg's talk from Build 2016 starting around 44:30から適応されています。あなたが想像しているように、彼は私よりも上手く説明してくれます。