C++ 11 - khai báo thành viên dữ liệu không tĩnh là 'tự động'

Question

Có phải C++ 11 cho phép khai báo thành viên dữ liệu không tĩnh là 'tự động' nếu chúng được khởi tạo trong khai báo không? Ví dụ:

struct S 
{ 
    auto x = 5; // in place of 'int x = 5;', which is definitely allowed 
}; 

GCC 4.7 từ chối mã trên, trong khi chấp nhận int x = 5;.

Giả sử đây không phải là lỗi trình biên dịch mà đúng hơn là tiêu chuẩn thực sự không cho phép, tại sao không? Nó sẽ hữu ích như việc khai báo các biến cục bộ auto.

Answer 1

Các quy tắc cho việc cấm các thành viên không tĩnh là trong 7.1.6.4 khoản 4:

Các auto type-specifier cũng có thể được sử dụng trong khai báo một biến trong điều kiện của một tuyên bố lựa chọn (6.4) hoặc tuyên bố lặp lại (6.5), trong loại-specifier-seq trong id kiểu mới hoặc loại-id của biểu thức mới (5.3.4), trong khai báo phạm vi và khai báo a thành viên dữ liệu tĩnh với bộ khởi tạo cú đúp hoặc bằng nhau xuất hiện trong đặc tả thành viên của định nghĩa lớp (9.4.2).

Tôi thấy lý do cho nó là tĩnh here phản ánh cách James McNellis giải thích trong nhận xét.

Một cơ quan quốc gia không thích cho phép trình tự định loại tự động cho không phải là số liệu thống kê. Từ e-mail cho tác giả:

template< class T > 
    struct MyType : T { 
     auto data = func(); 
     static const size_t erm = sizeof(data); 
    }; 

Để xác định bố cục của X, chúng tôi hiện có tra cứu tên 2 giai đoạn và ADL. Lưu ý rằng func có thể là một kiểu hoặc một hàm; nó có thể được tìm thấy trong T, không gian tên của MyType, không gian tên được liên kết của T khi khởi tạo, không gian tên chung, một không gian tên ẩn danh hoặc bất kỳ không gian tên nào tuân theo chỉ thị sử dụng. Với sự cẩn thận, chúng tôi có thể có thể ném một số tra cứu concept_map để may mắn. Tùy thuộc vào thứ tự bao gồm tiêu đề, tôi thậm chí có thể nhận được các kết quả khác nhau cho ADL và phá vỡ Quy tắc Một Định nghĩa - trong đó không bắt buộc phải được chẩn đoán.

Do sự tranh cãi này, các tác giả không còn đề xuất rằng tự động được phép cho các thành viên dữ liệu không tĩnh.

Vì vậy, về cơ bản tùy thuộc vào thứ tự bao gồm tiêu đề, loại data có thể rất khác nhau. Tất nhiên, auto x = 5; sẽ không cần phải phụ thuộc vào tra cứu tên 2 giai đoạn hoặc ADL, tuy nhiên, tôi giả định rằng họ đã biến nó thành quy tắc "mền" vì nếu không, họ sẽ phải thực hiện các quy tắc riêng cho từng trường hợp sử dụng làm cho mọi thứ trở nên phức tạp. Trong cùng một bài báo, tác giả đề xuất loại bỏ hạn chế này, tuy nhiên, dường như đề xuất này đã bị từ chối có thể do lý do trên và cũng như vậy hành vi mong đợi có thể giống nhau bất kể trình khởi tạo là gì.