khởi của thành viên tham chiếu const trong danh sách initializer

Question

Tôi đã chơi với một số mã vô dụng để hiểu khởi của tài liệu tham khảo thành viên, và tình cờ gặp này:

struct A {}; 

struct B 
{ 
    B() : a() 
    { 
    } 

    const A& a; 
}; 

Đoạn mã trên cung cấp cho các lỗi sau khi biên dịch với gcc 4.9. 2:

In constructor 'B::B()': 
error: value-initialization of reference type 'const A&' 
    B() : a() 

Tôi hiểu điều này.

Nhưng nếu tôi sử dụng khởi tạo thống nhất trong danh sách initializer constructor của B, như vậy:

struct A {}; 

struct B 
{ 
    B() : a{} 
    { 
    } 

    const A& a; 
}; 

Nó biên dịch tốt.

Vì vậy, câu hỏi là, tại sao việc sử dụng đồng bộ hóa khởi tạo ở đây thay đổi kết quả biên dịch?

Tôi cũng đã cố gắng này với Microsoft Visual C++ 2013. Nó không biên dịch hoặc phiên bản mã, với thông báo lỗi tương tự:

Error 3 error C2440: 'initializing' : cannot convert from 'int' to 'const A & 

Bạn có thể có một vở kịch nhanh chóng với nó ở đây:

http://ideone.com/7f2t8I

Answer 1

GCC đúng trong cách hiểu là {}. [Dcl.init.list] /p3.8-9 (trích dẫn N4296; bản thảo đầu tiên có thứ tự tương đối giống nhau của hai viên đạn này):

List-khởi của một đối tượng hoặc tài liệu tham khảo của loại T được định nghĩa là sau:

• [7 viên đạn không áp dụng bỏ qua]

• Ngược lại, nếu T là một loại tài liệu tham khảo, một tạm thời prvalue của các loại tham chiếu bởi T là copy-list-khởi tạo hoặc trực tiếp-danh sách-khởi tạo, tùy thuộc vào loại khởi tạo cho tham chiếu, và tham chiếu được ràng buộc để tạm thời đó. [Lưu ý: Như thường lệ, ràng buộc sẽ không thành công và chương trình bị hỏng nếu loại tham chiếu là tham chiếu giá trị không thành một loại không phải const. - lưu ý cuối ]

• Nếu không, nếu danh sách trình khởi tạo không có phần tử, đối tượng sẽ được khởi tạo giá trị.

Liệt kê khởi tạo lần truy cập tham chiếu bullet 3.8, gây tạm thời. Trường hợp khởi tạo giá trị, trong 3.9, không áp dụng.

giá trị khởi tạo của một tài liệu tham khảo là vô hình thành ([dcl.init]/p9):

Một chương trình mà các cuộc gọi cho mặc định-khởi tạo hoặc giá trị khởi tạo của một thực thể của kiểu tham chiếu là không thành hình.

---

Tuy nhiên, tính đến N4296, mỗi [class.base.init]/p8:

Một biểu thức tạm thời ràng buộc với một thành viên tham chiếu trong một mem-initializer bị ốm - hình thành.

Điều này đã được thêm vào là kết quả của CWG issue 1696, là DR (báo cáo lỗi) so với C++ 14.

Pre-CWG1696, tiêu chuẩn với điều kiện (N4140 [class.temporary] /p5.1):

Một tạm thời bị ràng buộc cho một thành viên tham chiếu trong một constructor ctor-initializer (12,6. 2) vẫn còn cho đến khi các nhà xây dựng thoát.

có nghĩa là tham chiếu sẽ trở nên lơ lửng ngay sau khi xây dựng. Quyết định này có lẽ thúc đẩy CWG1696 không cho phép các ràng buộc như vậy hoàn toàn.