为什么C#构造函数不能推断类型？

为什么构造函数不支持类型推断,就像通用方法一样？

public class MyType
{
   private readonly T field;
   public MyType(T value) { field = value; }
}

var obj = new MyType(42); // why can't type inference work out that I want a MyType?

虽然你可以用工厂类解决这个问题,

public class MyTypeFactory
{
   public static MyType Create(T value)
   {
      return new MyType(value);
   }
}
var myObj = MyTypeFactory.Create(42);

构造函数不支持类型推断是否存在实际或哲学原因？

有没有一个哲​​学上的原因,为什么构造函数不能支持类型推断？

不,当你有

new Foo(bar)

然后我们可以在范围内识别所有称为Foo的类型,而不管通用arity,然后使用修改的方法类型推断算法对每个类型执行重载解析.然后,我们必须创建一个"更好"算法,该算法确定两个类型中具有相同名称但不同通用arity的两个适用构造函数中哪一个是更好的构造函数.为了保持向后兼容性,非泛型类型的ctor必须始终获胜.

是否有一个实际的原因,为什么构造函数不能支持类型推断？

是.即使该功能的好处超过其成本 - 这是相当大的 - 但这还不足以实现功能.这个功能不仅必须是一个净赢,它必须是一个巨大的净胜利,相比我们可能投资的所有其他可能的功能.它还必须比花费时间和精力修复bug,性能更好工作,以及我们可以付出努力的其他可能领域.理想情况下,它必须适合发布的"主题".

此外,正如您正确指出的那样,通过使用工厂模式,您可以获得此功能的好处,而无需实际拥有该功能.易于使用的变通方法使得功能实现的可能性降低.

此功能已在很长一段时间内列在可能的功能列表中.它实际上从未在列表中足够高的地方实现.

2015年3月更新

建议的功能使其足够接近C#6列表顶部的指定和设计,但随后被剪切.

public class MyType 
{ 
   private readonly T field; 
   public MyType(T value) { field = value; } 
} 

class Base
{
   public virtual void DoStuff() { Console.WriteLine("Base"); }
}

class Foo : Base
{
   public override void DoStuff() { Console.WriteLine("Foo");  }
}

var c = new Foo();

var myType = new MyType(c);

var myType = new MyType(c);

public class MyType {
}

public class MyType {
}