为什么一种类型的T[keyof T]会阻止接口中的协方差
一种类型的T[keyof T]会阻止接口中的协方差，是因为在 TypeScript 中，T[keyof T] 表示 T 对象中所有属性值的联合类型。而在接口中，协变性和逆变性是根据属性的赋值兼容性来确定的。
协变性指的是子类型的属性类型可以是父类型属性类型的子类型，即子类型可以赋值给父类型。逆变性则是指父类型的属性类型可以是子类型属性类型的子类型，即父类型可以赋值给子类型。
然而，当使用 T[keyof T] 表示 T 对象中所有属性值的联合类型时，由于联合类型的特性，无法确定具体的属性类型，因此无法确定协变性和逆变性的关系。这就导致了在接口中无法使用 T[keyof T] 类型作为属性类型，从而阻止了接口中的协方差。
举个例子来说明，假设有以下接口定义：
interface MyInterface<T> {
prop: T[keyof T];
}如果 T 是以下类型：
type MyType = {
a: string;
b: number;
};那么 MyInterface<MyType> 的 prop 属性类型将是 string | number，而无法确定具体是 string 还是 number，因此无法确定协变性和逆变性的关系。
在实际应用中，如果需要在接口中使用 T[keyof T] 类型，可以考虑使用其他方式来解决，例如使用泛型约束或者其他类型转换方式来明确属性类型。具体的解决方案可以根据实际需求和场景来确定。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 腾讯云云数据库 MySQL 版：https://cloud.tencent.com/product/cdb_mysql
- 腾讯云云原生容器服务（TKE）：https://cloud.tencent.com/product/tke
- 腾讯云人工智能：https://cloud.tencent.com/product/ai
- 腾讯云物联网平台：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发：https://cloud.tencent.com/product/mobdev
- 腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
- 腾讯云区块链服务（BCS）：https://cloud.tencent.com/product/bcs
- 腾讯云元宇宙：https://cloud.tencent.com/product/mu
相关·内容
例如，我正在尝试创建一个类型协变，以便可以将Type<Cat>视为Type<Animal> (就像猫的列表就是动物的列表)。但出于某种原因，在类型接口的方法中使用类型T[keyof T]似乎可以防止这种情况发生。{}
declare let animal
浏览 6提问于2020-07-24得票数 0
回答已采纳
我希望创建一个只允许调用接口中指定的函数的泛型函数。= Pick<T, { [K in keyof T]: T[K] extends (...args:any) => any ?K : never }[keyof T]>;class ApiClient<T, Tfunc = OnlyFuncs<T>> {
public call<K
浏览 8提问于2022-09-16得票数 1
回答已采纳
typescript中的Record类型定义为： type Record<K extends keyof any, T> = {} 我不明白为什么这里要用keyof检查后，我发现keyof any的类型是string | number | symbol。为什么会这样呢？
浏览 131提问于2019-04-05得票数 14
回答已采纳
我试图理解TypeScript 2.8中引入的条件类型，并阅读相应的文档。下面的示例可以在下面的链接中看到
type FunctionPropertyNames<T> = { [Kin keyof T]: T[K] extends Function ?K : never }[keyof <em
浏览 1提问于2019-09-13得票数 0
回答已采纳
我现在有这种映射类型，它在很多情况下工作得很好： [K in Extract<keyofstring> as `${P}/${K}`]: T[K];第一种没有明显的区别。当T是一个具有有限键的接口时，第二个会产生此错误：
TS2344: Type 'Foo' d
浏览 1提问于2021-06-13得票数 0
所以我使用的是从Paths获得的类型，完全公开，我不完全理解它是如何构建的，它可能会帮助我理解这个问题，我会在底层实现它。：但是，当我试图将它与扩展某种类型的泛型一起使用时，我遇到了一些奇怪的麻烦。let personParamBad: Paths<<
浏览 4提问于2021-11-21得票数 1
回答已采纳
1回答
我在想，这样的事有可能吗？interface User { age: number;const user: User['*'] = true; // Error
我知道"or“(|)，但是如果Use
浏览 1提问于2019-07-04得票数 1
回答已采纳
我正在尝试编写一个类型记录助手库，以强键入process.env，这样您就可以执行以下操作。如果变量丢失或不能转换为正确的类型，则抛出的库。: string) => T
现在我有了一个新的需求，在这里
浏览 3提问于2021-04-06得票数 1
回答已采纳
我试图在Typescript中更深入地理解高级类型，其中一种类型是NonFunctionPropertyNames，它只提取给定对象的一个属性。type NonFunctionPropertyNames<T> = { [K in keyof T]: T[K] extends Function ?never : K }[keyof T]; 我可以理解花括号'{ [K in keyof</e
浏览 24提问于2019-01-18得票数 2
回答已采纳
1回答
假设给定类型： [P in keyof T]?: (P extends keyof T ?T> = {};
为什么条件语句实际上没有计算出类型？它只是将代码保持为类型。我知道过滤器是没有意义的，我有另<
浏览 6提问于2021-12-15得票数 1
为什么S在下面的代码中是string？type S = T<string>;添加上下文，下面的类型将如我所期望的那样工作。type T<X> = {[K in (keyof</e
浏览 2提问于2022-08-01得票数 0
回答已采纳
1回答
为什么使用映射的泛型类型会导致它等于字符串而不是对象？// doesn't worktype getActions2 = { [N in keyof
浏览 7提问于2022-03-21得票数 -1
我正在尝试编写一个泛型类，它传递一个键key，该键对应于构造中一组已知接口中的一个键，以后可以传递一个对象thing和类型安全访问thing[key]。AB | BC
key: keyof T;
this.key =}}
const getter = new Getter<AB>(&#
浏览 14提问于2022-06-09得票数 3
回答已采纳
: string, },在这两个接口中，我想创建如下： name: string,这应该是一种抱怨： [K in keyof (U & Pick<T,
浏览 1提问于2019-02-08得票数 1
5回答
如果您查看接口中的字段，协变量意味着只读，而逆方差意味着只写。但是，我真的不明白为什么。，它们被定义为
但在我的脑海中，这并不是真正意义上的只读/只写。有人能更深入地解释一下为什么<e
浏览 0提问于2018-09-18得票数 6
回答已采纳
在我的主要函数中的‘TK’类型的上不存在错误的属性'apply‘ root[method].apply(this, ...args);在诚实方面，除了一个例子外：
const main = <T&
浏览 3提问于2017-04-23得票数 0
回答已采纳
1回答
这样做是可行的： speak() { }但是，为什么没有条件类型就不能工作呢？// Error: Type
浏览 4提问于2020-11-08得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
