编译器结构- Operator '='c#中的链接-当然这个测试应该通过

我刚刚在写一个属性设置程序，突然想到为什么当一个属性可能涉及到操作符=链时，我们不需要return set的结果，即:

var a = (b.c = d);

(为了清晰起见，我添加了括号——但在实践中没有区别)

我开始思考- c#编译器在哪里导出在上面的例子中分配给a的值?

逻辑上说它应该来自(b.c = d)操作的结果，但由于这是用void set_blah(value)方法实现的，所以它不能。

所以唯一的其他选项是:

• 在赋值后重新读取b.c并使用该值

• 重复使用d

• 编辑(自回答和Eric的评论)-有第三种选择，这就是c#所做的:在任何转换发生后使用写入b.c的值

set a为设置b.c为d的结果

我认为这是对代码的合理解读——所以我想我应该用一个稍微做作的测试来测试一下是否确实如此——但是问问你自己，你认为它应该通过还是失败:

public class TestClass
{
  private bool _invertedBoolean;
  public bool InvertedBoolean
  {
    get
    {
      return _invertedBoolean;
    }
    set
    {
      //don't ask me why you would with a boolean,
      //but consider rounding on currency values, or
      //properties which clone their input value instead
      //of taking the reference.
      _invertedBoolean = !value;
    }
  }
}
[TestMethod]
public void ExampleTest()
{
  var t = new TestClass();
  bool result;
  result = (t.InvertedBoolean = true);
  Assert.IsFalse(result);
}

此测试失败。

仔细检查为代码生成的IL，可以看到true值被加载到堆栈上，用dup命令克隆，然后在两个连续的赋值中弹出。

这种技术对于字段来说是完美的，但是对于每个属性实际上都是一个方法调用，并且实际的最终属性值不能保证是输入值的属性来说，这种技术似乎非常幼稚。

现在我知道很多人讨厌嵌套赋值等等，但事实是语言允许你这样做，所以它们应该按预期工作。

也许我真的很笨，但对我来说，这表明编译器对这种模式的实现是不正确的。净4倍)。但是，我对代码的期望/阅读是否不正确?