Typescript-7.泛型

本文介绍了TypeScript中的泛型概念,包括如何使用泛型函数、泛型类型、不同参数名的泛型以及泛型接口。示例中展示了泛型在类类型的使用,特别是如何在工厂函数中应用泛型,确保类型安全。
泛型之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!

### TypeScript 约束的使用 在 TypeScript 中,约束用于限制参数的类范围,从而提高代码的安全性和灵活性。通过 `extends` 关键字,可以定义参数必须满足的条件。以下是关于如何使用 TypeScript 约束的具体说明: #### 基础概念 当定义一个函数或接口时,如果希望该能够操作某些特定类的属性或方法,则需要为其添加约束。例如,在不加约束的情况下,编译器会认为可能表示任意类,因此不允许访问任何具体的属性或方法[^4]。 #### 使用 `extends` 添加约束 可以通过 `extends` 关键字为设置约束条件。这意味着传入的类必须继承自某个基类或者实现某个接口。下面是一个简单的例子: ```typescript function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] { return obj[key]; } let x = { a: 1, b: 2, c: 3, d: 4 }; getProperty(x, "a"); // 返回 number 类,正常工作 // getProperty(x, "m"); // 错误:"m" 不属于 "a", "b", "c", "d" ``` 在这个例子中,`K` 被约束为 `keyof T` 的子集,这样就确保了传递给 `key` 参数的值一定是对象 `obj` 上存在的键[^3]。 #### 更复杂的场景——结合接口 除了基本的数据结构外,还可以利用接口来进一步增强的功能。比如创建一个带有约束的接口: ```typescript interface Lengthwise { length: number; } function loggingIdentity<T extends Lengthwise>(arg: T): T { console.log(arg.length); return arg; } ``` 这里要求传入的对象至少拥有 `length` 属性。如果不满足此条件,就会报错[^5]。 #### 默认类支持 有时为了简化调用者的工作量,也可以设定默认类作为备用方案。即使提供了默认值,仍然可以根据实际需求覆盖这些预设选项。 ```typescript function createArray<T = string>(): T[] { return []; } const strArr = createArray(); // 推断成字符串数组 const numArr = createArray<number>(); // 明确指定为数字数组 ``` 以上展示了多种方式去运用和理解 TypeScript 下的约束机制。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值