c++ - 为什么这个 constexpr 函数在 gcc 的不同情况下给出不同的结果？

Question

所以我有以下简单的片段:

template <typename T, size_t size>
struct SquareMatrix {
public:
    T data[size * size];
    constexpr T & operator()(const size_t row, const size_t col) noexcept {
        return data[row * size + col];
    }
};

constexpr auto generate() {
    auto result = SquareMatrix<int, 2>{};
    result(0, 0) = 1;
    result(1, 0) = 3;
    result(0, 1) = 2;
    result(1, 1) = 4;
    return result;
}

data 的预期内容SquareMatrix<int, 2> 中的数组制作人 generate()是1, 2, 3, 4 .然而……

constexpr auto test = generate();

int main() {
    for (size_t i = 0; i < 4; ++i) {
        std::cout << test.data[i] << std::endl;
    }
    return 0;
}

如果我使用 g++ 5.2 和 -std=c++14 编译并运行这段代码，奇怪的是，打印到控制台的结果是 1032 .

如果删除 constexpr 限定符以便它在运行时执行，或者如果我改写以下任一细微变化:

int main() {
    constexpr auto test = generate();
    for (size_t i = 0; i < 4; ++i) {
        std::cout << test.data[i];
    }
    return 0;
}

……或者……

constexpr auto generate() {
    auto result = SquareMatrix<int, 2>{};
    result(0, 0) = 1;
    result(0, 1) = 2; // this line and
    result(1, 0) = 3; // this line have been swapped
    result(1, 1) = 4;
    return result;
}

constexpr auto test = generate();

int main() {
    for (size_t i = 0; i < 4; ++i) {
        std::cout << test.data[i];
    }
    return 0;
}

...预期结果，1234 , 被打印出来。此外，clang++ 3.7.0 打印预期的 1234在所有情况下。

我是遇到了 g++ 错误还是遗漏了什么？

Answer 1

这看起来与 gcc 错误有关 [5 regression] Constant expression factory function initializes std::array with static storage duration strangely如果我们用 gcc head live example 试试这个它工作正常。

错误报告有以下类似的例子，其中静态变量 case 表现出类似的问题而自动变量 case 没有:

#include <array>
#include <cassert>

namespace /* anonymous */
{

  constexpr auto
  make_array(const int val) noexcept
  {
    std::array<int, 2> result = { { val, 0 } };
    return result;
  }

  // Replacing `constexpr` by `const` doesn't change anything.
  constexpr auto numbers_static = make_array(42);

}

int main()
{
  const auto numbers_automatic = make_array(42);
  assert(numbers_automatic[0] == 42);  // okay
  assert(numbers_static[0] == 42);     // fails
}