type-constraints 相关问题

约束可以与泛型的类型参数相关联。约束声明在泛型类型的构造中传递给该参数的任何具体类型必须支持的项。

在 F# 类型上动态实现静态定义的接口,并在该类型上静态定义函数

我有一个如下所示的用例: 输入事件 = |事件A |事件B 类型 IState = 抽象成员HandleEvent:Event -> IState 输入示例状态 = {

回答 1 投票 0

类型的类型约束为平台字长(与 usize 相同)

我想要 32 位系统上 4 字节的类型和 64 位系统上 8 字节的类型。这是因为我正在将此通用值转换为 usize,无论

回答 1 投票 0

如何在 TypeScript 中输入泛型函数?

给定以下类型和组件: 接口 Widget { 类型:字符串; } 接口 TextField 扩展 Widget { type: 'TextField';文本值:字符串; } 接口 Checkbox 扩展 Widget { type: '

回答 1 投票 0

如何指定具有多参数单射性的类型族?

我有一个类型类 A ,它具有非单射关联类型 Context A 类 a 其中 类型上下文 a A 的许多实例可以具有相同的上下文。 A 的某些实例也是 ...

回答 1 投票 0

如何向联合术语中已使用的接口添加方法?

我在 Go 1.21 中使用泛型。我想扩展一些通用代码。 如果我将下面的 foo() 添加到 Under11AgeGroups 接口中,那么只有 9 岁以下和 11 岁以下的人必须实现此功能,我...

回答 1 投票 0

如何向联合术语中使用的接口添加方法?

我在 Go 1.21 中使用泛型。我想扩展一些通用代码。 如果我将下面的 foo() 添加到 Under11AgeGroups 接口中,那么只有 9 岁以下和 11 岁以下的人必须实现此功能,我...

回答 1 投票 0

Idris 依赖记录,对类型构造函数参数具有接口约束

是否可以对 idris 中依赖记录的类型构造函数的参数进行接口约束? 假设我有一个界面 Show : Type -> Type。现在我需要限制...

回答 2 投票 0

将 2 个泛型类型合并为一个泛型函数调用

如果标题不太具有描述性,我很抱歉,我很难想出一个。 我有一个抽象基类,其属性之一是泛型类型。 公共抽象类 AdapterBase<...

回答 1 投票 0

C# 在 where 类型约束上使用反射的递归

我正在尝试通过类进行递归,但我不知道如何使用类型约束来调用它。 我的问题主要是我不知道如何调用递归并在

回答 2 投票 0

返回类型为泛型的函数不能返回 Null

如果我有一个类型,比如说 int,我可以通过在其末尾添加一个问号来使其可为空。例如,以下代码可以编译: 整数? x = 空; 而下面的代码,带有任务...

回答 1 投票 0

Typescript:类型展开特定通用类型的属性

我想实现一种类型,它提取所有属性的内部类型作为模型,但不影响其他属性;是这样的: 我的类型<{ a: number, b: Model...

回答 2 投票 0

是否可以在一个通用类型上有多个类型常量?

在dart中,你可以做类偏好 来定义一个类型约束。但是有没有一种方法可以定义多个约束?我试过用类Preference 但是......不,Dart类型的参数只能有一个约束。

回答 1 投票 0

C#是否可以创建可选的通用类型约束条件

我想我知道答案了,但是我有必要规定一个通用方法可以根据两个可选的约束条件来取一个类型。那就是T可以是一种类型,也可以是另一种类型,公共 ...

回答 4 投票 7

当值类型作为通用参数与接口约束传递时,是否会被框定?

(为了回答这个问题,我(认为我已经!)做了研究,结果确定答案是 "不"。然而,我不得不在几个不同的地方寻找这个问题,所以我认为......。

回答 3 投票 7

由适当类型界定的类型构造函数

请考虑以下类型参数子句[F [_]

回答 1 投票 1

在Haxe中,您可以编写一个通用接口,其中方法类型参数受类的类型参数约束吗?

我在下面编写通用接口时遇到问题。在我的课程中,我有一个函数,该函数接受并跟踪其第一个元素。由于我只是...

回答 1 投票 1

在Haxe中,您可以在接口中将类型参数约束为通用类型吗?

编辑:这个例子太简单了,我在这里改写了这个问题。下面我有一个人为的例子,其中我有一个通用接口,带有一个接受V参数的方法...

回答 1 投票 0

带有类型注释的函数组成,用于类型默认值

假设我具有以下类型:data ImageSize = ImageSize {高度::整数,宽度::整数}我现在想将其转换为JSON数组(出于旧API表面原因):实例ToJSON ImageSize ...] >

回答 1 投票 0

使用继承接口的类型约束会产生隐式引用转换错误

我在TLookup中有此类型约束:ILookupable 并且我正在为公共接口IEmployeeProxy类型传递此接口:ILookupableCode您有公共位置的地方...

回答 1 投票 0

类型参数子句中的广义约束?

[SLS将类型参数子句的语法指定为TypeParamClause :: ='['VariantTypeParam {','VariantTypeParam}']'FunTypeParamClause :: ='['TypeParam {','TypeParam}']'VariantTypeParam :: =。 。

回答 1 投票 1

© www.soinside.com 2019 - 2024. All rights reserved.