F＃嵌套泛型类型与实现类型不兼容

Question

背景：

在F＃程序中给出以下两个声明：

• 类型A实现接口Wrapped<int>
• 类型B实现Wrapped<A>接口

我们说类型A与Wrapped<int>兼容，类型B与Wrapped<A>兼容 - 据我所知，这意味着A可以传递给需要Wrapped<int>的函数。

问题：

根据我的编程经验，鉴于以上两个陈述，我希望以下内容也是如此：

• 类型B应与Wrapped<Wrapped<int>>类型兼容

因为B有A作为Wrapped<int>应该去的类型参数， A和Wrapped<int>是兼容的。

不是这种情况。 以下实施：

type Wrapper<'a> = abstract member Value : 'a

type A =
    | A of int

    interface Wrapper<int> with member this.Value = (let (A num) = this in num)

type B =
    | B of A

    interface Wrapper<A> with member this.Value = (let (B a) = this in a)


let f (x:Wrapper<Wrapper<int>>) =
    x.Value.Value

let testValue = f (B (A 1))

在B (A 1)上有一个编译错误

类型B与Wrapper<Wrapper<int>>类型不兼容

题：

由于我能够逻辑地进行兼容性跳转，我在实现这个时做错了吗？ 或者F＃没有这种“嵌套兼容性”功能，如果是这种情况，是否有特殊原因没有它？

---

有一个解决方法：

type B =
    | B of A

    interface Wrapper<Wrapper<int>> with member this.Value = (let (B a) = this in a :> Wrapper<int>)

这将删除编译错误，虽然感觉有点不对劲。 我问自己“如果我编写一个函数来处理Wrapper<A>类型怎么办？（如果我添加更多Wrapper<A>实现者）

Answer 1

您要求的功能是协变类型。

协方差允许返回类型，它是一个子类型，而不是泛型类型参数精确定义的类型（不是这仅适用于接口，而不适用于具体类型）。 这允许您将IEnumerable<string> :?> IEnumerable<object>向下转换为string :?> object 。

可以在其他.NET语言中声明。 这是你在C＃中的例子：

interface Wrapper<out T> { }
class A : Wrapper<int> { }
class B : Wrapper<A> { }          

var b = new B();
Action<Wrapper<Wrapper<int>>> unwrap = _ => { };
unwrap(b); //compiles

F＃不提供对声明协变类型的支持，也没有在没有显式声明的情况下强制类型。 其原因主要是协方差导致类型推理降级。

使用灵活类型可以实现F＃中的协方差。 这是在seq类型的F＃中的一个例子，它定义为IEnumerable<out T> 。

let s = [1..10] 
let r =  s |> Seq.map(fun _ -> s)

let print1 (v: seq<seq<int>>) = printfn "%A" v
let print2 (v: seq<#seq<_>>) = printfn "%A" v

print1 r //does not compile
print2 r //compiles

如果通用参数标记为协变并使用灵活类型，则有可能使这项工作成功。 您可以在C＃中使用接口声明并在F＃中引用程序集。

还有mausch / VariantInterfaces根据命名约定修改程序集以添加协变/逆变声明，因此如果你在单独的程序集中有你的类型声明，你可以在后期构建中运行它。