【问题标题】:Is it possible to implement the "virtual constructor" pattern in C# without casts?是否可以在没有强制转换的情况下在 C# 中实现“虚拟构造函数”模式?
【发布时间】:2026-02-04 06:25:01
【问题描述】:

我正在编写一个编写 C# 的程序,该程序最终会编译到应用程序中。我希望每个生成的类型都提供一个“深度克隆”功能来复制整个数据树。也就是说,我希望有人能够做到:

var x = new Base(); // Base has public virtual Base DeepClone() { ... }
var y = new Derived(); // Derived overrides DeepClone
Base a = x.DeepClone();
Base b = y.DeepClone();
// Derived c = x.DeepClone(); // Should not compile
Derived d = y.DeepClone(); // Does not compile, DeepClone returns Base

而不是

var x = new Base();
var y = new Derived();
Base a = x.DeepClone();
Base b = y.DeepClone();
// Derived c = x.DeepClone(); // Should not compile
Derived d = (Derived)y.DeepClone();

但是,C# 不允许您在简单的覆盖中执行此操作;覆盖必须返回与基上声明的类型相同的类型。

由于我编写的代码无论如何都会消除样板,所以我可以生成一些东西来允许第一个块编译吗?我尝试了类似以下的方法:

abstract class Base
{
    public abstract Base DeepClone();
}

class Base2 : Base
{
    int Member { get; set; }

    public Base2() { /* empty on purpose */ }
    public Base2(Base2 other)
    {
        this.Member = other.Member;
    }

    public override Base2 DeepClone()
    {
        return new Base2(this);
    }
}

sealed class Derived : Base2
{
    string Member2 { get; set; }

    public Derived() { /* empty on purpose */ }
    public Derived(Derived other)
        : base(other)
    {
        this.Member2 = other.Member2;
    }

    public override Derived DeepClone()
    {
        return new Derived(this);
    }
}

但这不会编译,因为覆盖不匹配。我还尝试从基础中覆盖该方法并使用“new”关键字将其隐藏,但这也不起作用。

【问题讨论】:

  • 不幸的是,在 C# 中,一个类无法泛指其自己的类型。有一些 hacky 方法,比如奇怪地重复出现的模板模式,它​​可以为您节省样板工作,但并非万无一失。
  • @Asad:这里不涉及泛型。
  • "这里没有涉及泛型" 是的,但是这个问题在概念上是泛型之一。你想要一个DeepClone 方法,它可以接受从Base 派生的任意类型,对其执行一些操作,并返回相同的类型。
  • @Asad:不,我希望DeepClone 成为非通用成员。
  • @Scott:不幸的是,这与需要类而不是接口的序列化程序一起使用。 (如果它是一个接口,我可以明确地实现它)

标签: c# clone covariance contravariance


【解决方案1】:

是的,这是可行的,但是您必须将抽象方法从公开变为受保护,然后创建一个仅调用受保护方法的公开非抽象函数。派生类只需要实现受保护的函数并且可以隐藏公共函数,执行本应由客户端执行的强制转换。

abstract class Base
{
    public Base DeepClone()
    {
        return CloneInternal();
    }

    protected abstract Base CloneInternal();
}

class Base2 : Base
{
    int Member { get; set; }

    public Base2() { /* empty on purpose */ }
    public Base2(Base2 other)
    {
        this.Member = other.Member;
    }

    new public Base2 DeepClone()
    {
        return (Base2)CloneInternal();
    }

    protected override Base CloneInternal()
    {
        return new Base2(this);
    }
}

sealed class Derived : Base2
{
    string Member2 { get; set; }

    public Derived() { /* empty on purpose */ }
    public Derived(Derived other)
        : base(other)
    {
        this.Member2 = other.Member2;
    }

    new public Derived DeepClone()
    {
        return (Derived)CloneInternal();
    }

    protected override Base CloneInternal()
    {
        return new Derived(this);
    }
}

【讨论】:

【解决方案2】:

这是一种不涉及任何强制转换的方法。它不允许您从第一个 sn-p 执行 new Base(),这没有任何意义,因为它是抽象的,但其余的工作:

interface Base
{
    Base DeepClone();
}

abstract class Base<T>: Base where T: Base<T>
{ 
    public abstract T DeepClone();
    Base Base.DeepClone() {
        return DeepClone();
    }
}

class Base2 : Base<Base2> 
{ 
    public override Base2 DeepClone() 
    {
        return new Base2();
    } 
}

然后,在您的 Main 方法中:

public static void Main()
{
    var y = new Base2(); // Base2 overrides DeepClone
    Base b = y.DeepClone();
    Base2 c = y.DeepClone(); // Compiles an works
}

【讨论】:

  • @ScottChamberlain 是的,没错。我在上面的 cmets 中提到了这一点。在 C# 中它不是万无一失的,但它可以为您节省一些输入。
最近更新 更多