Базовая мысль в том, что list<any_child_of<Base>> это почти не пессимизация для абсолютно той же структуры хранения. Скажем, логично ожидать alignof(max_align_t) в 16, а для двусвязного списка шапка это 2*sizeof(node*) те же 16
Не, не всё так просто. Я ж говорю, в общем случае он statefull. Он инициализируется через конструктор. Rebind даёт тип, но нельзя создавать инстанс на каждую аллокацию.
Не, не всё так просто. Я ж говорю, в общем случае он statefull. Он инициализируется через конструктор. Rebind даёт тип, но нельзя создавать инстанс на каждую аллокацию.