Здравствуйте, Максим Рогожин, Вы писали:

W>>Еще пример: имеет тип, но не имеет бинарного представления — тип void.
МР>Верно подмечено. У типа void еще и объектов этого типа нету. Получается что в C++ для типа не являются обязательными:
МР>- наличие объектов данного типа
МР>- наличие бинарного представления у объектов (переменных) данного типа

Ну да. C++ статически типизированный язык, это значит, что его система типов существует в основном на этапе компиляции.
А на этапе компиляции совсем не нужны объекты для игры с типами. Поэтому мы можем позволить себе такие типы как void, любые неполные типы,
всяческие массивы неизвестного размера, ссылки-не-объекты без конкретного двоичного представления и т.п.