'yếu tố dư thừa trong struct initializer' lỗi với C++ 11 thống nhất khởi

Question

Tôi ngạc nhiên bởi những lỗi biên dịch sau:

template <typename T> 
struct A 
{ 
    A(T t): t_{t} {} 

    T t_; 
}; 

struct S 
{ 
}; 

int main() 
{ 
    A<S> s{S{}}; 
} 

Lỗi này là (với kêu vang):

test.cpp:4:16: error: excess elements in struct initializer 
    A(T t): t_{t} {} 
      ^
test.cpp:15:10: note: in instantiation of member function 'A<S>::A' requested here 
    A<S> s{S{}}; 
     ^

GCC đưa ra một lỗi tương tự.

Tôi mong đợi biểu thức t_{t} để cố gắng sao chép cấu trúc t_ từ t. Vì S có một hàm tạo bản sao được tạo ngầm, tôi không mong đợi đây là một vấn đề.

Ai đó có thể giải thích những gì đang xảy ra ở đây?

Answer 1

S có thể có một hàm tạo bản sao được tạo ngầm, nhưng S cũng là thứ khác. An tổng hợp. Do đó, (hầu hết) việc sử dụng {} sẽ thực hiện khởi tạo tổng hợp trên đó. Vì vậy, nội dung của {} được dự kiến ​​sẽ là giá trị cho các thành viên của tổng hợp. Và kể từ khi tổng hợp của bạn là trống rỗng ... bùng nổ.

Trong mã mẫu, nên tránh cú pháp khởi tạo đồng nhất vì những lý do chính xác này. Đối với loại không xác định T, bạn không thể chắc chắn chính xác những gì {...} sẽ thực hiện.