为什么一种类型的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
相关·内容
1回答
打字中协变与逆变位置的区别
typescript、covariance
我正在尝试理解Typescript advanced types handbook中的以下示例。 引用一下，它说： 下面的示例演示了协变位置中同一类型变量的多个候选项如何导致推断联合类型： type Foo<T> = T extends { a: infer U, b: infer U } ? U : never;
type T10 = Foo<{ a: string, b: string }>; // string
type T11 = Foo<{ a: string, b: number }>; // string | number 同样，同一类型
浏览 18提问于2020-06-21得票数 5
回答已采纳
3回答
TypeScript中泛型的不安全隐式转换
typescript、generics、types、type-conversion、tsc
TypeScript编译器tsc编译以下代码时，即使使用--strict标志，也不会有任何抱怨。但是，代码中包含一个基本的错误，这在Java或C#等语言中是可以防止的。
interface IBox<T> {
value: T;
}
const numberBox: IBox<number> = { value: 1 };
function insertString(items: IBox<string | number>): void {
items.value = 'Test';
}
// this call is prob
浏览 7提问于2017-12-16得票数 7
回答已采纳
1回答
接口继承和泛型接口强制显式转换？
c#、generics、inheritance、interface、type-inference
我有一个复杂得多的问题，但我已经将其归结为以下简单的示例：
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace Sandbox
{
class Program
{
static void Main(string[] args)
{
IFactory<IProduct> factory = new Factory();
}
}
class
浏览 0提问于2011-06-18得票数 0
回答已采纳
2回答
使用通用接口约束时的协方差/逆方差难题
c#、generics、interface、covariance、contravariance
public interface IShape{}
public class Rectangle : IShape{}
public class Base{}
public class Derived : Base{}
public interface IFoo<out T, in U>
where T : IShape
where U : Base
{
T Convert(U myType);
}
public class MyFoo : IFoo<Re
浏览 6提问于2011-05-25得票数 3
2回答
将非泛型ObjC类向上转换为Swift方法参数的父类
swift、objective-c、generics、downcast、upcasting
我在Objective-C中定义了一些类似于以下内容的类：
@interface Type: NSObject {
}
@end
@interface SubType1: Type {
}
@end
@interface SubType2: Type {
}
@end
@interface Parent <T: __kindof Type *> : NSObject
@property (nonatomic, strong) NSArray <T> *anArray;
@property (nonatomic, strong) T a
浏览 5提问于2021-03-16得票数 1
回答已采纳
4回答
为什么示例不能编译，也就是(协方差、逆方差和逆方差)是如何工作的？
generics、scala、covariance、contravariance
在之后，有没有人可以用Scala解释一下：
class Slot[+T] (var some: T) {
// DOES NOT COMPILE
// "COVARIANT parameter in CONTRAVARIANT position"
}
我理解类型声明中+T和T之间的区别(如果我使用T).，它会进行编译但是，如何编写一个在其类型参数中是协变的类，而不是求助于创建未参数化的东西呢？如何确保只能使用T实例创建以下内容
class Slot[+T] (var some: Object){
def get() = { some.asIns
浏览 94提问于2009-03-19得票数 148
回答已采纳
3回答
无铸造TypeScript
typescript、casting
我已经编码TypeScript几年了。我已经看到了它的发展，并在每一个版本中都做了很多改进。然而，所有这些静态类型的完美都会随着类型的转换而分崩离析。
尽管在TypeScript中进行了大量的编码，但我仍然不明白如何避免在生成对象转换的函数中转换。
如下面的示例所示:我希望以一个对象作为输入，并将该对象的转换副本作为输出返回。
function stringifyProperties<T>(obj: T): { [P in keyof T]: string } {
let stringified: { [P in keyof T]: string } = {} as any
浏览 1提问于2018-02-26得票数 2
回答已采纳
2回答
请解释一下这个涉及泛型和类型别名的typescript语法
typescript
我正在尝试学习一些教程，但我在理解typescript语法时遇到了困难。请提供以下typescript语法的说明 1 type ValidationResult<T, U> = Partial<{ [Key in keyof T]: U }>; 我在typescript手册的泛型章节中找不到一个例子来描述上面语句中的<T, U>部分-它是什么意思？这是否意味着T是输入，而U是输出？ 我理解部分，但似乎不能理解Partial<{ [Key in keyof T]: U }>，请解释一下它的意思 2 type Validation<T, U&
浏览 30提问于2020-06-17得票数 1
回答已采纳
2回答
如何修正“类型”K扩展X[T]？键K:永远不能用于索引类型的嵌套对象？
javascript、typescript
我试图创建一个函数，其中第一个参数(数据)是一个Product类型的数组，第二个(元素)是Product内部的任意属性，第三个和第四个参数是"element“的属性。所以让我们说“产品”有属性“客户”，我想得到"Id“和”名称“的客户。
我有以下代码
function getFilterItem<T extends keyof Product, K extends Product[T]>(
data: Product[],
element: T,
id: K extends Product[T] ? keyof K : never,
name: K
浏览 5提问于2022-05-16得票数 1
回答已采纳
1回答
反应元件识别道具的问题
reactjs、typescript
我正在尝试使用TypeScript开发一个REACT组件，更准确地说，使用区分联合类型。
我想要实现的是，我的组件的props可以有context支柱，如果有，那么name道具是keyof T类型的。否则，name是一个简单的string。
下面是第一个例子：
interface IBaseProps {
label: string;
}
interface IWithContext<T> extends IBaseProps {
context: T;
name: keyof T;
}
interface IWithoutContext extends
浏览 3提问于2021-09-30得票数 3
回答已采纳
1回答
这是
我正在尝试键入这个函数。
const reduceTransformNode = (cacheNode, [transformKey, transformValue]) => {
const { [transformKey]: node } = cacheNode;
const newCacheValue =
typeof transformValue === "function"
? transformValue(node)
: traverse(transformValue, node);
return {
浏览 2提问于2020-11-06得票数 1
回答已采纳
1回答
QVector需要默认构造函数的原因是什么？
c++、qt、containers、qvector
我可以看到，这些类被视为调用默认构造函数所需的复杂对象：
void QVector<T>::defaultConstruct(T *from, T *to)
{
if (QTypeInfo<T>::isComplex) {
while (from != to) {
new (from++) T();
}
...
}
但还不清楚为什么需要在QVector的“隐藏”区域中构造对象。我的意思是这些对象根本无法访问，所以为什么不保留内存而不是真正的对象创建呢？
作为一个额外的问题，我想问一下，如果我想拥有一
浏览 7提问于2015-10-28得票数 7
2回答
键入具有可选键的对象，但对存在的键键入非空值。
typescript
我在TypeScript 3.2.2和strict: true上。
我无法键入具有一组动态定义键的普通对象，但所有这些键都有一个有保证的非空值类型。
[TypeScript游乐场示例]()
// Will assume any property access has type T
interface Object<T> {
[key: string]: T;
}
// Will assume Object.values() could be undefined
interface Object<T> {
[key: string]: T | undef
浏览 1提问于2019-01-30得票数 5
回答已采纳
1回答
如何将初始化的接口从父接口转回子接口
javascript、typescript、interface
我在Typescript中创建了一个界面，如下所示： export interface item{
itemid: string,
description: string,
price: number,
} 并使用另一个接口对其进行了扩展，如下所示： export interface itemBook extends item{
booktitle: string,
edition: number,
course: string,
} 我已经创建了一个itemBook实例(tempBook)，并将其声明为item，以将其放入item实例的数组中
浏览 31提问于2021-04-11得票数 0
回答已采纳
9回答
如何利用腾讯云冷迁移工具将主机迁移至云主机CVM中？
云服务器、数据迁移
想要使用腾讯云的CVM服务器并把原主机数据迁移至CVM。请问使用冷迁移是如何操作，相比起其他迁移方式呢？
浏览 2539提问于2018-09-05
2回答
TypeScript a|b允许两者的组合
typescript、xor、typescript-types
我很惊讶地发现TypeScript不会抱怨我做这样的事情： type sth = { value: number, data: string } | { value: number, note: string };
const a: sth = { value: 7, data: 'test' };
const b: sth = { value: 7, note: 'hello' };
const c: sth = { value: 7, data: 'test', note: 'hello' }; 我想也许 被选为类型联合判别
浏览 113提问于2017-09-23得票数 19
回答已采纳
1回答
如何表示参数可以扩展类型记录中的字符串列表？
typescript
我有一个接受string参数的方法。但是，我想稍微限制一下这个参数。因此，我使用我想要接受的字符串创建一个联合类型：
type Foo = 'a' | 'b';
现在，我有一个简单的方法：
function bar(foo: Foo) {
// do something with that string
}
我想做的是允许调用者传递其他字符串(除了a和b)。但是，我希望它们能够扩展原来的联合类型。
function bar<T extends Foo>(str: T) {
// do something with that strin
浏览 0提问于2018-11-19得票数 3
25回答
【开箱吧腾讯云】开发工具千千万，哪个最高效最好用？
腾讯云、产品、工具、开发、开发工具
开发工具千千万，哪个最高效最好用？
在关键时刻解决了你的卡点和痛点，欢迎你和我们一起分享你使用过的腾讯云宝藏工具！
点赞最高的前5名将获得猫王小王子花梨原木便携蓝牙音箱1个（截止时间：11月12日24:00）
另外在11月9日晚20:00-21:00
【开箱吧腾讯云】将迎来3位开发大神分享自身工具箱
快来腾讯云开发者视频号预约吧！更有超多双十一产品优惠等你！
图片
浏览 1757提问于2022-11-02
5回答
如何正确使用泛型类型的数组？
java、generics
我有一个类，它根据消息的类将传入的消息映射到匹配的读取器。所有消息类型都实现了接口消息。读取器在映射器类中注册，声明它将能够处理哪些消息类型。这些信息需要以某种方式存储在消息阅读器中，我的方法是从构造函数设置一个private final数组。
现在，我似乎对泛型和/或数组有一些误解，我似乎无法弄清楚，请参见下面的代码。那是什么？
public class HttpGetMessageReader implements IMessageReader {
// gives a warning because the type parameter is missing
// als
浏览 17提问于2009-05-22得票数 21
回答已采纳
2回答
MVVM ViewModel在ViewModel中
c#、wpf、multithreading、mvvm、data-binding
我正在尝试将现有的Windows表单软件转换为MVVM/WPF。我是MVVM的新手，所以我会犯很多错误。
在那个应用程序中，这些是我简化的主要对象：
product类，该类保存了每个不同产品的信息。而且，可以有许多相同UPC的产品，但是每个物理项都有一个唯一的标识符，比如UPC-date-serial，所以这个唯一标识符保存在products中的一个列表中。
class Product
{
// This is the barcode of the product
public UPC
{ get; set; }
// This is a list whic
浏览 2提问于2015-10-24得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
