Dấu chấm phẩy sau dấu ngoặc nhọn khai báo lớp

Trong các lớp C ++, tại sao lại có dấu chấm phẩy sau dấu ngoặc nhọn? Tôi thường xuyên quên nó và gặp lỗi trình biên dịch, và do đó mất thời gian. Có vẻ hơi thừa đối với tôi, điều này khó có thể xảy ra. Mọi người có thực sự làm những việc như:

class MyClass
{
.
.
.
} MyInstance;

Tôi hiểu nó từ quan điểm về khả năng tương thích của C cho các cấu trúc và enum, nhưng vì các lớp không phải là một phần của ngôn ngữ C nên tôi đoán nó chủ yếu ở đó để giữ sự nhất quán giữa các cấu trúc khai báo tương tự.

Những gì tôi đang tìm kiếm liên quan nhiều đến cơ sở lý luận của thiết kế hơn là có thể thay đổi bất cứ điều gì, mặc dù một IDE hoàn thành mã tốt có thể bẫy điều này trước khi biên dịch.

Dấu chấm phẩy sau dấu ngoặc nhọn đóng trong khai báo kiểu được ngôn ngữ yêu cầu. Nó đã theo cách đó kể từ những phiên bản đầu tiên của C.

Và vâng, mọi người thực sự làm theo tuyên bố mà bạn vừa đưa ra ở đó. Nó hữu ích cho việc tạo các loại phạm vi bên trong các phương thức.

void Example() {
  struct { int x; } s1;
  s1.x = 42;

  struct ADifferentType { int x; };
}

Trong trường hợp này, tôi nghĩ rõ ràng tại sao lại cần dấu chấm phẩy. Về lý do tại sao nó lại cần trong trường hợp tổng quát hơn là khai báo trong tệp tiêu đề, tôi không chắc. Tôi đoán rằng đó là lịch sử và đã được thực hiện để giúp việc viết trình biên dịch dễ dàng hơn.

Các liên kết được cung cấp bởi @MichaelHaren xuất hiện để cung cấp các nguyên nhân gốc rễ . Dấu chấm phẩy (như những người khác đã chỉ ra) được kế thừa từ C. Nhưng điều đó không giải thích tại sao C sử dụng nó ngay từ đầu. Cuộc thảo luận này bao gồm một ví dụ:

struct fred { int x; long y; }; 
main() 
{ 
  return 0; 
} 

Các phiên bản cũ hơn của C có kiểu trả về int ngầm định từ một hàm trừ khi được khai báo khác. Nếu chúng ta bỏ qua phần ;cuối của định nghĩa cấu trúc, chúng ta không chỉ định nghĩa một kiểu mới fredmà còn khai báo rằng main()sẽ trả về một thể hiện của fred. Tức là mã sẽ được phân tích cú pháp như thế này:

struct fred { int x; long y; } main()
{ 
  return 0; /* invalid return type, expected fred type */
} 

Tôi đoán đó là bởi vì các lớp là khai báo, ngay cả khi chúng cần dấu ngoặc nhọn để nhóm. Và có, có một lập luận lịch sử rằng kể từ trong C, bạn có thể làm

struct
{
  float x;
  float y;
} point;

bạn sẽ có thể làm điều tương tự trong C ++, điều đó có ý nghĩa khi classkhai báo hoạt động theo cùng một cách.

Nó viết tắt của

class MyClass
{
.
.
.
};

// instance declaration
MyClass MyInstance;  // semicolon here

Dấu chấm phẩy sau dấu ngoặc nhọn của khai báo lớp thực sự là quá mức cần thiết, nhưng đó là cách C ++ được định nghĩa. Dấu chấm phẩy sau phần khai báo biến luôn cần thiết và có ý nghĩa.

Tôi không sử dụng các khai báo như vậy

class MyClass
{
.
.
.
} MyInstance;

Nhưng trong trường hợp này tôi có thể hiểu tại sao lại có dấu chấm phẩy ở đó.
Vì nó giống như int a;- khai báo biến.

Có thể là để nhất quán vì bạn có thể bỏ qua dấu chấm phẩy 'MyInstance' vẫn ở đó.

Nó là cần thiết sau một structvì lý do tương thích và bạn muốn điều này như thế nào:

struct MyStruct { ... };
class  MyClass  { ... }    //inconsistency

Trong C / C ++ các; là một kết thúc câu lệnh. Tất cả các câu lệnh được kết thúc bằng; để tránh sự mơ hồ (và để đơn giản hóa việc phân tích cú pháp). Ngữ pháp nhất quán về mặt này. Mặc dù một khai báo lớp (hoặc bất kỳ khối nào cho vấn đề đó) dài nhiều dòng và được phân tách bằng {} thì nó vẫn chỉ đơn giản là một câu lệnh ({} là một phần của câu lệnh) do đó cần được kết thúc bằng; (Dấu; không phải là dấu phân tách / dấu phân cách)

Trong ví dụ của bạn

class MyClass{...} MyInstance;

là câu hoàn chỉnh. Người ta có thể xác định nhiều trường hợp của lớp đã khai báo trong một câu lệnh duy nhất

class MyClass{...} MyInstance1, MyInstance2;

Điều này hoàn toàn phù hợp với việc khai báo nhiều trường hợp của kiểu nguyên thủy trong một câu lệnh:

int a, b, c;

Lý do mà người ta không thường xuyên thấy các mô tả như vậy về lớp và cá thể, là trường hợp có thể? là một biến toàn cục và bạn không thực sự muốn các đối tượng toàn cục trừ khi chúng là cấu trúc tĩnh và / hoặc cấu trúc Dữ liệu cũ thuần túy.