类型丢弃限定符的绑定引用 - TypeScript

在 TypeScript 中，有时你可能会遇到这种情况：你想要使用一个泛型类型来表示某些数据的集合，但你希望在使用这个泛型类型时能够限定其类型为特定类型。这就是类型丢弃限定符的绑定引用。

什么是类型丢弃限定符？

类型丢弃限定符是 TypeScript 中的一个特殊语法，它允许在给定的泛型类型之上添加特定限制。例如，如果你想要使用一个泛型类型来表示用户数据集合，但你只想要在其中包含实际的用户数据（而不是其他任何类型的数据），那么你可以使用以下语法：

type UserCollection<T extends User> = Array<T>;

在上面的例子中，UserCollection 是一个泛型类型，它被限定为只包含 User 类型的数据。这意味着 UserCollection 可以存储任何 User 的子类型，但不能包含其他类型的数据。

如何使用类型丢弃限定符？

要使用类型丢弃限定符，你需要在泛型类型之上使用 extends 关键字，并在其后指定允许的类型。例如，以下语法限制了一个泛型类型 T 只能是 number 或 string 类型：

type NumberOrString<T extends number | string> = T;

这里的 NumberOrString 类型允许你在使用时只传入 number 或 string 类型的数据，而不是其他任何类型的数据。例如：

const a: NumberOrString<number> = 123; // OK
const b: NumberOrString<string> = 'abc'; // OK
const c: NumberOrString<boolean> = true; // Error: 'boolean' not assignable to 'number | string'

总结

类型丢弃限定符是 TypeScript 中的一个关键语法，它允许你在泛型类型之上添加特定限制，以确保你的代码能够更安全地处理数据。如果你正在使用 TypeScript 并想要更好地控制你的数据类型，那么类型丢弃限定符是一个值得学习的语法。