Typescript-7.泛型

泛型之Hello World

function identity(arg:number):number{
	return arg;
}
function identity(arg:any):any{
	return arg;
}

function identity<T>(arg:T):T{
	return arg;
}
let ide = identity<String>("my name is danny");
let myIden = identity("my name is danny");

使用泛型變量
使用泛型創建像identity這樣的泛型函數時，
編譯器要求你在函數體必須正確的使用這個通用的類型。
換句話說，你必須把這些參數當做是任意類型或者所有類型，即泛型擦除。

function log<T>(arg: T[]):T[]{
	//....
}
function log<T>(arg: Array<T>):Array<T>{
	//....
}

泛型類型

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

我們也可以使用不同的泛型參數名，只要在數量上和使用方式上能對應上即可。

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

我們還可以使用帶有調用簽名的對象字面量來定義泛型函數：

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

這引導我們去寫一個泛型接口了。

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

在泛型裏使用類類型
在ts使用泛型創建工廠函數時，需要引用構造函數的類類型。
比如，

function create<T>(
c: {new(): T;}):T{
	return new c();
}

一個更高級的例子，使用原型屬性推斷並約束構造函數與類實例的關係。

class BeeKeeper{
	hasMask: boolean;
}
class Zookeeper{
	nametag: string;
}
class Animal{
	numLegs: number;
}

class Bee extends Animal{
	keeper: BeeKeeper;
}
class Lion extends Animal {
    keeper: ZooKeeper;
}

function createInstance<A extends Animal>(c: new () => A):A{
	return new c();
}
createInstance(Lion).keeper.nametag;  // typechecks!
createInstance(Bee).keeper.hasMask;   // typechecks!