Зачем Безразлично»t C ++ позволяет создавать контейнеры неполных типов?

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

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

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