C# 或 JIT 编译器是否足够聪明来处理这个问题？

Question

假设我们有以下模型：

public class Father
{
    public Child Child { get; set; }
    public string Name { get; set; }

    public Father() { }
}

public class Child
{
    public Father Father;
    public string Name { get; set; }
}

以及以下实现：

var father = new Father();
father.Name = "Brad";
var child = new Child();
child.Father = father;
child.Name = "Brian";
father.Child = child;

现在我的问题是： coden-p #1 是否等同于coden-p #2？

或者运行coden-p #1是否需要更长的时间？

代码片段#1：

var fatherName = father.Child.Father.Child.Father.Child.Name;

代码片段 #2：

var fatherName = father.Name;

Answer 1

C# 编译器不会对此进行优化，只会发出调用属性 getter 的所有操作。

另一方面，JIT 编译器可能会通过内联这些方法调用做得更好，但无法进一步优化，因为它不了解您的领域。优化这在理论上可能会导致错误的结果，因为您的对象图可以按如下方式构造：

var father = new Father
{
    Child = new Child
    {
        Father = new Father
        {
            Child = new Child
            {
                Father = new Father { ... }
            }
        }
    };

或者运行coden-p #1是否需要更长的时间？

答案是“是”，运行第一个代码 sn-p 需要更长的时间，因为 C# 和 JIT 都无法优化这个。

Answer 2

不，代码 sn-ps 不等价。

第一个代码 sn-p 会给你一个NullReferenceException，正如预期的那样，因为你没有为father.Child分配任何东西。

即使您确实将子项分配给 father.Child 属性，编译器也不能假定这些值将始终保持这种状态，因此它无法从第一个 sn-p 中优化掉任何内容。