我的基本构造函数如何访问派生实例？

Question

我有一个基类Animal 和一个派生类Lion。每只动物都应该提到丛林之王，它总是一头狮子。因此在基类中添加了一个只读属性Lion : KingOfTheJungle。该属性在Animal的构造函数中初始化。

这个想法是首先创建Lion 对象，然后将它的引用传递给所有其他动物的构造函数。丛林只有一只狮子，所以当狮子被建造时，应该承认自己是丛林之王。问题是我无法创建Lion，因为当我将this 作为参数传递给base() 时出现编译时错误：

abstract class Animal
{
    public Lion KingOfTheJungle { get; }

    public Animal(Lion theKing)
    {
        KingOfTheJungle = theKing;
    }
}

class Lion : Animal
{
    public Lion() : base(this) // Error CS0027
    {
    }
}

我得到的错误是：

错误 CS0027 关键字“this”在当前上下文中不可用

寻找解决方法我最终在Lion 的构造函数中传递了null 而不是this，并在Animal 的构造函数中将null 插入为this：

abstract class Animal
{
    public Lion KingOfTheJungle { get; }

    public Animal(Lion theKing)
    {
        KingOfTheJungle = theKing ?? (Lion)this; // OK, but unsafe
    }
}

class Lion : Animal
{
    public Lion() : base(null) // OK, but not expressive
    {
    }
}

不过，我不喜欢这种解决方法，因为它既不具表现力，也不安全。有没有更安全或至少更优雅的方式来做同样的事情？

注意：我想保持属性 KingOfTheJungle 只读，没有 protected 设置器。动物在初始化后应该不能改变这个属性。

Answer 1

我建议KingOfTheJungle 可以是基类中的virtual（或abstract）只读属性。然后在继承类中覆盖它。

类似的东西：

abstract class Animal
{
    public abstract Lion KingOfTheJungle { get; }    
}

class Lion : Animal
{
    public override Lion KingOfTheJungle
    {
        get
        {
            return this;
        }
    }
}

Answer 2

正确的做法是使用static 属性：

public static Lion KingOfTheJungle { get; } = new Lion();

这解决了几个问题：

• 国王的非确定性加冕。采用这种方法，总有一个国王。
• 国王太多。使用这种方法，总是有 one Lion 是王者。任何其他 Lion 实例都只是普通的 Lion。
• 不同的Animal 实例认为不同的Lion 实例是他们的王，这取决于在什么时间实例化了哪个Lion。
• 同一参考文献的多个副本。
• 无法将this 传递给基本构造函数。现在不需要了。

如果您真的想追求您的原始设计，恕我直言，请记住，构造函数已经拥有this 参考。请记住，this 是同一个对象，无论代码存在于继承层次结构中的哪个类。

这意味着一种“更好”的方式来做到这一点，但仍然遵循你最初的想法，看起来像这样：

abstract class Animal
{
    public Lion KingOfTheJungle { get; }

    public Animal()
    {
        KingOfTheJungle = (this as Lion) ?? KingOfTheJungle;
    }
}

这仍然存在我上面提到的最后一个问题。我不会以这种方式实现它。

你提到丛林只有一个Lion。这进一步表明您应该将 Lion 类设为单例。看起来像这样：

abstract class Animal
{
    public static Lion KingOfTheJungle { get; } = Lion.Instance

    public Animal()
    {
        // ...
    }
}

class Lion : Animal
{
    public static Lion Instance { get; } = new Lion();

    private Lion() { }
}