运算符'='在C#中链接 - 当然这个测试应该通过？

Question

我刚刚写了一个属性设置器,并且脑子里有一个关于为什么我们没有得到一个属性可能涉及操作符链接return的结果的脑波,即:set=

var a = (b.c = d);

(为了清楚起见,我添加了括号 - 但在实践中没有区别)

我开始思考 - C#编译器在哪里导出a上面示例中赋值的值？

逻辑说它应该来自(b.c = d)操作的结果,但是因为用一种void set_blah(value)方法实现它不可能.

所以唯一的其他选择是:

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

• 再利用 d

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

现在,在我看来,正确阅读上面的代码行是

设置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命令克隆,然后在两个连续的赋值中弹出两个值.

这种技术对于字段非常有效,但对于我来说,每个实际上都是一个方法调用的属性似乎非常天真,其中实际的最终属性值不能保证是输入值.

现在我知道很多人讨厌嵌套作业等等,但事实是语言允许你这样做,所以他们应该按预期工作.

也许我真的很厚,但对我来说这表明编译器(.Net 4顺便说一句)不正确地实现了这种模式.但那么我的期望/读取代码是不正确的？

Answer 1

分配的结果x = {expr}是定义为从{expr}的计算的值.

§14.14.1简单分配(ECMA334 v4)

...简单赋值表达式的结果是赋给左操作数的值.结果与左操作数的类型相同,并且始终归类为值....

并注意分配的值是已经评估值从d.因此,这里的实现是:

var tmp = (TypeOfC)d;
b.c = tmp;
a = tmp;

虽然我也希望启用优化后它会使用dup指令而不是局部变量.

Answer 2

我觉得有趣的是,你的期望是疯狂的任务 - 即分配两个不同的值,因为其中一个是非常奇怪的属性,具有不寻常的行为 - 是理想的事态.

正如您所推断的那样,我们竭尽全力避免这种状态.这是一个很好的事情.当你说"x = y = z"时,如果可能的话我们应该保证x和y最终被分配相同的值 - 即z - 即使y是一些不具有价值的疯狂的东西你给它."x = y = z"在逻辑上应该类似于"y = z,x = z",除了z仅被评估一次.在分配给x时,y根本没有涉及到这个问题; 为什么要这样？

此外,当然,当做"x = y = z"时,我们不能始终"重用"y,因为y可能是只写属性.如果没有getter从中读取值,该怎么办？

此外,我注意到你说"这适用于字段" - 如果字段是易变的,则不会.您无法保证您指定的值是该字段在易失性字段中所采用的值.您无法保证从过去的volatile字段中读取的值现在是该字段的值.

有关此主题的更多想法,请参阅我的文章:

http://blogs.msdn.com/b/ericlippert/archive/2010/02/11/chaining-simple-assignments-is-not-so-simple.aspx