使用具有协变泛型参数的显式接口实现时，出现了StackOverflowException。

Question

使用具有协变泛型参数的显式接口实现时，出现了StackOverflowException。

3

我正在使用协变泛型参数扩展现有的IClonable接口。

public interface ICloneable<out T> : ICloneable
{
    new T Clone();
}

现在我在一个基类中实现了这个接口。

public class Base : ICloneable<Base>
{
    public string StrValue { get; set; }

    Base ICloneable<Base>.Clone()
    {
        var result = (Base)FormatterServices.GetUninitializedObject(this.GetType());
        result.StrValue = this.StrValue;
        return result;
    }

    public virtual object Clone()
    {
        return ((ICloneable<Base>)this).Clone();
    }
}

调用Clone()方法可以按预期返回一个新的基类实例，其值相同。

我创建了一个Base的派生类，再次实现了接口ICloneable<T>以返回这个新类型：

public class Sub : Base, ICloneable<Sub>
{
    public int IntValue { get; set; }

    Sub ICloneable<Sub>.Clone()
    {
        var result = (Sub)base.Clone();
        result.IntValue = this.IntValue;
        return result;
    }

    public override object Clone()
    {
        return ((ICloneable<Sub>)this).Clone();
    }
}

但是，如果我在一个Sub实例上调用Clone()，我会遇到堆栈溢出异常，因为object Base.Clone()调用了类Sub的Sub ICloneable<Sub>.Clone()。

问题在于协变的泛型类型参数。如果我移除out，所有东西都按预期工作。

问题是为什么((ICloneable<Base>)this).Clone()指向Sub.Clone()？

协变和逆变只是语法糖吗？编译器是否会在派生层次结构中搜索最低可能的类型？这意味着编译器将ICloneable<Base>更改为ICloneable<Sub>。

我没有找到任何官方的解释来解释这种行为。

测试代码（不包括接口和Base和Sub）：

var b = new Sub { StrValue = "Hello World.", IntValue = 42 };
var b2 = (Base)b.Clone();

- Sebastian Schumann

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Yuval Itzchakov · Accepted Answer

“协变和逆变”不仅仅是语法糖，编译器还会在派生层次结构中搜索最低可能的类型。协变允许您传递“更小”的、更具体的类型，而逆变则允许传递较大的类型，但需要在编译时遵守特定的编译器限制。因为参数“T”被标记为“out”，所以CLR会在运行时查找任何覆盖实现的“Clone”。编译时绑定是对“base.Clone”的“callvirt”调用，这不会改变:

.method public hidebysig newslot virtual 
instance object Clone () cil managed 
{
    // Method begins at RVA 0x2089
    // Code size 7 (0x7)
    .maxstack 8

    IL_0000: ldarg.0
    IL_0001: callvirt instance !0 class ICloneable`1<class Base>::Clone()
    IL_0006: ret

} // end of method Base::Clone

运行时是多态发生的地方。

移除out会调用基类，这一事实强调了这一点。