constexpr std :: mảng với static_assert

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; 
} 

Khi biên soạn với gcc 4.8.2 và 4.9.1 sử dụng g++ test.cpp --std=c++11, biên soạn thành công. Khi biên soạn với clang 3.4 và 3.5 sử dụng clang++ test.cpp --std=c++11 Tuy nhiên, việc biên soạn thất bại:

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 

Vì vậy, câu hỏi của tôi là, mà trình biên dịch là "đúng" theo nghĩa là phù hợp với C++ 11? Và, nếu clang là chính xác, thì tại sao std :: mảng operator[] không có khả năng constexpr? Đó không phải là một trong những điều mà std::array được cho là sẽ giúp giải quyết?

Answer 1

Dường như clang là đúng, operator [] không phải là một constexpr trong C++ 11 nhưng là một constexpr trong C++ 14

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

để biên soạn với -std=c++14 nên làm việc mặc dù (see it live).

Trong C++11 draft standard phần 23.3.2.1lớp tổng quan về mẫu mảng có sau cho operator []:

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

trong khi C++14 draft standard có sau đây:

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

Cập nhật

Dự thảo tiêu chuẩn N3485 xuất hiện sau C++ 11, có sửa các cải tiến đối với C++ 11. Nó chứa phiên bản constexpr của operator []. Nếu đây là một phần của báo cáo lỗi thì gcc sẽ chính xác và điều này có vẻ hợp lý khi xem xét clang 3.6.0 cũng chấp nhận chương trình ở chế độ C++ 11.

Cập nhật 2

tôi tìm thấy tài liệu mà giới thiệu những thay đổi, N3470 và kể từ khi tôi không thể tìm thấy bất kỳ báo cáo trục trặc về vấn đề cụ thể này thì đây có vẻ như một nâng cao và do đó không phải là một phần của C + +11.