Tại sao C++ không cho phép cấu trúc ẩn danh?

Question

Một số trình biên dịch C++ cho phép các công đoàn và cấu trúc ẩn danh như một phần mở rộng cho tiêu chuẩn C++. Đó là một chút đường cú pháp đôi khi rất hữu ích.

Lý do ngăn cản điều này là một phần của tiêu chuẩn là gì? Có một rào cản kỹ thuật không? Một triết lý? Hay không đủ để cần biện minh cho nó?

Dưới đây là một ví dụ về những gì tôi đang nói về:

struct vector3 { 
    union { 
    struct { 
     float x; 
     float y; 
     float z; 
    }; 
    float v[3]; 
    }; 
}; 

trình biên dịch của tôi sẽ chấp nhận điều này, nhưng nó cảnh báo rằng "nameless struct/union" is a non-standard extension to C++.

Answer 1

Vì những người khác đã chỉ ra các công đoàn ẩn danh được phép trong tiêu chuẩn C++, nhưng cấu trúc ẩn danh thì không.

Lý do cho điều này là C hỗ trợ các tổ chức ẩn danh nhưng không hỗ trợ cấu trúc ẩn danh *, vì vậy C++ hỗ trợ cấu hình tương thích trước đây nhưng không hỗ trợ tính tương thích.

Hơn nữa, không có nhiều sử dụng cho cấu trúc ẩn danh trong C++. Cách bạn sử dụng, để có cấu trúc chứa ba phao có thể được tham chiếu bằng .v[i] hoặc .x, .y và .z, tôi tin rằng kết quả là hành vi không xác định trong C++. C++ không cho phép bạn viết thư cho một thành viên của một công đoàn, nói .v[1], và sau đó đọc từ một thành viên khác, nói .y. Mặc dù mã thực hiện điều này không phải là không phổ biến nhưng nó không thực sự được xác định rõ.

Cơ sở của C++ dành cho các loại do người dùng xác định cung cấp giải pháp thay thế. Ví dụ:

struct vector3 { 
    float v[3]; 
    float &operator[] (int i) { return v[i]; } 
    float &x() { return v[0]; } 
    float &y() { return v[1]; } 
    float &z() { return v[2]; } 
}; 

_{* C11 dường như thêm cấu trúc mang tính chất do đó, một phiên bản tương lai để C++ có thể thêm chúng.}

Answer 2

Không chắc chắn ý của bạn là gì. Phần 9,5 của ++ đặc tả C, khoản 2:

Một đoàn của mẫu

union { member-specification } ; 

được gọi là một đoàn vô danh; nó định nghĩa một đối tượng chưa được đặt tên của kiểu chưa đặt tên.

Bạn có thể làm những việc như quá này:

void foo() 
{ 
    typedef 
    struct { // unnamed, is that what you mean by anonymous? 
    int a; 
    char b; 
    } MyStructType; // this is more of a "C" style, but valid C++ nonetheless 

    struct { // an anonymous struct, not even typedef'd 
    double x; 
    double y; 
    } point = { 1.0, 3.4 }; 
} 

Không luôn rất hữu ích ... mặc dù đôi khi hữu ích trong việc định nghĩa vĩ mô khó chịu.

Answer 3

Công đoàn có thể ẩn danh; xem Tiêu chuẩn, 9,5 đoạn 2.

Bạn thấy cấu trúc hoặc lớp ẩn danh nào là hoàn thành? Trước khi suy đoán tại sao một cái gì đó không có trong tiêu chuẩn, tôi muốn có một số ý tưởng tại sao nó nên được, và tôi không thấy một sử dụng cho một cấu trúc vô danh.

Answer 4

Mã của bạn

union { 
    struct { 
    float x; 
    float y; 
    float z; 
    }; 
    float v[3]; 
}; 

là như

union Foo { 
    int; 
    float v[3]; 
}; 

mà chắc chắn là không hợp lệ (trong C99 và trước đó).

Lý do là lẽ để đơn giản hóa phân tích (trong C), bởi vì trong trường hợp đó, bạn chỉ cần kiểm tra xem cơ thể struct/đoàn chỉ có "báo cáo declarator" như

Type field; 

Điều đó nói rằng, gcc and "other compilers" hỗ trợ các trường chưa đặt tên dưới dạng tiện ích mở rộng.

Chỉnh sửa: Cấu trúc ẩn danh hiện được hỗ trợ chính thức trong C11 (§6.7.2.1/13).

Answer 5

Dựa trên chỉnh sửa, nhận xét và bài viết MSDN này: Anonymous Structures, tôi sẽ gây nguy hiểm cho dự đoán - nó phù hợp kém với khái niệm đóng gói. Tôi sẽ không mong đợi một thành viên của một lớp học lộn xộn với không gian tên lớp của tôi ngoài việc chỉ thêm một thành viên. Hơn nữa, thay đổi cấu trúc ẩn danh có thể ảnh hưởng đến lớp học của tôi mà không được phép.

Answer 6

tôi sẽ nói, bạn có thể dọn dẹp khai vector3 của bạn bằng cách chỉ sử dụng một union

union vector3 { 
    struct { float x, y, z; } ; 
    float v[3] ; 
} ; 

Chắc chắn, anonymous structures was an MSVC extension. Nhưng ISO C11 cho phép nó ngay bây giờ, và gcc allows it, và do đó, trình biên dịch llvm của Apple.

Tại sao trong C11 chứ không phải C++ 11? Tôi không chắc chắn, nhưng thực tế nói nhiều nhất (gcC++, MSVC++ và trình biên dịch C++ của Apple) trình biên dịch C++ hỗ trợ chúng.