TypeScript Type Inference (type judgement)_kemahiran javascript

TypeScript ialah superset JavaScript yang dibangunkan oleh Microsoft TypeScript serasi dengan JavaScript dan boleh memuatkan kod JavaScript dan kemudian menjalankannya. Penambahbaikan TypeScript berbanding dengan JavaScript termasuk: menambah komen untuk membolehkan pengkompil memahami objek dan fungsi yang disokong.

Mengapa terdapat TypeScript? JavaScript hanyalah bahasa skrip dan tidak direka untuk membangunkan aplikasi web berskala besar JavaScript tidak menyediakan konsep kelas dan modul, dan TypeScript memanjangkan JavaScript untuk melaksanakan ciri ini. Ciri utama TypeScript termasuk:

TypeScript ialah bahasa sumber terbuka yang dilancarkan oleh Microsoft dan menggunakan perjanjian pelesenan Apache

TypeScript ialah superset JavaScript

TypeScript menambah jenis pilihan, kelas dan modul

TypeScript menyusun kepada JavaScript standard yang boleh dibaca

TypeScript menyokong pembangunan aplikasi JavaScript berskala besar

TypeScript direka untuk membangunkan aplikasi berskala besar dan menjamin keserasian kod JavaScript yang disusun

TypeScript memanjangkan sintaks JavaScript, jadi kod JavaScript sedia ada boleh dijalankan terus dengan TypeScript tanpa perubahan

Pelanjutan fail TypeScript ialah ts, dan pengkompil TypeScript akan menyusunnya ke dalam fail js

Sintaks TypeScript adalah sama dengan JScript .NET

TypeScript mudah dipelajari dan difahami

Ciri tatabahasa

Kelas

Antaramuka

Modul

Taip anotasi

Kompilasi pemeriksaan jenis masa

Fungsi anak panah (serupa dengan ungkapan Lambda C#)

Perbezaan antara JavaScript dan TypeScript

TypeScript ialah superset JavaScript yang memanjangkan sintaks JavaScript supaya kod JavaScript sedia ada boleh berfungsi dengan TypeScript tanpa sebarang pengubahsuaian menyediakan semakan jenis statik masa kompilasi melalui anotasi jenis. TypeScript boleh memproses kod JavaScript sedia ada dan hanya menggunakan

Kod TypeScript disusun.

Dalam bahagian ini, kami akan memperkenalkan inferens jenis dalam TypeScript. Kami akan membincangkan di mana inferens jenis diperlukan dan cara melakukannya.

Asas

Dalam TypeScript, inferens jenis akan digunakan untuk memberikan maklumat jenis di beberapa tempat di mana anotasi jenis tidak dinyatakan secara eksplisit.

var x = 3

Nilai pembolehubah "x" disimpulkan sebagai nombor. Inferens ini berlaku apabila pembolehubah atau ahli dimulakan, nilai lalai parameter ditetapkan, dan jenis pengembalian fungsi ditentukan.

Jenis Awam Terbaik

Apabila jenis inferens diperlukan daripada berbilang ungkapan, jenis ungkapan ini akan digunakan untuk membuat kesimpulan "jenis biasa terbaik". Contohnya:

var x = [0, 1, null];

Untuk membuat kesimpulan jenis "x" dalam contoh, kita perlu mempertimbangkan jenis setiap elemen tatasusunan. Di sini, kami diberi pilihan dua jenis tatasusunan: nombor dan nol. Algoritma jenis biasa terbaik memerlukan semua jenis calon dipertimbangkan dan jenis yang serasi dengan semua jenis calon dipilih. (Jenis di sini boleh menjadi Array)

Memandangkan jenis biasa terbaik dipilih daripada jenis calon yang disediakan, terdapat kes di mana jenis calon berkongsi jenis biasa, tetapi tiada jenis tunggal adalah jenis induk bagi semua jenis calon. Contohnya:

Sebaik-baiknya, kita mungkin mahu zoo disimpulkan sebagai jenis Haiwan[], tetapi memandangkan tiada objek dalam tatasusunan adalah jenis Haiwan, kita tidak boleh membuat inferens itu. Untuk menyelesaikan masalah ini, kami perlu menyediakan jenis secara eksplisit apabila jenis induk semua jenis calon tidak dapat disimpulkan.

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(译为父类型) 

Apabila tiada jenis awam terbaik, hasil inferens ialah menghasilkan objek kosong, {}. Oleh kerana jenis ini tidak mengandungi ahli, mengakses mana-mana sifatnya akan mengakibatkan ralat. Keputusan ini masih membenarkan kami menggunakan objek dengan cara mengabaikan jenis, tetapi jenis objek tidak boleh ditentukan secara tersirat sambil memastikan keselamatan jenis.

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

Jenis Konteks (Konteks)

Dalam TypeScript, inferens taip juga wujud "sebaliknya" dalam beberapa kes. Ini dipanggil "kontekstualisasi". Pengumpulan kontekstual berlaku apabila jenis ungkapan dinyatakan secara tersirat dalam konteks di mana ia berlaku. Contohnya:

上面的代码将会给出一个类型错误，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可以作为最佳公共类型。

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