为什么这个错误的对象初始化用花括号甚至编译？ [重复]

Question

这个问题在这里已有答案：

• Nested object initializer syntax 1回答

在为WPF / MVVM项目的集合创建一些虚拟数据时，我生成了以下错误代码，它编译得很好，但在运行时抛出异常。

有一个嵌套的数据对象结构，我错误地只用花括号进行实例化（看起来像编写JavaScript确实会对大脑造成永久性损害）。

using System.Collections.ObjectModel;

namespace testapp
{
    class Program
    {
        static void Main(string[] args)
        {
            var collection = new ObservableCollection<TopLevelDataObject>();
            collection.Add(new TopLevelDataObject{Nested = {Bar = 5}});         // NullReferenceException
        }

        class TopLevelDataObject
        {
            public NestedDataObject Nested { get; set; }
            public string Foo { get; set; }
        }

        class NestedDataObject
        {
            public double Bar { get; set; }
        }
    }
}

为什么要编译？

如果我创建一个匿名类型，如Nested = new {Bar = 5}，我在编译期间收到错误消息（因此失败）：

Cannot implicitly convert type '<anonymous type: int Bar>' to 'testapp.Program.NestedDataObject'

为什么在省略new运算符时没有出现这样的错误？

它甚至为我提供了该属性的代码提示：

我的猜测是{Bar = 5}只是一个代码块，它本身就是一个有效的东西。但是为什么将代码块分配给任何东西（在这种情况下，Nested属性）是有效的？

Answer 1

为什么要编译？

因为在编译代码时，它只被编译为一组赋值操作。它并非都是您创建的新实例。

如果从构造函数构造Nested的新实例，则可以为Nested.Bar赋值。

将public NestedDataObject Nested { get; set; }更改为此以查看其工作原理：

public NestedDataObject Nested { get; } = new NestedDataObject();

（注意，在上面的代码中，你永远不能在构造函数之外为Nested赋值！）

Answer 2

为什么要编译？

因为var x = new SomeType{Property = value};与以下相同：

var x = new SomeType();
x.Property = value;

事实上，我们甚至可以在()中留下var x = new SomeType(){Property = value};甚至var x = new SomeType(argument){Property = value};，将一个参数传递给构造函数并设置一个值。

因此，你可以看到总是有一个被调用的构造函数，如果你省略了那个显式的括号，那么它总是是无效的（无参数）构造函数。

同时，没有显式构造函数的类型总是有一个公共的nullary构造函数（“默认构造函数”）。

因此new TopLevelDataObject{Nested = {Bar = 5}}与以下相同：

var temp = new TopLevelDataObject();
temp.Nested.Bar = 5; // NRE on temp.Nested

因为TopLevelDataObject可以有一个构造函数来设置`Nestedt然后你可以使用的代码，所以它应该编译。当然，因为它没有这样的构造函数，所以它不起作用。

（请注意，初始化程序与匿名类型的操作完全不同，在这种情况下，它会被重写以调用隐藏的构造函数，因此即使初始化程序不能与非匿名的只读属性一起使用，也允许这些属性为只读属性语法允许它们看起来相同，因此很容易理解为相似但结果却不一样）。