F＃成员对元组的约束

Question

当我意识到我需要一个额外的价值时，我通常会写一个“哦耶”的时刻写F＃。 这通常可以通过向传递的元组添加另一个值来轻松完成。 但是，这意味着各种地图/排序/收集/等。 需要更新，特别是函数fst / snd只适用于长度为2的元组。

这不是一个大问题，但在探索性开发过程中它很烦人，但我会写一个助手来减轻烦恼：

let inline get2 (t:^a) = (^a : (member get_Item2 : unit -> string) (t, ()))
let inline get2a (t:^a) = (^a : (member Item2 : string) t)

但是，这两个版本都不起作用。 第一个， get2 ，将无法编译，“预期的1个表达式，得到2”。 第二个， get2a ，将编译，但随后不能在元组上使用：“类型'（int * string）'不支持任何名为'get_Item2'的运算符”。

有没有办法做到这一点，不涉及大量的重载？ 带有嘈杂的 OverloadID注释 （F＃2.0中不需要注释）

Answer 1

对F＃元组的ItemX静态约束不起作用的原因是因为System.Tuple<_,...,_>只是元组的编码形式，而不是编译器使用的静态表示。 请参阅规范中的6.3.2元组表达式 。

但是，通过一些工作，您可以获得给定元组的运行时编码，如下所示：

open System
//like get2a but generic return type
let inline get2b (t:^a) = (^a : (member Item2 : 'b) t)

let x = (1,2)
let y = (1,2,3)

get2b (box x :?> Tuple<int,int>)
get2b (box y :?> Tuple<int,int,int>)

Answer 2

你可以使用反射来做到这一点：

let inline get (t:^a) = t.GetType().GetProperty("Item2").GetValue(t,null) :?> string

另外，我建议元组实际上并不是一个很好的数据结构来传递数据，它们在小型操作的函数中可能很有用，但是如果结构经常发生变化，那么元组可能真的很痛苦。