атривать

struct base {};
struct child : base {};

Хорошо известно, чтоsizeof(child) может быть 1 путем примененияоптимизация пустой базы.

Теперь, однако, рассмотрим

struct base {};
struct child : base {base b;};

Может ли компилятор применить пустую базовую оптимизацию сейчас или долженsizeof(child) быть хотя бы 2?

Ссылка:http://en.cppreference.com/w/cpp/language/ebo