Почему контейнеры C++ не допускают неполных типов?

Question

Почему не позволяет C++ допускать создание экземпляров неполных типов?

Это, безусловно, Возможно,, чтобы написать контейнеры, которые не имеют этого ограничения - boost::container вполне способен это сделать. Насколько я вижу, он, похоже, не дает какого-либо повышения производительности или другого типа, но стандарт объявляет его неопределенным поведением.

Это делает, например, предотвращает создание рекурсивных структур данных.

Почему тогда стандарт C++ налагает это произвольное ограничение? Что было бы недостатком в том, чтобы разрешать неполные типы в качестве параметров шаблона, где это возможно?

Answer 1

Мэтт Austern, председатель библиотечной рабочей группы C++ комитета по стандартизации, в мотивировал это решение комитета в Его Dr. Dobb's article по историческим причинам:

Мы обнаружили, с большим количеством испытаний, что даже [просто] пример не работал с каждой реализацией STL. В конце концов, все это казалось слишком мутным и слишком плохо понимаемым; комитет по стандартизации не думал, что есть какой-либо выбор, кроме как сказать, что контейнеры STL не должны работать с неполными типами. Для хорошей меры мы применили этот запрет и для остальных стандартных библиотек.

Мое понимание этого состоит в том, что комитет не хотел аннулировать существующие реализации библиотеки, требуя от них поддержки неполных типов ретроактивно.

В той же статье он признает, что

В следующей версии C++, это может иметь смысл, чтобы ослабить ограничения на инстанцирование стандартных шаблонов библиотек с неполными типами.

Учитывая, что статья восходит к 2002 году, а также запрет остается на месте в текущем стандарте, я думаю, что решение дизайнеров наддува не ждать в будущем и строить свои собственные контейнеры, которые позволяют неполные типы был полностью оправдан.