如何协变/逆变重写从接口实现的虚方法？

Question

我想在从接口实现的覆盖虚方法中做contravariance ，我试过ICloneTo<in T>和ICloneTo<out T>都得到编译错误，如下代码：

interface ICloneTo<T> {
    void CloneTo(T obj);
}

abstract class Base : ICloneTo<Base> {
    public string BaseProperty { get; set; }

    public virtual void CloneTo(Base obj) {
        obj.BaseProperty = BaseProperty;
    }
}

class A : Base {
    public string AProperty { get; set; }

    public override void CloneTo(A obj /* Contravariance to A */) {
        base.CloneTo(obj);
    
        obj.AProperty = AProperty;
    }
}

Answer 1

C#中方法重写此时没有参数逆变。

这是我发现的最接近讨论的内容： https://github.com/do.net/csharplang/discussions/3562

然而，通过一些通用的欺骗，你可以想出：

    interface ICloneTo<T>
    {
        void CloneTo(T obj);
    }

    abstract class Base<T> : ICloneTo<T>
        where T : Base<T>
    {
        public string BaseProperty { get; set; }

        public virtual void CloneTo(T obj)
        {
            obj.BaseProperty = BaseProperty;
            throw new NotImplementedException();
        }
    }

    class A : Base<A>
    {
        public string AProperty { get; set; }

        public override void CloneTo(A obj /* Contravariance to A */)
        {
            base.CloneTo(obj);

            obj.AProperty = AProperty;
        }
    }

尽管可能有更好的方法来解决您要解决的任何问题...