进阶之路（五）

介绍

软件工程中，我们不仅要创建一致的定义练好的API，同时也要考虑可重用性。组件不仅能够支持当前的数据类型，同时也能支持未来的数据类型，这在创建大型系统时为你提供了十分灵活的功能。

在像C#和Java这样的语言中，可以使用泛型来创建可重用的组件，一个组件可支持多种类型的数据。这样用户就可以以自己的数据类型来使用组件。

泛型之 Hello World

identity 函数 (恒定对等函数)

如果不用范类的话，或许是这样的：

 function identity(arg: number): number {
     return arg
 }
 console.log(identity(22));

或者是这样的：

    function identity(arg: any): any {
        return arg
    }
    console.log(identity('这是一个任意数据类型'));

使用any类型会导致这个函数可以接受任何类型的arg参数，这样就丢失了一些信息：传入的类型与返回的类型应该是相同的。如果传入一个数字，则返回的任何类型的值都有可能；

因此我们需要一种方法使返回值得类型与传入的参数类型是相同的。

类型变量

特殊的变量，只用于表示类型而不是值

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

而这种泛型函数有两种方法使用。

第一种是传入所有参数，包括类型参数：

let anyOne = identity<string>('string'); // 检测类型将为 String

第二种则是利用了编译器会根据传入的参数自动地帮助我们确定 T 的类型,即类型推论

let anyTwo = identity('string')	// 检测类型为 string

这个没有必要特别传入类型，可以让编译器查看传入的值来设置 T 为它的类型。类型理论推论可以帮助我们保持代码精简和高可读性。在一些复杂的情况下可能出现编译器无法自动的推断出类型，这样的话只能像第一种方法明确传入 T 的类型。

使用泛型变量

使用泛型创建像 identity 这样的泛型函数，编译器要求在函数体必须正确的使用这个通用的类型。换句话说，必须把这些参数当做是任意或所有类型。

改造一下之前的 identity 函数 ,在函数内输出传入值的长度：

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

如果这么做 编辑器会告诉我们:

“Property ‘length’ does not exist on type T” —>属性“length”在类型T上不存在

也就是在传入的参数是任意类型，参数上没有地方指明 arg 具有 length 即使是它的原型对象上，这样子的话就无法得知length 属性。

那么我们设想操作 T 类型的数组而不直接是T。由于我们操作的是数组，所有 .length 应该存在的。我们可以向创建其他数组一样创建这个数组：

// 可以这么写
// function logLongIdentity<T>(arg: T[]): T[] {
//     console.log(arg.length);
//     return  arg;
// }
// 也可以这么写
// function logLongIdentity<T>(arg:Array<T>): Array<T> {
//     console.log(arg.length);
//     return  arg;
// }

泛型类型

泛型函数

泛型函数的类型与非泛型函数的类型没什么不同，只是有一个类型参数在最前面，像函数声明一样

function identity<T>(arg: T): T {
    return  arg;
}
let myIdentity: <T>(arg: T) => T = identity;
// 同样 我们也可使用不同的参数名，只要在数量上和使用方式能对应上就可以。
let myIdentityU: <U>(arg: U) => U = identity;
// 或者是带有调用签名的对象字面量来定义泛型函数
let myIdentityX: {<T>(arg: T): T} = identity;

泛型接口

借助上面的对象字面量，将它作为一个接口

interface GenericIdentityFn {
    <T>(arg: T): T;
}

或者不再描述泛型函数，而是把非泛型函数签名作为泛型类型的一部分,作为一个泛型接口:

interface GenericIdentityFnY<T> {
    (arg: T): T
}

当时用第一种时，就像之前的泛型函数：

let myIdentity: GenericIdentityFn = identity;

而第二种则有些变化:

let myIdentityT: GenericIdentityFnY<number> = identity;

使用泛型接口 GenericIdentityFnY 时，还需要传入一个类型参数来指定泛型类型，锁定了之后代码里面使用的类型。

泛型类

泛型类看上去与泛型接口差不多。 泛型类使用（ <>）括起泛型类型，跟在类名后面。

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 };

与接口一样，直接把泛型类型放在类后面，可以帮助我们确认类的所有属性都在使用相同的类型。

泛型约束

实际工作中需要修改某类型的一组值，并且知道这一组值具有什么样的属性。在之前的 `logLongIdentity’ 中，函数内部访问 arg 的 length 属性，但是编译器并不能证明每种类型都有 length 属性，所以报错。

function logLongIdentity<T>(arg: T): T {
    console.log(arg.length);
    return arg;
}

相对于操作任意类型的数据，我们想要去限制函数处理任意带有 length 属性的所有类型。 只要传入的类型有这个属性，我们就允许，就是说至少包含这一属性。为此我们需要列出对 T 的约束要求。

定义一个接口来描述约束条件

interface Lengthwise {
    length: number;
}

function logLongIdentity<T extends Lengthwise>(arg:T): T {
    console.log(arg.length);
    return  arg;
}

// logLongIdentity(3); // 报错 需要传入符合类型的值
logLongIdentity({length: 222, value: 3});

在泛型约束中使用类型参数

声明一个类型参数，且它被另一个类型参数所约束。 比如，现在我们想要用属性名从对象里获取这个属性。 并且我们想要确保这个属性存在于对象 obj上，因此我们需要在这两个类型之间使用约束。

function getProperty(obj: T, key: K) {
    return obj[key];
}

let x = { a: 1, b: 2, c: 3, d: 4 };

getProperty(x, "a"); // okay
getProperty(x, "m"); // error: Argument of type 'm' isn't assignable to 'a' | 'b' | 'c' | 'd'.

在泛型里使用类类型

在TypeScript使用泛型创建工厂函数时，需要引用构造函数的类类型。比如，

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!