这是 C# 4.0 编译器中的错误吗？

Question

这段代码编译成功，但我认为它应该编译失败。此外，当您运行它时，您会收到一个 NullReferenceException 异常。缺少的代码是 Bar 属性初始化中的“new Bar”。

class Bar
{
    public string Name { get; set; }
}

class Foo
{
    public Bar Bar { get; set; }
}


class Program
{
    static void Main(string[] args)
    {
        var foo = new Foo
                      {
                          Bar = { Name = "Hello" }
                      };
    }
}

这是一个已知的错误吗？

Answer 1

为什么你认为它应该无法编译？它是嵌套对象初始值设定项语法，客户端代码负责为初始化提供有效值。

来自文档：

C# 规范 7.5.10.2“对象初始值设定项”

在等号后指定对象初始值设定项的成员初始值设定项是嵌套对象初始值设定项，即嵌入对象的初始化。嵌套对象初始值设定项中的赋值被视为对字段或属性的成员的赋值，而不是向字段或属性赋值新值

Answer 2

不，这不是一个错误。

如果您希望它运行，您可以在 Bar 之前放置一个 new （就像您在初始化程序之前对 Foo 所做的那样），或者在 Foo 的构造函数中创建 Bar 对象。

对象初始值设定项本质上只是语法糖。

这：

var foo = new Foo
            {
                Bar = { Name = "Hello" }
            };

与此完全相同：

var foo = new Foo();
foo.Bar.Name = "Hello"; 

Answer 3

new 在对象初始值设定项中是不必要的：

object-creation-expression:
    new   type   (   argument-list(opt)   )   object-or-collection-initializer(opt) 
    new   type   object-or-collection-initializer

object-or-collection-initializer:
    object-initializer
    collection-initializer

object-initializer:
    {   member-initializer-list(opt)   }
    {   member-initializer-list   ,   }

initializer-value:
    expression
    object-or-collection-initializer

最后一个是最重要的。它代表 property = value 语法的右侧。这意味着右侧可以是普通的 C# 表达式（带有 new 运算符）或另一个初始化器。在这种情况下，您所需要的只是左大括号和右大括号。

Answer 4

如果将代码更改为以下等效代码，您还将收到 NullReferenceException 的运行时错误，而不是编译时错误/警告。

static void Main(string[] args) {
    Foo foo2 = new Foo();
    foo2.Bar.Name = "test";
}

效果是一样的，Bar 永远不会被正确初始化。现在，从编译器编写者的角度来看，在所有情况下都很难确定 Bar 在使用之前是否已正确初始化。

Answer 5

...
 Bar = { Name = "Hello"}
...

意思是： Foo.Bar.Name="Hello"
不是： {Foo.Bar=new Bar(); Foo.Bar.Name="Hello";}

这将编译并且不会抛出任何异常，因此这不是一个错误，您只是初始化一个不存在的对象：

class Bar
{
    public string Name;
}
class Foo
{
private Bar _bar = new Bar();
public Bar Bar
{
  get { return _bar; }
  set { _bar = value; }
}
}
class Program
{
 static void Main(string[] args)
 {
  Foo foo = new Foo
  {
   Bar = { Name = "Hello"}
  };
 }
}

Answer 6

Bar 是 Foo 的一个属性，因此它允许您在编译时访问它并分配一个 name 属性，但在运行时它会检查 的有效实例code>Bar 不存在，因此会抛出空引用异常，任何 C# 版本都会出现这种情况。

Answer 7

我创建了一个工作示例。

很简单，只需添加一个“new Bar()”即可正常工作

---

class Bar
{
    public string Name { get; set; }
}

class Foo
{
    public Bar Bar { get; set; }
}


class Program
{
    static void Main(string[] args)
    {
        var foo = new Foo
                      {
                          Bar = new Bar() { Name = "Hello" }
                      };

        Console.WriteLine(foo.Bar.Name);
        Console.ReadLine();
    }
}