- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
是否可以在 F# 中编写泛型函数,在其中指定类型“T”,但将“T”限制为类型“T2*”T3 的元组?
以下是我尝试过的一些只会产生编译器错误的事情:
let fun1<'T when 'T :> 'T2*'T3> () = …
let fun2<'T, 'T2, 'T3 when 'T :> 'T2*'T3> () = …
(在 fun2 中,“T2/”T3 最好由“T1”推断。)
我想这样做的原因是我正在编写一个带有内存数据库的应用程序,并且我正在尝试编写一个通用函数来提取与指定元组形式的数据库实体关联的数据.我有一个可行的解决方案,但有一些缺点:
let workingExtractEntity<'T> (id : EntityID) (db: Database) : EntityID*'T =
let t = db.GetEntityComponent id typeof<'T>
(id, t)
以及具有更多类型参数的类似函数:
let workingExtractEntity2<'T1, 'T2> (id : EntityID) (db: Database) : EntityID*'T1*'T2 = …
这种方法的主要问题是每次使用该函数时,您都必须手动输入通用参数并对其进行排序。我更希望能够指定单个元组类型,并结合常用元组类型的类型别名,如下所示:
//Obviously won’t compile, but illustrates what I would like to do.
let extractEntity2<'T when 'T :> EntityID*'T2*'T3> id db : 'T =
let t2 = db.GetEntityComponent id typeof<'T2>
let t3 = db.GetEntityComponent id typeof<'T3>
(id, t2, t3)
type Player = EntityID*Position*Health
let extractPlayer id db : Player = extractEntity2<Player> id db
请注意,数据库中没有存储 Player 类型的对象,而只有构成 Player 的组件(即 Position 和 Health)存储在那里。 (任何具有与其关联的位置和健康的实体都可以表示为玩家。)
有什么办法可以达到这样的目的吗?
最佳答案
我做了一些研究,我想我已经找到了我自己问题的答案:
不幸的是,我想做的事情在 F# 中似乎是不可能的,并且很好地总结了原因 here由用户 Gus:
I'm afraid there is no way to add a subtype constraint to a generictype parameter based on another one in F#. They're always assumed tobe equal, see the spec New constraints of the form type :> 'b aresolved again as type = 'b.
这种限制在 C# 中不存在,这有时会使互操作很麻烦。有一个 issue在 F# 语言建议 github 页面上解决它。
换句话说,你不能这样写函数:
let foo<'T, 'U when 'T :> 'U> () = …
这意味着你也不能这样做:
let foo2<'T, 'T2, 'T3 when 'T :> Tuple<'T2, 'T3>> () = …
这基本上是我想要的,除了额外的类型推断,所以不用输入整个:
let callFoo2 = foo2<int*string, int, string> ()
你可以这样写,然后从 'T1 推断出 'T2 和 'T3:
let callFoo2Differently = foo2<int*string> ()
关于generics - 是否可以在 ‘T is constrained to be a tuple of type ' T2*'T3 处编写一个 genericFunction<'T>?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/65149034/
我有一个包含文件名 和文件路径 的元组列表。我想找到重复的 filename(但 filepath 可能不同),即文件名相同但 filepath 可能不同的元组。 元组列表示例: file_info
我有一个像这样定义的变量 auto drum = std::make_tuple ( std::make_tuple ( 0.3f , Ex
我有一个包含几个字段的自定义结构,我想在快速 switch 语句中对其进行模式匹配,这样我就可以通过将其中一个字段与另一个字段进行比较来自定义匹配正则表达式。 例如鉴于这种结构: struct MyS
我有一种动态元组结构: template //Should only be tuples class DynamicTuple { vector data; //All data is st
这个问题在这里已经有了答案: What and When to use Tuple? [duplicate] (5 个答案) 关闭 8 年前。 我正在查看 Tuple 的在线示例,但我没有看到任何理
在我的项目中我有很多坐标要处理,在二维情况下我发现(cons x y)的构造比(list x y)快和 (vector x y)。 但是,我不知道如何将 cons 扩展到 3D 或更进一步,因为我没有
我有以下 Scala 代码: def f(x: Int, y: Int): Option[String] = x*y match { case 0 => None case n =>
我的直觉告诉我,在一般情况下,只有宏或复杂类型的体操才能解决这个问题。 Shapeless 或 Scalaz 可以在这里帮助我吗?这是 N=2 问题的具体实例,但我正在寻找的解决方案适用于所有合理的
为什么这段 Scala 代码是这样的: class Test { def foo: (Int, String) = { (123, "123") } def bar: Unit
我是 python 和 pygame 的新手,我正在尝试学习向量和类的基础知识,但在这个过程中我搞砸了,而且我在理解和修复标题中的错误消息方面苦苦挣扎。 这是我的 Vector 类的代码: impor
我正在编写一个程序来打开和读取一个 txt 文件,并在每一行中循环。将第 2 列和第 4 列中的值相乘并将其分配给第 5 列。 A 500.00 A 84.15 ? B 648.80 B 77.61
我知道还有其他几个问题提出了完全相同的问题,但是当我运行时: 导入命令 从 pyDes 导入 * def encrypt(data, password,): k = des(password,
我有一个元组列表,内容如下: >>>myList [(), (), ('',), ('c', 'e'), ('ca', 'ea'), ('d',), ('do',), ('dog', 'ear', '
给定一个 boost::tuple 和 std::tuple,你如何在它们之间进行转换? 也就是说,您将如何实现以下两个功能? template boost::tuple asBoostTuple(
我无法初始化 std::tuple来自 std::tuple 的逐元素元素兼容类型。为什么它不像 boost::tuple 那样工作? #include #include template st
我是 Storm 的新手并且我正在尝试找出如何编写一个 bolt 测试来测试子类 BaseRichBolt 中的 execute(Tuple tuple) 方法。 问题是 Tuple 似乎是不可变的,
如果我有如下元组列表: [('a', 'b'), ('c', 'd'), ('a', 'b'), ('b', 'a')] 我想删除重复的元组(在内容和内部项目顺序方面重复)以便输出为: [('a',
我编写了一个简单的脚本来模拟基于每用户平均收入 (ARPU)、利润率和客户保持客户的年数 (ltvYears) 的客户生命周期值(value) (LTV)。下面是我的脚本。它在“ltvYears =
以下是我的代码,它是一组元组:。输出:设置([(‘A’,20160129,36.44),(‘A’,20160104,41.06),(‘A’,20160201,37.37)])。如何将另一个元组(‘A’
我用以下代码编写了一个程序: import pandas as pd import numpy as np from typing import Tuple def split_data(self,
我是一名优秀的程序员,十分优秀!