带有 static_assert 的 constexpr std::array

Question

#include <iostream>
#include <array>

int main(int argc, char **argv) {
    constexpr const std::array<int, 2> arr {{ 0, 1 }};
    constexpr const int arr2[] = { 0, 1};

    static_assert(arr[0] == arr2[0], "asdf");
    static_assert(arr[1] == arr2[1], "asdfasdf");

    return 0;
}

当使用gcc 4.8.2 和4.9.1 使用g++ test.cpp --std=c++11 编译时，编译成功。 然而，当使用clang 3.4 和3.5 使用clang++ test.cpp --std=c++11 编译时，编译失败：

test.cpp:8:16: error: static_assert expression is not an integral constant expression
        static_assert(arr[0] == arr2[0], "asdf");
                      ^~~~~~~~~~~~~~~~~
test.cpp:8:16: note: non-constexpr function 'operator[]' cannot be used in a constant expression

所以我的问题是，在符合 C++11 的意义上，哪个编译器是“正确的”？而且，如果clang 是正确的，那么为什么std::array 的operator[] 不能使用constexpr？这难道不是std::array 应该帮助解决的问题之一吗？

Answer 1

看起来clang 是正确的，operator [] 不是 C++11 中的 constexpr，而是 C++14 中的 constexpr

constexpr const_reference operator[]( size_type pos ) const; (since C++14)

所以使用-std=c++14 编译应该可以工作（see it live）。

在C++11 draft standard 部分23.3.2.1 类模板数组概述 有以下operator []：

reference operator[](size_type n);
const_reference operator[](size_type n) const;

而C++14 draft standard 具有以下内容：

reference operator[](size_type n);
constexpr const_reference operator[](size_type n) const;
^^^^^^^^^

更新

C++11 之后的标准草案N3485，包含对 C++11 的增强修复。它包含operator [] 的constexpr 版本。如果这是缺陷报告的一部分，那么 gcc 将是正确的，考虑到 clang 3.6.0 也接受 C++11 模式下的程序，这似乎是合理的。

更新 2

我找到了介绍更改的文档N3470，由于我找不到有关此特定问题的任何缺陷报告，因此这似乎是一种增强，因此不应成为 C++11 的一部分。