TypeScriptの型推論（型判定）_JavaScriptスキル

TypeScript は Microsoft によって開発された JavaScript のスーパーセットであり、JavaScript と互換性があり、JavaScript コードをロードして実行できます。 JavaScript と比較した TypeScript の改善点には、サポートされているオブジェクトと関数をコンパイラに理解させるためのコメントの追加が含まれます。コンパイラは、従来のオブジェクト言語である完全なクラス構造を追加することなくコメントを削除します。

なぜ TypeScript があるのですか?

JavaScript は単なるスクリプト言語であり、大規模な Web アプリケーションを開発するように設計されていません。JavaScript にはクラスやモジュールの概念がありません。TypeScript は JavaScript を拡張してこれらの機能を実装します。 TypeScript の主な機能は次のとおりです:

TypeScript は Microsoft によって開始されたオープンソース言語であり、Apache ライセンス契約を使用します

TypeScript は JavaScript のスーパーセットです。

TypeScript はオプションの型、クラス、モジュールを追加します

TypeScript は、読み取り可能な標準 JavaScript にコンパイルされます

TypeScript は大規模な JavaScript アプリケーションの開発をサポートします

TypeScript は大規模なアプリケーションの開発用に設計されており、コンパイルされた JavaScript コードの互換性を保証します

TypeScript は JavaScript の構文を拡張するため、既存の JavaScript コードを変更せずに TypeScript で直接実行できます

TypeScript ファイルの拡張子は ts で、TypeScript コンパイラーはそれを js ファイルにコンパイルします

TypeScript の構文は JScript .NET と同じです

TypeScript は学習と理解が簡単です

文法的特徴

クラス

インターフェース

モジュール

注釈を入力

コンパイル時の型チェック

アロー関数 (C# の Lambda 式に似ています)

JavaScript と TypeScript の違い

TypeScript は、JavaScript の構文を拡張した JavaScript のスーパーセットで、既存の JavaScript コードを変更せずに TypeScript で動作できるように、型アノテーションを通じてコン​​パイル時の静的型チェックを提供します。 TypeScript は既存の JavaScript コードを処理し、

のみを使用できます。

TypeScript コードがコンパイルされます。

このセクションでは、TypeScript の型推論を紹介します。型推論が必要な場所とその方法について説明します。

基本

TypeScript では、型注釈が明示的に指定されていないいくつかの場所で型情報を提供するために型推論が使用されます。

var x = 3;

変数 "x" の値は数値であると推測されます。この推論は、変数またはメンバーが初期化され、パラメーターのデフォルト値が設定され、関数の戻り値の型が決定されるときに発生します。

ベストパブリックタイプ

複数の式から型推論が必要な場合、これらの式の型は「最も一般的な型」を推論するために使用されます。例:

var x = [0, 1, null];

例の「x」の型を推測するには、各配列要素の型を考慮する必要があります。ここでは、number と null の 2 つの配列タイプを選択できます。最良の共通タイプ アルゴリズムでは、すべての候補タイプが考慮され、すべての候補タイプと互換性のあるタイプが選択されることが必要です。 (ここでの型は Arrayd80b5def5ed1be6e26d91c2709f14170 にすることができます)

提供された候補タイプから最も一般的なタイプが選択されるため、候補タイプが共通のタイプを共有する場合がありますが、単一のタイプがすべての候補タイプの親タイプになることはありません。例:

class Animal {
name:string;
constructor(theName: string) { this.name = theName; }
}
class Snake extends Animal{
constructor(name: string) { super(name); }
}
class Elephant extends Animal{
constructor(name: string) { super(name); }
}
class Rhino extends Animal {
constructor(name: string) { super(name); }
}
var zoo = [new Rhino(), new Elephant(), new Snake()]; // 这里三个成员的类型分别为：Rhino、Elephant、Snake 他们是最佳公共类型的候选类型，Animal是他们的super type(译为父类型) 

理想的には、zoo の型が Animal[] であると推論したいかもしれませんが、配列内のオブジェクトは厳密に Animal 型ではないため、その推論を行うことはできません。この問題を解決するには、すべての候補型の親型を推論できない場合に、型を明示的に指定する必要があります。

var zoo: Animal[] = [new Rhino(), new Elephant(), new Snake()]; 

最適なパブリック型がない場合、推論の結果、空のオブジェクト {} が生成されます。この型にはメンバーが含まれていないため、そのプロパティにアクセスするとエラーが発生します。この結果でも、型を無視した方法でオブジェクトを使用することができますが、型安全性を確保しながらオブジェクトの型を暗黙的に決定することはできません。

コンテキスト (コンテキスト) タイプ

TypeScript では、場合によっては「別の方法で」型推論も存在します。これを「文脈に応じた分類」といいます。コンテキスト照合は、式の型がそれが発生するコンテキストで暗黙的に指定されている場合に発生します。例:

window.onmousedown = function(mouseEvent) { 
console.log(mouseEvent.buton); //<- 编译时抛出错误 
}; 

上面的代码将会给出一个类型错误，TypeScript的类型检查器使用Window.onmousedown函数的类型来推断右边的函数表达式类型。当它这么做的时候，便能够推断出参数mouseEvent的类型。 如果这个表达式不在可进行上下文归类的位置，参数mouseEvent 需要给定一个any类型，这样就不会出现错误了。

如果需要上下文归类的表达式内容中包含明确的类型信息，则会忽略上下文归类。我们重写上面的例子：

window.onmousedown = function(mouseEvent: any) { 
console.log(mouseEvent.buton); //<- 现在不会报错了 
}; 

参数明确指定类型的函数表达式将会忽略上下文归类。经过这样的处理就不会报错了，因为没有应用到上下文归类。

上下文归类可应用于许多场景。常见的场景包括函数调用的参数、赋值的等号右边表达式、类型确定、对象成员和数组字面量、返回值语句。上下文类型也作为最佳公共类型的候选类型。例如：

function createZoo(): Animal[] {
return [new Rhino(), new Elephant(), new Snake()];
} 

在这个例子中，最佳公共类型有四个候选类型：Animal,Rhino,Elephant,和Snake。其中，Animal可以作为最佳公共类型。

形式有点像数学中的求最小公倍数...