F# generics 泛型构造要求类型 'struct (Guid * int)' 具有 public 默认构造函数

Question

我在 C# 中有一个接口，其方法使用此 return 类型：

Task<(Guid, int)?>

我需要在 F# 中实现此接口，如果我没记错的话，这在 F# 中应该是等效的：

Task<Nullable<ValueTuple<Guid, int>>>

不幸的是，当我编译时，我收到这条消息：

generic construct requires that the type 'struct (Guid * int)' have a public default constructor

我发现了一些类似的问题，看起来解决方案是使用 [<CLIMutable>] 属性。但这不是我可以用 System.ValueTuple 做的事情。有没有办法在 F# 中使用 Nullable ValueTuple？

Answer 1

我认为这是 F# 中的编译器错误。您可能想在 F# GitHub page 上打开一个问题并报告此行为。我怀疑它是一个编译器错误的原因是我可以通过简单地将 struct (System.Guid, int) 拆箱到 ValueTuple<System.Guid, int> 来使其工作，这应该已经是等效类型了。以下是我如何在示例中实现它，它也可以作为您的可行解决方法，直到更熟悉 F# 编译器的人可以让您知道它是否是真正的错误：

open System
open System.Threading.Tasks

type ITest =
    abstract member F: unit -> Task<Nullable<ValueTuple<Guid, int>>>

type T () =
    interface ITest with
        member __.F () =
            let id = Guid.NewGuid()
            let x = Nullable(struct (id, 0) |> unbox<ValueTuple<Guid, int>>)
            Task.Run(fun () -> x)

(T() :> ITest).F().Result

F# generics 泛型构造要求类型 'struct (Guid * int)' 具有 public 默认构造函数

F# generics generic construct requires that the type 'struct (Guid * int)' have a public default constructor

generics

f#

c#-to-f#

valuetuple