m
так у тебя find вернет end()
Да,
lower_bound нет для unordered.(Size: a a a
2020 September 21
АР
короче по мне так реально сделать emplace так, чтобы он не требовал создания ValueType в случае провала
АР
единственный нюанс - там будут грабли с формальным UB )
АР
что в прочем не должно останавливать поставщиков стдлибы, как минимум для собственных компиляторов
m
короче по мне так реально сделать emplace так, чтобы он не требовал создания ValueType в случае провала
Это приведет к требованию movable на Key. Или двойному конструированию.
АР
например в std::map всё равно есть этот замечательный ub
АР
когда value_type это pair<cost Key, Value>, но при этом константность Key должна теряться при extract
АР
Это приведет к требованию movable на Key. Или двойному конструированию.
нет никакого требования
АР
ты выделил блок памяти под ноду, в ноде есть место под Key и Value. Проинициализировал в ноде Key, попытался вставить в контейнер, если вставка удалась - проинициализировал Value
АР
собственно std::optional так и работает, только там получается будет не совсем нужный флаг инициализированности
m
ты выделил блок памяти под ноду, в ноде есть место под Key и Value. Проинициализировал в ноде Key, попытался вставить в контейнер, если вставка удалась - проинициализировал Value
Да, наверное, это будет работать. Ноду вроде можно безопасно удалить при ошибке во время инициализации value части.
АР
Что забавно - если для ассоциативных контейнеров iterator::operator* будет возвращать не pair<const Key, Value>&, а pair<const Key&, Value&>, то все UB можно было бы обойти
АР
а не, это бы сломало захват по mutable ссылке, а-ля
auto& p = *it;D
Что забавно - если для ассоциативных контейнеров iterator::operator* будет возвращать не pair<const Key, Value>&, а pair<const Key&, Value&>, то все UB можно было бы обойти
Меняем ключи в дереве и наслаждаемся происходящим?)
АР
const то не пропал, я не настолько дурак чтобы предлагать ломать транзитивность )
D
const то не пропал, я не настолько дурак чтобы предлагать ломать транзитивность )
Что-то я смотрю в книгу, вижу...
АР
не, ты ключ конструируешь прям в ноде
АР
там с исключением может быть только одна беда - деструктор ноды должен понимать вызывать ли деструктор для Value