Không thể xây dựng mảng constexpr từ chuẩn bị tinh thần-init-list

Question

Tôi đã thực hiện một mảng constexpr như thế này:

template <typename T> 
class const_array { 
    const T* p; 
    unsigned n; 
public: 
    template <unsigned N> 
    constexpr const_array(const T(&a)[N]): p(a), n(N) { } 

    constexpr unsigned size() const { return n; } 
}; 

int main(int argc, char* argv[]) { 
    // works 
    static_assert(const_array<double>{{1.,2.,3.}}.size() == 3); 

    // doesn't compile 
    constexpr const_array<double> a{{1.,2.,3.}}; 
    static_assert(a.size() == 3); 
} 

Tại sao nó rằng static_assert biên dịch đầu tiên, nhưng khởi a thất bại Tôi đang sử dụng gcc 6.2? .0. Tôi đang nhận được

: In function 'int main(int, char**)': 
: error: 'const_array<double>{((const double*)(&<anonymous>)), 3u}' is not a constant expression 
    constexpr const_array<double> a{{1.,2.,3.}}; 
             ^
test/const_array.cc:17:3: error: non-constant condition for static assertion 
    static_assert(a.size() == 3); 
    ^~~~~~~~~~~~~ 

Answer 1

Trình biên dịch phàn nàn rằng trình khởi tạo a.p không phải là biểu thức liên tục. Nó không thành công §5.20/5.2:

nếu giá trị là kiểu con trỏ, nó chứa địa chỉ của một đối tượng có thời gian lưu trữ tĩnh, địa chỉ quá cuối của đối tượng (5.7), địa chỉ của một hàm hoặc giá trị con trỏ null

Nói cách khác, chỉ giá trị con trỏ được biết đến liên kết là các hằng hợp lệ. (Ngoài ra, trong ví dụ của bạn con trỏ đang lơ lửng.)

Đầu tiên static_assert không đi chuyến này bởi vì p bị hủy và giá trị n là biểu thức không đổi. Các biểu thức liên tục có thể có các biểu thức con không liên tục.

này hoạt động:

static constexpr double arr[] = { 1.,2.,3. }; 
constexpr const_array<double> a{ arr }; 
static_assert(a.size() == 3); 

tín dụng để @ Jarod42 để chỉ ra vấn đề này trong các ý kiến.

Answer 2

Vấn đề là bạn không thể truyền đạt bản chất liên tục của con trỏ tới T trong mẫu bên trong thông qua tham số T của mẫu bên ngoài.

template <typename T> class const_array { 
    const T * p; 
    unsigned n; 
public: 
    template <unsigned N> 
     constexpr const_array(const T(& a)[N]): p(a), n(N) { } 
}; 

int main(int argc, char* argv[]) { 
    constexpr const_array<double> ca{(const double []) { 1., 2. }}; 
    return 0; 
} 

Tôi đã thử vài chục hoán vị để loại bỏ diễn viên mà không thành công.