Подскажите плз, в книжках умных пишут : Поскольку класс не считается

определенным, пока не закончилось его тело, то в нем не может быть данных-членов его собственного типа. (Цитата из http://mycpp.ru/cpp/book/c13.html)
тем не менее, студия и gcc спокойно принимают вот такое :
Или в книжках не о том пишут или что-то поменялось в стандартах?

В контейнерах объекты содержатся реально по указателям (не смотря на то, что хранятся всегда как значения), поэтому такое допустимо. Нельзя было бы class Node { int val; Node next; }

тем не менее, unordered_map такого не терпит..

Ну, значит там требуется полное определение хранимого типа

Студия и clang пропускают вариант и с unordered_map. То есть, это от имплементации контейнеров в каждом компиляторе зависит - но не от стандарта?

класс считается объявленным в момент, когда его название дописано. то есть если у вас есть родительские шаблонные классы, то вы можете им в шаблонных параметрах себя передать даже (CRTP) соответственно, внутри класса его можно использовать как forward-declared тип

Какое это имеет отношение к вопросу?)

+1

Ну, посмотри требования к классу в описании контейнера, cppreference.com

ну вот что-то ничего по поводу complete - incomlete type for value не нахожу ((

Если В контейнерах объекты содержатся реально по указателям - то для unordered_map должно быть по барабану же, оператор == (нужный для поиска в баскетах) для указателей в С++ определен же? не важно, что сравнивать черти как будет, но компилироваться то должно?

ну так value_type у тебя в unordered_map -> pair<const Key, Node>

а в std::map ? то же самое. Но с мапой работает. а с анордеред - нет.

значит баг в libstdc++ :) ибо кланг с libc++ и visual c++ это нормально прожевывают

а вроде я не об этом писал выше что они нормально отрабатывают (((

ну пропустил, бывает

https://quuxplusone.github.io/blog/2020/02/05/vector-is-copyable-except-when-its-not/ Внизу табличка с требованиями на completeness типа в зависимости от контейнера и реализации

Давай переведем этот вопрос твой в практическую плоскость... Зачем тебе это? Потому что если тебе это реально надо, то это можно сделать.

Ну и тут заодно написано, почему поддержка incomplete типов "не бесплатна"

Нет, спасибо. Вопрос исключительно "академический" (ну если к нубу типа меня применимо это слово)).

http://eel.is/c++draft/library#res.on.functions-2.5 но list, forward_list и vector работают с неполными типами, если аллокатор для них является полным типом. std::allocator всегда полный вне зависимости от полноты переданного типа

Считай что для хранения в любом контейнере надо иметь полностью определенный тип.

Да, за ОДвайра - спасибо огромное)

Угу, так и буду делать, нафиг экспириенсы)

Спасибо.