为什么短路不能防止与逻辑 AND (&&) 的不可到达分支相关的 MissingMethodException？

Question

在检查我的 Windows Mobile 设备上是否存在并启用相机时，我遇到了一些我不明白的事情。

代码如下所示：

    public static bool CameraP(){

        return Microsoft.WindowsMobile.Status.SystemState.CameraPresent;
    }

    public static bool CameraE()
    {
        return Microsoft.WindowsMobile.Status.SystemState.CameraEnabled;
    }

    public static bool CameraPresent1()
    {
        return Microsoft.WindowsMobile.Status.SystemState.CameraPresent
              && Microsoft.WindowsMobile.Status.SystemState.CameraEnabled;
    }

    public static bool CameraPresent2()
    {
        return CameraP() && CameraE();
    }

当我调用 CameraPresent2() 时，它返回 false（不存在相机）。但是，当我调用 CameraPresent1() 时，我收到了 MissingMethodException ，并带有注释“无法找到方法：get_CameraEnabled Microsoft.WindowsMo​​bile.Status.SystemState”。

在 CameraPresent1 中评估第二项是否只是因为它们都是属性（在语言级别）？

还有其他什么可以解释行为差异吗？

Answer 1

不评估第二项。

第一项不进行评估。

CameraPresent1() 方法甚至没有开始执行。

当您第一次调用 CameraPresent1() 时，运行时必须将 MSIL JIT 编译为本机代码。这需要解析所有方法调用，甚至是那些只能有条件到达的方法调用。编译失败并出现 MissingMethodException。

使用 CameraPresent2() 时，仅在第一次调用 CameraE() 时才会编译对 CameraEnabled getter 的调用，而这种情况永远不会发生。

Answer 2

C# 规范第 7.12 节

& 和 < code>|| 运算符称为条件逻辑运算符。它们也称为“短路”逻辑运算符。

&& 和 || 运算符是 & 的条件版本。和 |运算符：

• 运算x && y 对应于操作x & y，但仅当 x 不为 false 时才计算 y。

• 操作x || y 对应于操作x | y，但仅当 x 不为 true 时才计算 y。

---

That is to say that the C# spec guarantees that CameraE() will be called if and only if CameraP() is true.

这可能是积极的编译器优化的问题，因此实际的程序似乎违反了语言规范......

---

Edit:

是否可以设置断点并显示反汇编窗口，以查看生成的确切代码？

Answer 3

只是一个大胆的猜测，但这有可能是 JIT 编译问题吗？调用 CameraPresent1 时，它是否尝试将调用 Microsoft.WindowsMo​​bile.Status.SystemState.CameraEnabled 映射到底层设备？由于找不到方法 get_CameraEnabled，整个函数失败并出现 MissingMethodException。

Answer 4

从报道的问题来看，似乎没有任何意义。两个版本应该是相同的。不过，我想知道这里的问题是否是相机 API 在某个时刻使用 dynamic，并且它正在尝试寻找 true()/false()/& 运算符。这可能会说服它切换到 bool 逻辑：

public static bool CameraPresent1()
{
    return ((bool)Microsoft.WindowsMobile.Status.SystemState.CameraPresent)
          && ((bool)Microsoft.WindowsMobile.Status.SystemState.CameraEnabled);
}