具有类型约束的接口方法的 F# 实现

Question

我有一个愚蠢的问题，我需要在 F# 类中实现具有以下方法的接口：

public interface IMyInterface
{
    T MyMethod<T>() where T : class;
}

我在 F# 中苦苦挣扎。我尝试了不同的方法。但问题是必须返回 T 类型的对象。不接受空值：

type public Implementation() = 
    interface IMyInterface with
        member this.MyMethod<'T when 'T : not struct>() = null

错误：成员 'MyMethod : unit -> a' when a': not struct 和 'a: null 没有正确的类型来覆盖相应的抽象方法。所需的签名是 'MyMethod : unit -> 'T when 'T: not struct'

所以我尝试将 T 作为类的参数，但仍然没有我完成错误：

type public Implementation(data : 'T when 'T : not struct) = 
    interface IMyInterface with
        member this.MyMethod<'T when 'T : not struct>() = data

错误：成员 'MyMethod : unit -> 'T when 'T : not struct' 没有正确的类型来覆盖相应的抽象方法。 em>

感谢您的帮助。

Answer 1

您可以使用而不是返回null（推断有某种类型'a，通过返回null :?> 'T进行检查）

type public Implementation() = 
    interface IMyInterface with
        member __.MyMethod<'T when 'T : not struct>() = Unchecked.defaultof<'T>

我更喜欢__ 而不是this 不使用时。

TL;DR;

C# 中的class 约束隐式包含null。不幸的是，不允许在 F# 中指定：

member __.MyMethod<'T when 'T : not struct and 'T : null>() = Unchecked.defaultof<'T>

结果：

成员 'MyMethod : unit -> 'T when 'T: not struct and 'T: null' 没有正确的类型来覆盖对应抽象方法。所需的签名是 'MyMethod : unit -> 'T when 'T : not struct'。

但是，使用这些跨语言的类和接口无论如何都需要特别注意，因为 C# 和 CLR 允许 null 值，而 F# 不允许。

为了与 null 最佳重载 F# isNull 进行比较（请参阅此 answer）：

let inline isNull (x:^T when ^T : not struct) = obj.ReferenceEquals (x, null)

除非你的类型允许null，否则你可以使用标准的isNull：

[<AllowNullLiteral>]
type Foo() =
    member __.Bar() = ()

(Implementation() :> IMyInterface).MyMethod<Foo>() |> isNull // true