Точка и запетая след скоби за декларация на клас

Точката и запетая след затварящата скоба в декларация на тип се изисква от езика. Така е от най-ранните версии на C.

И да, хората наистина правят декларацията, която току-що поставихте там. Полезно е за създаване на типове с обхват вътре в методите.

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

  struct ADifferentType { int x; };
}

В този случай мисля, че е ясно защо са необходими точки и запетая. Що се отнася до това защо е необходимо в по-общия случай на деклариране в заглавния файл, не съм сигурен. Моето предположение е, че е историческо и е направено, за да улесни писането на компилатора.

връзката, предоставена от @MichaelHaren, изглежда предоставя първопричината. Точката и запетая (както посочиха други) е наследена от C. Но това не обяснява защо C я е използвал на първо място. Дискусията включва този бисер от пример:

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

По-старите версии на C имаха имплицитен int тип връщане от функция, освен ако не е декларирано друго. Ако пропуснем ; в края на дефиницията на структурата, ние не само дефинираме нов тип fred, но и декларираме, че main() ще върне екземпляр на fred. т.е. кодът ще бъде анализиран така:

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

Предполагам, че е така, защото класовете са декларации, дори когато се нуждаят от скоби за групиране. И да, има исторически аргумент, че тъй като в C можете да направите

struct
{
  float x;
  float y;
} point;

трябва в C++ да можете да правите подобно нещо, има смисъл декларацията class да се държи по същия начин.

Това е съкращение от

class MyClass
{
.
.
.
};

// instance declaration
MyClass MyInstance;  // semicolon here

Точката и запетая след фигурните скоби на декларацията на класа всъщност е излишна, но C++ е дефиниран така. Точката и запетая след декларацията на променливата винаги е необходима и има смисъл.

Необходимо е след struct от съображения за съвместимост и как бихте искали това:

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

В C/C++ ; е терминатор на изявление. Всички изрази завършват с ; за да се избегне двусмислие (и да се опрости анализирането). Граматиката е последователна в това отношение. Въпреки че декларацията на клас (или който и да е блок за този въпрос) е дълга няколко реда и е ограничена с {}, тя все още е просто изявление ({ } е част от изявлението), следователно трябва да бъде прекратено с ; (; не е разделител/разделител)

В твоя пример

class MyClass{...} MyInstance;

е пълното изявление. Човек може да дефинира множество екземпляри на декларирания клас в един израз

class MyClass{...} MyInstance1, MyInstance2;

Това е напълно съвместимо с декларирането на множество екземпляри на примитивен тип в един израз:

int a, b, c;

Причината, поради която човек не вижда често такава декларация на клас и екземпляр, е, че екземплярът може „само? бъде глобална променлива и не искате често глобални обекти, освен ако не са статични и/или обикновени стари структури от данни.