p
[p1999]
P1999R0: Process proposal: double-check evolutionary material via a Tentatively Ready status (by Ville Voutilainen) (2019-11-25) (Related: GitHub issue)
Size: a a a
2020 September 04
AZ
{p1999}
p
{p1999}
P1999R0: Process proposal: double-check evolutionary material via a Tentatively Ready status (by Ville Voutilainen) (2019-11-25) (Related: GitHub issue)
AZ
а я прочитал :)
AZ
Спасибо. Раньше он вроде по-другому работал.
да, совершенно верно - раньше было иначе. Теперь он приближен отчасти к слаковскому npaperbot, если кто имеет с ним опыт работы
AL
Оо
DS
Неа
Я посправшивал в комитете, как им такое, люди предложили
* убрать UB
* втащить Boots.Intrusive
* добавить iterator_to
но восторга не по поводу идеи испытали)
Я посправшивал в комитете, как им такое, люди предложили
* убрать UB
* втащить Boots.Intrusive
* добавить iterator_to
но восторга не по поводу идеи испытали)
А убрать UB это легализовать что-то вроде линуксового container_of в дополнение к offsetof?
CD
А убрать UB это легализовать что-то вроде линуксового container_of в дополнение к offsetof?
Надо уже расчехлять декомпозиции наследования? Это очень похоже на static_cast от Base& к Derived&, только не надо виртуальные таблицы перекрывать :)
DS
Надо уже расчехлять декомпозиции наследования? Это очень похоже на static_cast от Base& к Derived&, только не надо виртуальные таблицы перекрывать :)
Не, тут не обойтись наследованием, в случае Антона например я так понял это не через value_type а через mapped_type получение node_type, т.е. по ссылке на second надо получить pair а потом уже можно и cast к derived если node_type наследует pair.
CD
Не, тут не обойтись наследованием, в случае Антона например я так понял это не через value_type а через mapped_type получение node_type, т.е. по ссылке на second надо получить pair а потом уже можно и cast к derived если node_type наследует pair.
так если struct Pair: T1, T2 то можно кастовать T2& к Pair& через static_cast
CD
Base к Derived, не наоборот, обратный каст
DS
так если struct Pair: T1, T2 то можно кастовать T2& к Pair& через static_cast
Но value_type это же std::pair, а там не наследование.
CD
Но value_type это же std::pair, а там не наследование.
Ну значит автор считает, что так кастовать нельзя :)
CD
Весь прикол истории про декомпозированное наследование в том, что компилятор делает N действий при наследовании, перекрытие vtbl требует предыдущих действий, но при этом от него ничего не зависит и его можно убрать
CD
И окажется, что существует ровно такая же иерархия агрегации - в частности, с разрешенными кастами в две стороны и в одну сторону (virtual)
CD
Но value_type это же std::pair, а там не наследование.
И если смотреть с этой стороны, pair описан как класс с двумя виртуальными агрегатами, так что каст назад невозможен. Что касты вниз явные и еще именованы first/second не играет роли
DS
И если смотреть с этой стороны, pair описан как класс с двумя виртуальными агрегатами, так что каст назад невозможен. Что касты вниз явные и еще именованы first/second не играет роли
Да вроде как проблем нет если есть явный адрес second_type, неважно виртуальный он или нет. Это ж конечный объект. Т.е. не понимаю, как в этом случае может поломаться тот же container_of.
CD
Да вроде как проблем нет если есть явный адрес second_type, неважно виртуальный он или нет. Это ж конечный объект. Т.е. не понимаю, как в этом случае может поломаться тот же container_of.
Номинально по стандарту поломаться, offsetof и тот определен в районе си-совместимости