Tại sao clang và g ++ in 0 cho a1.v và a2.v trong ví dụ này trong C++ 1z?

Question

Xem ví dụ này trong [class.base.init]/11

struct A { 
    A() = default;   // OK 
    A(int v) : v(v) { }  // OK 
    const int& v = 42;  // OK 
}; 
A a1;      // error: ill-formed binding of temporary to reference 
A a2(1);     // OK, unfortunately 

Cả kêu vang và g ++ biên dịch mã (kêu vang với một cảnh báo), nhưng tôi muốn hiểu tại sao họ lại in 0 cho các thành viên a1.v và a2.v? Xem demo.

Answer 1

Không quan trọng là chúng in 0.

Đối với a1, việc khởi tạo không đúng định dạng để bắt đầu. Đối với a2, bạn đang ràng buộc một tham chiếu đến một tạm thời để bạn kết thúc với một tham chiếu lơ lửng. Không có ý nghĩa đối với 0 - đó là bất kỳ bộ nhớ rác nào mà tham chiếu xảy ra để trỏ đến điểm đó. Một khi bạn đang vi phạm điều kiện tiên quyết, chương trình là hành vi không xác định.

Hành vi chưa xác định không được xác định. Không có lý do gì để mong đợi một hành vi cụ thể cho bản in. Ví dụ, gcc 7 in 32764 trong khi clang 4 in 32765. Tại sao? Tại sao không.