.NET中的隐式链构造函数

Question

为什么基类没有隐式链构造函数？

我的意思是？ 让我们看一下以下类：

class Person
{
    public String Name { get; set; }
    public Person(string name)
    {
        Name = name;
    }
}

class EnhancedPerson : Person
{
    public int Age { get; set; }
}

如果尝试编译此代码，则不会编译。 如您所见， Person取决于名称，并且很清楚，您不会构造没有Name的Person 。

为什么没有隐式的EnhancedPerson构造函数，该构造函数链接到每个Person构造函数的基本构造函数？

只是为了争辩：我开始问自己这个问题，以创建具有可注入依赖项的控制器，因为所有这些依赖项都存在于我的所有控制器中（并且我想明确表示需要它们），我创建了一个基类，然后我发现了重新创建所有构造函数非常烦人...

附言：我确实知道，还有其他一些编程模式，例如具有公共无参数构造函数和依赖项的公共属性，但这是另一回事了。

我不是在寻找重新实现此方法的方法，我只是在试图理解为什么不可能或为什么没有做到这一点。

Answer 1

也许我在这里很天真，但这是我的理解

样品1

class Person
{
    public String Name { get; set; }
    public Person(string name)
    {
        Name = name;
    }
}

示例1表示创建Person对象的唯一有效方法（根据Person类的作者）是通过提供Name

样品2

class EnhancedPerson : Person
{
    public int Age { get; set; }
}

样本2表示EnhancedPerson继承了Person所有数据。

这是我如何可视化在首次遇到该代码时试图构建该代码的编译器

让我们创建一个EnhancedPerson对象。 好吧，由于继承，我需要为此创建一个Person对象。 好的，接下来让我们创建一个Person对象。 好吧，创建人员的唯一有效方法是提供名称。 因此，让我们检查EnhancedPerson是否告诉我应该给Person的构造函数喂什么。 射击，没有。 出错停止

总结：要构造EnhancedPerson您需要构造Person ，只有提供Name ，该Person才能构造

通常有2个修复程序：

1. 向Person添加默认构造函数，以便编译器可以创建“默认初始化”对象。 请记住，如果该类不包含任何其他构造函数，则编译器仅提供默认构造函数。

样品3

    public Person() {
    }

2. 向EnhancedPerson添加一个构造函数，该构造函数可以提供Person的Name子对象。 以下是几种方法。

样品4

    class EnhancedPerson : Person {
        public int Age { get; set; }

        public EnhancedPerson(string name) : base(name) { }
    }

    class EnhancedPerson : Person {
        public int Age { get; set; }

        public EnhancedPerson() : base(null) { }
    }

注意：编译器不能自动推断Name的值为null（因为Person构造函数明确要求它。

演示编译器猜测问题的示例

在下面的示例中，假设txt包含age值作为字符串。 您可以看到如果编译器自动将其传递给Person ，那么我们可能会遇到什么Person ，因为基类只有一个采用字符串的构造函数，而EnhancedPerson没有任何字符串属性。 即使具有全部智能的人必须hand compile （ EnhancedPerson的作者除外），他们也无法确定是否必须将txt传递给Person构造函数。

样品5

class EnhancedPerson : Person {
    public int Age { get; set; }

    public EnhancedPerson(string txt) {
    }
}

我希望现在很明显为什么当基类构造函数需要参数时，为什么编译器不能自动推断如何链接构造函数。 不同的语言提供不同的机制来指定需要将哪些参数传递给基本构造函数。

Answer 2

“真正的”原因只能由定义语言的人来回答，但我可以推测...

可以自动解决各种编译时错误，例如：

int mul(int c, int n) {
  int total = 0;
  for(i = 0; i < n; i++) {
    total += c;
  return total
}

上面的代码有3个错误，并提供3个明显的解决方案：

1. i是不确定的
   编译器可以轻松推断出i是int类型，并且是for语句的本地变量。
2. for块缺少右花括号
   编译器可能“很聪明”，并且知道丢失的括号位于return ...语句之前，这仅仅是因为将return作为for块的一部分而没有任何分支是没有意义的。
3. return total缺少分号
   在编译时“自动更正”显然很简单。

那为什么编译器不这样做呢？ 为什么这实际上不会以任何语言发生？
好吧，原因很简单，就是没有理由就很危险。 是的，这些似乎都是解决小错误或忽略细节的逻辑解决方案，但实际上让编译器解决这些类型的问题会导致很多无法解释的行为（如果开发人员确实希望在第一次迭代后返回，该怎么办？ ）。 另一方面， 不解决这些问题并提醒他们的成本相当便宜。 它可以使开发人员确切地知道出了什么问题，并且如果解决方案确实如此简单，则只需花费很少的时间即可进行手动更正。

这里的权衡是很容易选择的，它为开发人员提供了足够的信息，以便可以快速解决问题，而没有任何机会！

问题中建议的“隐式继承构造函数”也是如此……是的，编译器可以轻松地做到这一点……但是，如果开发人员确实打算在构造函数中做一些实际工作，却忘记了呢？ 编译器不应该通过错误退出来提供帮助？

Answer 3

假设您有一个带有两个（参数化）构造函数的基类。 您的继承类不希望使用这些构造函数之一。

现在，您需要发明新的语法，以便能够说“不要让他们使用此构造函数”。 无论如何，“让我定义一个构造函数，并选择其中的一个，选择要调用的基类构造函数”是一种无论如何都希望使用的通用构造。