Question

以下代码无法编译，产生“Widget必须是具有公共无参数构造函数的非抽象类型”错误。我认为编译器具有它需要的所有信息。这是一个错误吗？疏忽？或者是否存在某些无效的情况？

public class Factory<T> where T : new()
{
    public T Build()
    {
        return new T();
    }
}

public class Widget
{
    public Widget(string name = "foo")
    {
        Name = name;
    }

    public string Name { get; set; }
}

public class Program
{
    public static void Main()
    {
        var widget = new Widget(); // this is valid
        var factory = new Factory<Widget>(); // compiler error
    }
}

Answer 1

虽然这在逻辑上应该有用，但遗憾的是没有。 CLR仍将构造函数视为基于参数的构造函数。

请记住，虽然C＃支持可选参数，但这是在编译时在编译器级别完成的。底层类型仍然只包含一个带有单个参数的构造函数。就CLR而言，“默认参数”将转换为属性，如下所示：

public Widget(([Optional, DefaultParameterValue("foo")] string name) { // ...

CLR是一种多语言运行时。对于所有语言，泛型都在CLR级别上工作，因此在没有默认参数的语言中，约束必须是正确的。理解OptionalAttribute和DefaultParameterValueAttribute不需要语言，因此这对所有语言都不能统一，因此不允许使用。

编辑：

回应你的评论：

我不明白为什么C＃编译器无法生成满足CLR的必要代码

理论上，C＃编译器团队可以使用该语言生成两个单独的构造函数，而不是一个标记有属性的构造函数。这可能会爆炸到许多构造函数中，因为命名参数会为“构造函数”（或方法的方法调用）的许多可能组合创建功能，尤其是在有多个参数可用时。我个人很高兴他们没有，因为它会因生成的类型中过多的方法和构造函数而导致混淆，这会导致公共API看起来与生成它的代码非常不同。采取以下构造函数：

public Widget(
          int id = 0, 
          string name = "foo", 
          float width=1.0f, 
          float height=1.0f, 
          float depth=1.0f
       ) { // ...

如果你在这里自动生成所有可能的组合，编译器需要为这个构造函数生成 120 构造函数，因为有N！可以这样称呼这个......

为什么在构造函数中具有可选参数的类不满足new（）泛型约束？

1 个答案: