TypeScript基礎--泛型

泛型的意義：在軟體工程中，我們不僅要建立一致的定義良好的API，同時也要考慮吧可重用性。元件不僅能夠支援當前的資料型別，同時也要支援未來的資料型別。

TypeScript的泛型示例：

1. 泛型定義

function identity<T>(arg: T): T {
    return arg;
}

2. 泛型介面示例

interface GenericIdentityFn<T> {
    (arg: T): T;
}
function identity<T>(arg: T): T {
    return arg;
}
let myIdentity: GenericIdentityFn<number> = identity;

3. 泛型類示例

class GenericNumber<T> {
    zeroValue: T;
    add: (x: T, y: T) => T;
}
let myGenericNumber = new GenericNumber<number>();
myGenericNumber.zeroValue = 0;
myGenericNumber.add = function(x, y) { return x + y; };

泛型約束

function loggingIdentity<T>(arg: T): T {
    console.log(arg.length);  // Error: T doesn't have .length
    return arg;
}

上面這個例子中，編譯器會直接報錯。原因很簡單，實際在確定泛型型別的時候，我們並不能保證每種資料型別都有length屬性。

前面學習過，TypeScript介面可以用來表示契約（約束），所有我們可以修改為如下方式：

interface Lengthwise {
    length: number;
}

function loggingIdentity<T extends Lengthwise>(arg: T): T {
    console.log(arg.length);  // Now we know it has a .length property, so no more error
    return arg;
}

正確的呼叫方式如下：

loggingIdentity({ length: 10, value: 3 });
loggingIdentity("12345");