TypeScript躬行记（4）——泛型
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了TypeScript躬行记（4）——泛型，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含2514字，纯文字阅读大概需要4分钟。
内容图文
泛型是程序设计语言中的一种风格或范式，相当于类型模板，允许在声明类、接口或函数等成员时忽略类型，而在未来使用时再指定类型，其主要目的是为它们提供有意义的约束，提升代码的可重用性。
一、泛型参数
当一个函数需要能处理多种类型的参数和返回值，并且还得约束它们之间的关系（例如类型要相同）时，就可以采用泛型的语法，如下所示。
function send<T>(data: T): T {
return data;
}
函数名称后面跟了<T>，其中把T称为泛型参数或泛型变量，表示某种数据类型。注意，T只是个占位符，可以命名的更含语义，例如TKey、TValue等。在使用时，既可以指定类型，也可以利用类型推论自动确定类型，如下所示。
send<number>(10); //指定类型 send(10); //类型推论
当需要处理T类型的数组时，可以像下面这么写。
function send<T>(data: T[]): T[] {
return data;
}
send<number>([1, 2, 3]);
当指定一个泛型函数的类型时，需要包含泛型参数，如下所示，其中泛型参数和函数参数的名称都可与定义时的不同。
let func: <U>(data: U) => U = send;
泛型参数还支持传递多个，只需在声明时增加类型占位符即可。在下面的示例中，将T和U合并成了一个元组类型，还有许多其它用法，将在后面讲解。
function send<T, U>(data: [T, U]): [T, U] {
return data;
}
send<number, string>([1, "a"]);
二、泛型接口
在接口中，可利用泛型来约束函数的结构，如下所示，接口中声明的调用签名包含泛型参数。
interface
Func {
<T>(str: T): T;
}
function send<T>(str: T): T {
return str;
}
let fn: Func = send;
泛型参数还可以作为接口的一个参数存在，即把用尖括号包裹的泛型参数移到接口名称之后，如下所示。
interface Func<T> {
(str: T): T;
}
function send<T>(str: T): T {
return str;
}
let fn: Func<string> = send;
当把Func接口作为类型使用时，需要向其传入一个类型，例如上面赋值语句中的string。
三、泛型类
泛型类与泛型接口类似，也是在名称后添加泛型参数，如下所示，其中send属性中的“=>”符号不表示箭头函数，而是用来定义方法的返回值类型。
class Person<T> {
name: T;
send: (data: T) => T;
}
在实例化泛型类时，需要为其指定一种类型，如下所示。
let person = new Person<string>(); person.send = function(data) { return data; }
注意，类的静态部分不能使用泛型参数。
四、泛型约束
在使用泛型时，由于事先不清楚参数的数据类型，因此不能随意调用它的属性或方法，甚至无法对其使用运算符。在下面的示例中，访问了data的length属性，但由于编译器无法确定它的类型，因此就会报错。
function send<T>(data: T): T {
console.log(data.length);
return data;
}
TypeScript允许为泛型参数添加约束条件，从而就能调用相应的属性或方法了，如下所示，通过extends关键字约束T必须是string的子类型。
function send<T extends string>(data: T): T {
console.log(data.length);
return data;
}
在添加了这个约束之后，send()函数就无法接收数字类型的参数了，如下所示。
send("10"); //正确
send(10); //错误
1）创建类的实例
在使用泛型创建类的工厂函数时，需要声明T类型拥有构造函数，如下所示。
class
Programmer { }
function create<T>(ctor: {new(): T}): T {
returnnew ctor();
}
create(Programmer);
用“{new(): T}”替代原先的类型占位符，表示可以被new运算符实例化，并且得到的是T类型，另一种相同作用的写法如下所示。
function create<T>(ctor: new()=>T): T {
returnnew ctor();
}
2）多个泛型参数
在TypeScript中，多个泛型参数之间也可以相互约束，如下所示，创建了基类Person和派生类Programmer，并将create()函数中的T约束为U的子类型。
class
Person { }
class
Programmer extends Person { }
function create<T extends U, U>(target: T, source: U): T {
return target;
}
当传递给create()函数的参数不符合约束条件时，就会在编译阶段报错，如下所示。
create(Programmer, Person); //正确 create(Programmer, 10); //错误
原文：https://www.cnblogs.com/strick/p/11697909.html
内容总结
以上是互联网集市为您收集整理的TypeScript躬行记（4）——泛型全部内容，希望文章能够帮你解决TypeScript躬行记（4）——泛型所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。