В стандарте указано, что все наиболее производные объекты имеют sizeof ()> = 1:
Если это не бит-поле (class.bit), то наиболее производный объект должен иметь -zero и занимает один или несколько байтов памяти. Субъекты базового класса могут иметь нулевой размер. ISO / IEC FDIS 14882: 1998 (E) intro.object
blockquote>