Здравствуйте, wander, Вы писали:

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

МР>>Функции? Но функции имеют бинарное представление.

W>Да, но функции не объекты.

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