CD
Не очень понимаю, почему для полиморфных?
Ну вот заметь, что Value : Node не обязан быть мономорфным
Size: a a a
2021 February 08
DS
Ну вот заметь, что Value : Node не обязан быть мономорфным
Ну это ж для интрузивных только, при чём тут std?
CD
Ну это ж для интрузивных только, при чём тут std?
Ну так у тебя будет интрузивная обёртка в любом случае. Или не сойдётся? Хм.
DS
Ну так у тебя будет интрузивная обёртка в любом случае. Или не сойдётся? Хм.
В std будет агрегат Node { Value value; }. Без интрузивности.
CD
В std будет агрегат Node { Value value; }. Без интрузивности.
А структуру где хранить?
CD
Я что-то не вижу пути, кроме вышеуказанного. Что я понял, так это что надо будет делать что-то вроде
template <typename T>
struct value : node {
alignas(std::max_align_t) T value;
};
MK
И тут вопрос на засыпку. Как отличить лист от узла если структура - указатель на один из них.
DS
Я что-то не вижу пути, кроме вышеуказанного. Что я понял, так это что надо будет делать что-то вроде
template <typename T>
struct value : node {
alignas(std::max_align_t) T value;
};
Ну да, как то так. А зачем alignas?
CD
Ну да, как то так. А зачем alignas?
Ну вроде бы без этого нельзя перекастовать struct { Derived } в struct { Base }
CD
А с этим можно, только незаконно :)
CD
Хм... или это не важно? Вроде важно
D
Ну вроде бы без этого нельзя перекастовать struct { Derived } в struct { Base }
max_align_tОпасно выглядит
DS
Ну вроде бы без этого нельзя перекастовать struct { Derived } в struct { Base }
А и не требуется нигде. Итератор держит указатель на node и каст в value_node всегда валиден если это не end который чистый node. А для end разыменование ub.
CD
А и не требуется нигде. Итератор держит указатель на node и каст в value_node всегда валиден если это не end который чистый node. А для end разыменование ub.
Это в мономорфной версии, а в полиморфной тебе нужен какой-то более лучший аналог структуры в конце которой хранилище для value, и может не пойти
CD
С оверхедом вроде бы просто
struct node { node*; node*; };
struct value_base : node { Base &; //локальная };
template <typename Derived> struct polymorphic : value_base { Derived value; polymorphic() : value_base(value) {} };DS
Это в мономорфной версии, а в полиморфной тебе нужен какой-то более лучший аналог структуры в конце которой хранилище для value, и может не пойти
Полиморфная версия это типа list<any> или list<variant>? Не понимаю пока как использовать.
CD
Полиморфная версия это типа list<any> или list<variant>? Не понимаю пока как использовать.
list<any_child_of<Base>>
DS
list<any_child_of<Base>>
Тут сложности будут с аллокатором ибо их тьма.
CD
Тут сложности будут с аллокатором ибо их тьма.
Так там и так rebind, причем обязательный