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

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

Cơ sở lý luận nào ngăn điều này trở thành một phần của tiêu chuẩn? Có rào cản kỹ thuật nào không? Một triết học? Hay chỉ là không đủ nhu cầu để biện minh cho nó?

Đâ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 "struct / union không tên" là một phần mở rộng không chuẩn cho C ++ .

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

Lý do cho điều này là C hỗ trợ kết hợp ẩn danh nhưng không hỗ trợ cấu trúc ẩn danh *, vì vậy C ++ hỗ trợ cái trước để tương thích nhưng không hỗ trợ cái sau vì nó không cần thiết để tương thích.

Hơn nữa, không có nhiều công dụng đối với các cấu trúc ẩn danh trong C ++. Việc sử dụng bạn chứng minh, để có một cấu trúc có chứa ba nổi có thể được gọi bằng cách .v[i], hay .x, .yvà .z, tôi tin rằng kết quả trong hành vi undefined trong C ++. C ++ không cho phép bạn viết cho một thành viên của liên minh, giả sử .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à hiếm nhưng nó không thực sự được xác định rõ.

Cơ sở vật chất của C ++ cho các kiểu do người dùng định nghĩa cung cấp các 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ác cấu trúc ẩn danh, do đó, một bản sửa đổi trong tương lai cho C ++ có thể thêm chúng.}

Tôi sẽ nói, bạn có thể xóa vector3tờ khai của mình bằng cách sử dụngunion

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

Chắc chắn, cấu trúc ẩn danh là một phần mở rộng của MSVC . Nhưng ISO C11 cho phép nó ngay bây giờ, và gcc cho phép nó , và trình biên dịch llvm của Apple cũng vậy.

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

Không chắc chắn những gì bạn có ý nghĩa. Phần 9.5 của đặc tả C ++, điều khoản 2:

Một liên minh của biểu mẫu

union { member-specification } ;

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

Bạn cũng có thể làm những việc như sau:

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 phải lúc nào cũng hữu ích ... mặc dù đôi khi hữu ích trong các định nghĩa macro khó hiểu.

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

Bạn thấy một cấu trúc hoặc lớp ẩn danh đáp ứng được mục đích gì? Trước khi suy đoán tại sao điều 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 như vậy và tôi không thấy sử dụng cho một cấu trúc ẩn danh.

Dựa trên bản chỉnh sửa, các nhận xét và bài viết MSDN này: Các cấu trúc ẩn danh , tôi sẽ đánh liều đoán - nó không phù hợp 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 gây rối 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, những thay đổi đối với cấu trúc ẩn danh có thể ảnh hưởng đến lớp của tôi mà không được phép.

Ma cua ban

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

giống như

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

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

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

Type field;

Điều đó nói rằng, gcc và "các trình biên dịch khác" hỗ trợ các trường không tên như một phần mở rộng.

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