Co to za szalona składnia C++11 = = > struct: bar {} foo {};?

Najpierw weźmiemy Bog-standard abstract UDT (typ zdefiniowany przez Użytkownika):

struct foo { virtual void f() = 0; }; // normal abstract type
foo obj;
// error: cannot declare variable 'obj' to be of abstract type 'foo'

Przypomnijmy również, że możemy utworzyć instancję UDT w tym samym czasie, w którym ją zdefiniujemy:

struct foo { foo() { cout << "!"; } };          // just a definition

struct foo { foo() { cout << "!"; } } instance; // so much more
// Output: "!"

Połączmy przykłady i Przypomnijmy, że możemy zdefiniować UDT, który ma bez nazwy :

struct { virtual void f() = 0; } instance; // unnamed abstract type
// error: cannot declare variable 'instance' to be of abstract type '<anonymous struct>'

Nie potrzebujemy już dowodu o anonimowym UDT, więc możemy stracić czystą funkcję wirtualną. Również zmiana nazwy instance na foo, zostaje nam:

struct {} foo;

Getting blisko.

struct bar {};       // base UDT
struct : bar {} foo; // anonymous derived UDT, and instance thereof

Wreszcie, C++11 wprowadza rozszerzone inicjalizatory, takie, że możemy robić mylące rzeczy takie jak:

int x{0};

I to:

int x{};

I wreszcie to:

struct : bar {} foo {};

Jest to nienazwana struktura pochodząca z paska, utworzona jako foo z pustym inicjalizatorem.