Что это за сумасшедший синтаксис C ++ 11 ==> struct: bar {} foo {} ;?

Что это может означать в C ++ 11?

struct : bar {} foo {};

Сначала мы возьмем стандартный болотный абстрактный UDT (определяемый пользователем тип):

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

Давайте также вспомним, что мы можем создать экземпляр UDT одновременно с тем, как мы его определяем:

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

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

Давайте объединим примеры и напомним, что мы можем определить UDT без имени :

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

Нам больше не нужны доказательства анонимного UDT, поэтому мы можем потерять чисто виртуальную функцию. Также переименовывая instanceв foo, мы остаемся с:

struct {} foo;

Приближаться.

Теперь, что если этот анонимный UDT возникнет из некоторой базы?

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

Наконец, C ++ 11 представляет расширенные инициализаторы , так что мы можем делать такие вещи, как это:

int x{0};

И это:

int x{};

И, наконец, это:

struct : bar {} foo {};

Это безымянная структура, полученная из bar, которая создается как foo с пустым инициализатором.

Это определяет:

• анонимная структура,
• который публично получен из bar
• which ( anonymously) определяет не что иное, как то, из чего оно полученоbar
• и, наконец, создается экземпляр, называемый "foo",
• с пустым списком инициализатора

struct : bar {} foo {};