generics 相关问题

Typescript：从同一对象中的另一个键推断对象键的类型

假设我有一个这样的 API： 函数changePot(args: {newSize: 数字, newSoil: 字符串}){ } 函数水（args：{数量：数字，useIntrants：布尔值}）{ } 常量 API = { 换锅， ...

如何解决 Dart 中缺少不变/逆变类型参数的问题？

不幸的是，Dart（根据设计）缺乏指定不变或逆变类型参数的能力。那么，当我需要他们时，我该如何解决他们缺席的情况呢？ 以产品的抽象设置为例...

Swift 无法推断 SwiftData 模型包含属性名称：String

在我的应用程序中我定义了以下协议，其目的是让所有继承NameFilter协议的SwiftData模型定义var name: String退出。 @模型类会话：

用于打字的官方 API.Generic.__orig_bases__

我有一个泛型类型，我想在运行时检索其类型变量的类型。 以下代码片段运行良好，但它使用 Generic.__orig_bases__ 这不是官方 API（它的...

Python 3.6 泛型类型提示

我正在尝试理解通用类型提示。阅读 PEP 483 中的这一部分，我得到的印象是 SENSOR_TYPE = TypeVar("SENSOR_TYPE") EXP_A = 元组[SENSOR_TYPE, f...

Java 使用泛型隐式将 List<String> 转换为 List<Long>

描述带有约束的通用协议的类型

给出以下Python代码： 从输入导入协议，TypeVar A级：通过 B(A)级：通过 C(A)级：通过 T = TypeVar("T", B, C, 逆变=True) X类（协议[T]）： ...

如何在打字稿中结合扩展语法和泛型

我写了一个react HOC，就像这样： 输入 Props = { 值：T } 函数 HOC>(Comp: ComponentType) { 类型 ValueType = P 扩展 Props<... 我写了一个 React HOC，就像这样： type Props<T> = { value: T } function HOC<P extends Props<any>>(Comp: ComponentType<P>) { type ValueType = P extends Props<infer T> ? T : never type Example = Omit<P, 'value'> & { value1: ValueType } return function CompWithHOC(props: Example) { const { value1, ...rest } = props const compProps: P = { // here ...rest, value: value1 } return <Comp {...compProps}></Comp> } } 编译器报告 compProps 有类型错误。消息是 键入'省略＆{值：ValueType; }' 不可分配给类型 'P'。 '省略 & { value: ValueType; }' 可分配给类型“P”的约束，但“P”可以使用约束“Props”的不同子类型进行实例化 如何在打字稿中写出好的 HOC？ import React, { ComponentType } from 'react'; type Props<T> = { value: T; }; function HOC<P extends Props<any>>(Comp: ComponentType<P>) { type ValueType = P extends Props<infer T> ? T : never; type Example = Omit<P, 'value'> & { value1: ValueType }; return function CompWithHOC(props: Example) { const { value1, ...rest } = props; const compProps = { ...rest, value: value1 } as P; return <Comp {...compProps}></Comp>; }; } export default HOC;

如何在 scala 中创建可子类化的管道

我继承了一个 scala 代码库，如下所示： 类管道[T] { def start(args:mutable.Map[String,Any]):T def process(t:T, args:mutable.Map[String,Any]):T def 完成(t:T, a...

通过子类化更改 Python 的类型参数

Python 的类型系统允许在类中使用泛型： A 类（通用[T]）： def get_next(self) -> T 这非常方便。 然而，即使在 3.11 中使用 Self 类型，我也找不到方法来更改...

带有 ClassVar 的通用类型别名

我目前的类型注释看起来类似于以下内容，我想使用类型别名来避免重复太多： 类具有类变量，可以是： 一些指定的...

在类型别名中使用泛型

我目前的类型注释看起来类似于以下内容，我想使用类型别名来避免重复太多： 类具有类变量，可以是： 一些指定的...

使用通用索引的嵌套类型的索引访问似乎会生成无用的不透明类型

我正在使用单个巨大的嵌套类型定义一个类似 RPC 的接口，该类型按顺序命名名称空间、方法名称和参数： 接口 IndexedActions { 富：{ 嵌套：{ ...

使用通配符泛型时无法识别基类

为什么以下不起作用？ A b1 = 新 B(); 函数函数 = x -> new B(); A apply = function.apply(b1); 它给出一个错误“需要类型捕获？...

Typescript - 使用 Object.entries 动态更新对象属性

我想实现一个函数，循环遍历对象的属性并将更新应用于相同类型的另一个对象。 接口汽车{ 轮胎：数量； 名称：字符串； } 功能更新中...

对于子类来说，遵守通用约束似乎是不可能的

我已将代码缩减为以下最简单的版本来显示问题。我不知道斯威夫特为什么抱怨。 为什么DatabaseGateway需要遵守Something协议？？？ 结构数据库...

用于泛型的 <?> 或不带 <?>

我有一个关于Java中的泛型和instanceof运算符的问题。 不可能进行这样的 instanceof 检查： if (arg instanceof List) // 不可能，因为 ...

如何在 Python 中创建自己的“参数化”类型（如 `Optional[T]`）？

我想在 Python 中创建自己的参数化类型以用于类型提示： MaybeWrapped 类： # 魔法就在这里 T = 类型变量('T') 断言 MaybeWrapped[T] == Union[T, Tuple[T]] 别介意

从输入类型中提取数据

我在使用 Python 中的类型提示时遇到了一些问题： >>> 从输入导入列表 >>> string_list = ['没人', '期望', '这个', '西班牙语...

Rust 通用生命周期省略问题

我正在尝试实现通用的可观察集合，以便与我正在编写的 UI 框架一起使用。我目前遇到的问题是泛型中的生命周期无法消除。 为了简洁起见，以下...