Visual C++ 2017 错误？ 编译器优化表达式

Question

下面的一段代码一直给我带来一些问题，特别是 diff 的评估：

#include <iostream>

template<typename T>
class array2d
{
protected:
    T* arr;
    int w, h;

public:
array2d() : arr(nullptr), w(0), h(0) {}

bool init(int w, int h)
{
    free();
    arr = new (std::nothrow) T[w*h];
    if (arr == nullptr)
    {
        std::cerr << "array2d::init(): Failed to allocate: " << w * h * sizeof(T) << " bytes.\n";
        return false;
    }
    this->w = w;
    this->h = h;
    return true;
}

void fill(T v)
{
    for (int i = 0; i < w*h; ++i)
        arr[i] = v;
}

void free()
{
    if (arr != nullptr)
    {
        delete[] arr;
        arr = nullptr;
        w = 0;
        h = 0;
    }
}

template<typename U>
bool copy(const array2d<U>& v)
{
    if (!v)
    {
        std::cerr << "array2d::copy(): Input array is empty.\n";
        return false;
    }
    if (w*h != v.width()*v.height())
    {
        if (!init(v.width(), v.height())) return false;
    }
    for (int i = 0; i < w*h; ++i)
        arr[i] = static_cast<T>(v(i));
    return true;
}

inline T operator()(int i) const { return arr[i]; }
inline T& operator()(int i) { return arr[i]; }
inline T operator[](int i) const { return arr[i]; }
inline T& operator[](int i) { return arr[i]; }
inline T operator()(int x, int y) const { return arr[x + y*w]; }
inline T& operator()(int x, int y) { return arr[x + y*w]; }

inline int width() const { return w; }
inline int height() const { return h; }
inline const T* get() const { return arr; }
inline T* get() { return arr; }

operator bool() const { return arr != nullptr; }

array2d<T>& operator*=(T v)
{
    for (int i = 0; i < w*h; ++i)
        arr[i] *= v;
    return *this;
}

~array2d() { free(); }
};

typedef unsigned long long uint64;

uint64 computeErrors(const array2d<uint64>& a, const array2d<uint64>& b)
{
    uint64 MNE = 0;
    for (int i = 0; i < a.height()*a.width(); ++i)
    {
        uint64 diff = ((a[i] >= b[i]) ? a[i] - b[i] : b[i] - a[i]);
        if (a[i] != b[i])
        {
            std::cout << "Diff: " << diff << "\n";
            std::cout << "What diff should equal to: " << ((a[i] >= b[i]) ? a[i] - b[i] : b[i] - a[i]) << "\n";
        }
        if (i == 0)
        {
            std::cout << "Diff should not be 0, but it is: " << diff << "\n";
        }
        if (MNE < diff)
        {
            MNE = diff;
            std::cout << "We should reach this, but we don't.\n";
        }
    }
    return MNE;
}



int main()
{
    int w = 1;
    int h = 1;
    array2d<uint64> a;
    if (!a.init(w,h)) return 1;
    a.fill(0);
    array2d<uint64> b;
    if (!b.init(w,h)) return 1;
    b.fill(0);
    a[0] = 0ull;
    b[0] = 1;
    std::cout << a[0] << " " << b[0] << "\n";
    auto e = computeErrors(a, b);
    std::cout << "MNE: " << e << "\n";

    return 0;
}

如果我用 /O1、/O2 或 /Ox 编译它； 使用 /Ot 和 /Ob2，则 diff 始终为 0，而它不应该为 0。 如果我在没有 /Ot 或没有 /Ob2 的情况下进行编译，一切都会按预期进行。 这段代码中有什么格式错误的吗？ 我已将所有内容附在此处： http ://coliru.stacked-crooked.com/a/245f23f05df39418。 但是，如果我将数组的 [] 运算符更改为返回 const T& 而不是 T，则一切正常。 这是编译器错误吗？ 或者是我在 operator[] 中返回 T 而不是 const T& 不好（我返回 T 因为我在某处读到按值传递较小的 POD 更快，在我的例子中我有一些 uint32 的数组，其中速度非常重要）。 我目前正在使用 Visual C++ 2017。

编辑：根据 user4581301 的建议，我也在这里添加了整个代码。

EDIT2：这是我的 _MSC_FULL_VER：191125547。

Answer 1

该报告于 2018 年 2 月 28 日提交给Visual Studio 开发人员社区（我假设是@lightxbulb）。

2018 年 5 月 8 日，据报道（同一链接）该问题已在最新的 Visual Studio 版本2017 15.7中得到解决（根据帖子标题中的信息）。