Здравствуйте, Аноним, Вы писали:

А>А что мешает сделать размер всех типов указателей равным максимально возможному? Соображения оптимизации?

Нет. Концептуальная разница между объектом и членом объекта.