АР
т.е. в некоторых сценариях бесполезная штука (
Size: a a a
2020 October 03
АР
Ну если паковать в expected value or error, то функция возвращающая expected может быть noexcept если конструктор expected noexcept.
и?
DS
Чтобы вернуть ошибку надо сконструировать ошибку, а почти все исключения бросают в конструкторе, там где строку выделяют под сообщение.
АР
там вроде заранее выделенный буфер
АР
а, не, там сам объект исключения в случае throw выделяется в этом буфере
АР
текст да, надо выделять
АР
я кстати слабо представляю как можно обрабатывать OOM даже на ОС, которая не будет прибивать 9-кой.
АР
тебе получается надо обрабатывать каждое аллоцирующее место в коде, но при этом ты не можешь выделять память на обработку исключения
АР
интересно, а реально реализовать в компиляторе заблаговременное выделение памяти, которая потребуется для обработки bad_alloc?
DS
Ну вот error_code получается такой более менее универсальный вариант для noexcept expected. С ограничениями конечно касательно информативности.
DS
Кстати, относительно строк давно заметил, не хватает какого-то literal_view с гарантированным static storage duration. Очень удобно для всяких перегрузок понимать что память можно не выделять. Использую такой самодельный, очень удобно, типа req.headers.add(header::content_type, "application/json"_lv)
DS
А можно ли отключить "small size optimization" для std::function на примере clang / gcc? Или это вшито в их ДНК?
DF
мне кажется да, там лендинг пада не будет. Но попробуйте на годболте
DF
оверхед же не при вызове а при выбросе/отлове
AT
Кстати, относительно строк давно заметил, не хватает какого-то literal_view с гарантированным static storage duration. Очень удобно для всяких перегрузок понимать что память можно не выделять. Использую такой самодельный, очень удобно, типа req.headers.add(header::content_type, "application/json"_lv)
А
string_view над строковым литералом разве не обладает нужными свойствами? Типа "hello"_sv, вроде живёт вечно и сохраняет семантику строки.DF
Так принимающая процедура не знает сколько он живёт по типу
DF
Можно ньютайп сделать в принципе
ПК
Кстати, относительно строк давно заметил, не хватает какого-то literal_view с гарантированным static storage duration. Очень удобно для всяких перегрузок понимать что память можно не выделять. Использую такой самодельный, очень удобно, типа req.headers.add(header::content_type, "application/json"_lv)
Ага, а если надо динамически строку создать?
DS
Ага, а если надо динамически строку создать?
Разное поведение для foo("aaa"sv) и foo("aaa"_lv). Внутри может быть sv + флаг какой-нибудь. Или sv + арена.