Có phải constexpr đang truy cập thành viên cấp cơ sở từ tham chiếu lớp dẫn xuất trung gian không?

Question

struct root 
{ 
    int i = 0; 
}; 

struct base: root{}; 
struct derive: base{}; 

constexpr derive d0; 

int main() 
{ 
    constexpr auto& r = static_cast<root const&>(d0); 
    constexpr auto& b = static_cast<base const&>(r); 
    constexpr auto& d = static_cast<derive const&>(r); 

    static_assert(d0.i == 0, ""); // ok 
    static_assert(r.i == 0, ""); // ok 
    static_assert(b.i == 0, ""); // error in gcc 
    static_assert(d.i == 0, ""); // ok 
} 

Clang chấp nhận các mã trên nhưng 7.2.0 gcc biên dịch với lỗi dưới đây:

prog.cc:17:5: error: non-constant condition for static assertion 
    static_assert(b.i == 0, ""); 
    ^~~~~~~~~~~~~ 
prog.cc:17:5: error: accessing value of 'd.derive::<anonymous>.base::<anonymous>' through a 'const base' 
glvalue in a constant 

Nó không phải là constexpr chỉ khi tôi truy cập giá trị 'i' qua cơ sở trung gian. Trình biên dịch nào là chính xác?

Answer 1

static_cast từ lớp cơ sở đến lớp dẫn xuất là UB, là static_cast giữa các lớp không bố cục tiêu chuẩn (những lớp có thành viên hoặc cơ sở ảo hoặc không công khai hoặc nhiều kế thừa). Vì vậy, để làm cho đoạn code trên được xác định rõ bạn cần thừa kế công

struct base : public root{}; 
struct derive : public base{}; 

và bạn chỉ có thể static_cast từ derive để base hoặc root, và base-root, và không theo một hướng khác.

Với ngữ nghĩa thông thường của GCC, có lẽ "nên" chấp nhận mã của bạn, nhưng cũng có nghĩa là không, vì nó dựa trên hành vi không chuẩn.