我一直在向您查询某些代码无法正常工作。除了以下行，一切看起来都很好。

Transport = Transport?? MockITransportUtil.GetMock(true);

在执行该行之前，Transport 为空。我看到 GetMock 已执行并且它返回一个非空对象。在那行之后 Transport 仍然是空的；

我查看了生成的 IL，它看起来不错。

 IL_0002:  ldarg.0
  IL_0003:  ldfld      class [Moq]Moq.Mock`1<class [CommLibNet]CommLibNET.ITransport> Curex.Services.Common.UnitTests.Messaging.TestIGuaranteedSubscriptionBase::Transport
  IL_0008:  dup
  IL_0009:  brtrue.s   IL_0012
  IL_000b:  pop
  IL_000c:  ldc.i4.1
  IL_000d:  call       class [Moq]Moq.Mock`1<class [CommLibNet]CommLibNET.ITransport> Curex.Services.Common.UnitTests.Mocking.MockITransportUtil::GetMock(bool)
  IL_0012:  stfld      class [Moq]Moq.Mock`1<class [CommLibNet]CommLibNET.ITransport> Curex.Services.Common.UnitTests.Messaging.TestIGuaranteedSubscriptionBase::Transport

我们看到函数被调用，stfld 应该获取返回值并设置字段。

然后我查看了程序集，我看到调用已完成，但看起来 RAX 中的返回被下一个调用吹走了并且丢失了。

            Transport = Transport?? MockITransportUtil.GetMock(true);
000007FE9236F776  mov         rax,qword ptr [rbp+0B0h]  
000007FE9236F77D  mov         rax,qword ptr [rax+20h]  
000007FE9236F781  mov         qword ptr [rbp+20h],rax  
000007FE9236F785  mov         rcx,qword ptr [rbp+20h]  
000007FE9236F789  mov         rax,qword ptr [rbp+0B0h]  
000007FE9236F790  mov         qword ptr [rbp+28h],rax  
000007FE9236F794  test        rcx,rcx  
000007FE9236F797  jne         000007FE9236F7AC  
000007FE9236F799  mov         cl,1  
000007FE9236F79B  call        000007FE92290608  

            //var x = ReferenceEquals(null, Transport) ? MockITransportUtil.GetMock(true) : Transport;
            ListerFactory = ListerFactory ?? MockIListenerUtil.GetMockSetupWithAction((a) => invokingAction = a);
000007FE9236F7A0  mov         qword ptr [rbp+30h],rax  
000007FE9236F7A4  mov         rax,qword ptr [rbp+30h]  
000007FE9236F7A8  mov         qword ptr [rbp+20h],rax  
000007FE9236F7AC  mov         rcx,qword ptr [rbp+28h]  

如果我使用 if 语句或 ?: 运算符一切正常。

Visual Studio 2013

编辑

我已经创建了一个伪最小复制品。

class simple
{
    public A MyA = null;
    public B MyB = null;

    public void SetUp()
    {
        MyA = MyA ?? new A();
        MyB = new B();// Put breakpoint here
    }
}

如果您在指示的行上设置断点并在调试器中查看 MyA 的值，它仍然为空(仅当在 x64 中构建时)。如果您执行下一行，它将设置该值。我无法重现根本没有发生的评估。在反汇编中非常清楚，下一行的执行在分配发生之前就已经开始了。

编辑2

这是一个link到 MS 连接站点

最佳答案

    MyB = new B();// Put breakpoint here

问题是断点，不是代码生成。 x64 抖动混淆了这一点，它生成不准确的调试信息。它错误地发出语句的行号信息，使用的代码地址仍然是前一条语句的一部分。

从你发布的反汇编代码可以看出，地址 F7A0 到 F7A8 的代码仍然是 ??陈述。 F7AC 的分支是真正的分支，这是下一条语句开始的地方。所以它应该说 F7AC 是下一条语句的开始，而不是 F7A0。

此错误的后果是调试器可能永远不会在断点处停止。您可以通过更改您的重现代码并编写 public A MyA = new A(); 来亲眼看到这一点，如果它确实停止，则分配尚未执行.因此，您仍然会看到具有先前值的变量，在您的情况下为 null。一步即可解决它，尽管这取决于下一条语句的外观。

请放心，这只会在您调试时出错，程序仍然可以正常运行。请记住这个怪癖，afaik 它只会出错 ??运算符(operator)。您可以看出它并没有被广泛使用 :) 尽管大多数程序员只调试过他们程序的 32 位版本，但默认的项目设置非常鼓励它。

问题正在解决，不要指望您的 Connect 报告会产生影响，Microsoft 很清楚这个错误。 Microsoft 的抖动团队有 rewritten the x64 jitter completely , 目前在 CTP2 中。我估计还需要一年左右的时间才能发布。

关于c# - JIT 是否生成了错误的代码，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/22566389/