C# 优化组合返回语句

Question

我使用 Visual Studio 在 C# 中编写了一个函数，并决定查看在启用“优化代码”构建标志的情况下编译时的样子。

我用 dnSpy 检查了 DLL，发现 if 语句已被删除。这导致每次调用函数时都会访问 neighbour.data 数组，这是我试图避免的。

这是 Visual Studio 中的函数：

[MethodImpl(MethodImplOptions.AggressiveInlining)]
protected bool DrawFaceXNegative(int j, int k, int chunkPosition, Chunk neighbour)
{
    // These two if statements are here to prevent an array access if possible
    if (chunkPosition == 0)
        return false;

    if (neighbour == null)
        return true;

    return neighbour.data[31 * Constants.ChunkSize + j + k * Constants.ChunkSizeSquared].index == 0;
}

这是dnSpy中的函数：

[MethodImpl(MethodImplOptions.AggressiveInlining)]
protected bool DrawFaceXNegative(int j, int k, int chunkPosition, Chunk neighbour)
{
    return chunkPosition != 0 && (neighbour == null || neighbour.data[992 + j + k * 1024].index == 0);
}

将逻辑更改为 if-else 语句会产生相同的结果。有没有办法防止这种优化发生？

作为一个附带问题，是什么导致编译器认为生成的函数更加优化？

Answer 1

return chunkPosition != 0 && ...

正在做与

完全相同的事情

  if (chunkPosition == 0)
        return false;

在chunkPosition为0的情况下：

1. 根据 && 规则停止其余的计算
2. 返回错误

如果这部分的计算结果为 true，则返回值将是 true && (neighbour == null || neighbour.data[992 + j + k * 1024].index == 0); - 所以无论省略号导致什么。

&& 连接的东西被执行，直到你打到第一个 false。

||连接的东西被执行，直到你点击第一个 true。

如果你想让所有代码一直执行，我认为单字符版本就是你要找的机器人。