typscript中的類型兼容是基于結構子類型的（子類型兼容和賦值兼容），即只使用其成員來判定是兼容，這是根據JavaScript的特性設計的，因為js中有很多匿名對象，只要y的所有成員都能在對象x中能找到，那么y=x就能成立，在強類型語言如Java中就不行。

比較對象兼容

比如在一個interface和一個class，只要interface的變量p的成員都能在class或者一個匿名對象中能找到，那么就能把這個class實例或匿名對象賦值給p,如果是對象字面量會觸發(fā)嚴格檢查操作，需要將對象字面量賦值給一個變量y，再賦值給變量p

interface Named {
    name: string;
}

class Person {
    name: string;
}

let p:Named

p = new Person()
p = {name:'xxxx'}
// 此時會報錯 age 不兼容 Named，因為對象字面量會觸發(fā)嚴格類型檢查，可以通過 as 斷言或者 中間變量y
p = {name:'xxxx',age:10}

函數參數兼容

函數參數也是一樣，實參要兼容形參類型

兩個函數兼容性

參數列表數量

判斷函數x是否能賦值給函數y，一是從參數數量和參數類型上，函數x參數數量少的，且對應參數類型兼容的能賦值給函數 y

函數返回值類型,協(xié)變

一是從函數的返回值類型上，函數 x 的返回值類型必須是函數 y 的返回值類型的子類，否則報錯

函數參數雙向協(xié)變（老版本ts）

函數的參數既能賦值父類也能賦值子類

函數參數逆變

當函數 x 的參數是 函數 y 的參數的時，函數 x 也能賦值給 y ，因為函數 y 將來調用時傳入的時子類如 Dog 類，那么如果此時用函數 x 替換 函數 y ，相當于函數 x 接收了 Dog 類，而函數 x 的參數類型時 Animal 父類，那么也是兼容的。

interface Animal{
    name:string
}
interface Dog extends Animal{
    bark:()=>void
}

let x = (a:Animal)=>{}
let y = (d:Dog)=>{}

y = x // 函數參數逆變

x = y // 報錯

// 因為存在這種情況
function test(fn:(d:Dog)=>void){
    const dog = {name:'dog',bark(){}}

    fn(dog) // 當傳入的fn是 (a:Animal)=>void 類型時，Animal類也能接收Dog子類，所以逆變的意義就在于此
}

test(x)

枚舉與數字之間的兼容

enum Status { Ready, Waiting };
enum Color { Red, Blue, Green };

let s = Status.Ready;
s = 1 // enum 數字類型兼容
s = Color.Green;  // Error

類

類和對象字面和接口差不多，主要區(qū)別在于類具有靜態(tài)部分和實例部分，兩個類實例對象之間能否賦值不在于其類是否一直，這與Java等語言不同，A 類和 B 類的實例成員只要一致，那么就能相互賦值。但是類的私有成員和受保護成員會影響兼容性，如果目標類型包含一個私有成員，那么源類型必須包含來自同一個類的這個私有成員。 同樣地，這條規(guī)則也適用于包含受保護成員實例的類型檢查。 這允許子類賦值給父類，但是不能賦值給其它有同樣類型的類。

class Animal {
    feet: number=0;
    constructor(name: string, numFeet: number) { }
}

class Size {
    feet: number=0;
    constructor(numFeet: number) { }

}

let a: Animal = new Animal('',0)
let s: Size = new Size(0);

a = s;  // OK
s = a;  // OK

泛型

泛型其實對于兼容性的影響在于影響其結果類型，然后在結果類型再去比較類型兼容性
如下，經過泛型推導后的類型是{}，那么 x ， y 的類型比較就是最終的類型比較

interface Empty<T> {
}
let x: Empty<number>;
let y: Empty<string>;

x = y;  // OK, because y matches structure of x

到此這篇關于Typescript中類型兼容的實現(xiàn)的文章就介紹到這了,更多相關Typescript 類型兼容內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！ 

最新評論