在 TypeScript 中,某些类型是使用extends keyof
或定义的in keyof
。我试图理解它们的意思,但到目前为止我没有成功。
我得到的是,keyof
单独返回一个联合类型,该类型将所有名称作为可能的值存在于您在keyof
.
type T = keyof string;
T
因此等价于startsWith | endsWith | trim | substring | ...
。
这样对吗?
现在,如果我去想想什么extends keyof
和in keyof
意味着,我的直觉以下称:
extends keyof
是派生自 的任何类型T
,即它具有所有这些可能的值,但可能更多。in keyof
是从 中获取值的任何类型T
,但不一定是全部(有可能,但可能更少)。所以,从这个 POVextends keyof
将描述一个>=
关系,in keyof
将描述一个<=
关系。这样对吗?如果不是,那什么是正确的?
对于任何类型T
,keyof T
是 的已知公共属性名称的联合T
。
例子:
interface Person {
age: number;
name: string;
}
type PersonKeys = keyof Person; // "age" | "name"
因此,您的keyof string
收益率假设startsWith | endsWith | trim | ...
是正确的。您可以在查找类型发行说明中了解更多信息。
extends keyof
extends
,在这种情况下,用于约束泛型参数的类型。例子:
<T, K extends keyof T>
K
因此只能是 的公共属性名称T
。它与扩展类型或继承无关,与扩展接口相反。
的用法extends keyof
可能如下:
function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
return obj[key];
}
const person: Person = {
age: 22,
name: "Tobias",
};
// name is a property of person
// --> no error
const name = getProperty(person, "name");
// gender is not a property of person
// --> error
const gender = getProperty(person, "gender");
in keyof
in
当我们定义一个索引签名时使用,我们想要输入字符串、数字或符号文字的联合。结合keyof
我们可以使用它来创建所谓的映射类型,它重新映射原始类型的所有属性。
的用法in keyof
可能如下:
type Optional<T> = {
[K in keyof T]?: T[K]
};
const person: Optional<Person> = {
name: "Tobias"
// notice how I do not have to specify an age,
// since age's type is now mapped from 'number' to 'number?'
// and therefore becomes optional
};
有趣的事实:
Optional<T>
我们刚刚构建的类型与官方Partial<T>
实用程序类型具有相同的签名!
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句