Телеграмм чат группы ProCxx страница 15520

Casual tears

А как определяется "сразу"? Насколько мне известно в атомиках всё держится на "happens before".

И на rmw операциях
https://eel.is/c++draft/intro.multithread#intro.races-5 - только для rmw

16:10пожаловаться #1

AP

Я.Субботник по бэкенду: архитектура, ClickHouse и С++

BTW, пока тут готовился к митапу, почувствовал острую необходимость иметь в стандарте C++ container::iterator_to(T& reference_to_an_element_in_container), как это сделано в Boost.Intrusive

Кому-то (кроме меня) будет полезен такой метод?

Приглашаем C++ разработчиков, специалистов, которые работают с данными, а также тех, кто интересуется архитектурой и CI вокруг промышленных проектов. Будет четыре доклада: двое спикеров подключатся к нам из Москвы, двое — из Новосибирска.

Я.Субботник по бэкенду пройдёт в онлайн-формате. Начало в 10:00 по Москве и в 14:00 по Новосибирску. Зарегистрируйтесь, и мы напомним вам о трансляции.

16:16пожаловаться #2

CD

Я.Субботник по бэкенду: архитектура, ClickHouse и С++

BTW, пока тут готовился к митапу, почувствовал острую необходимость иметь в стандарте C++ container::iterator_to(T& reference_to_an_element_in_container), как это сделано в Boost.Intrusive

Кому-то (кроме меня) будет полезен такой метод?

Приглашаем C++ разработчиков, специалистов, которые работают с данными, а также тех, кто интересуется архитектурой и CI вокруг промышленных проектов. Будет четыре доклада: двое спикеров подключатся к нам из Москвы, двое — из Новосибирска.

Я.Субботник по бэкенду пройдёт в онлайн-формате. Начало в 10:00 по Москве и в 14:00 по Новосибирску. Зарегистрируйтесь, и мы напомним вам о трансляции.

А зачем?

16:16пожаловаться #3

CD

Ссылка просто более слабая форма гарантий, чем итератор, зачем их отождествлять?

16:16пожаловаться #4

AP

Чтобы имея ссылку на значение из контейнера, за O(1) получать итератор

Ну и итераторы инвалидируются, даже если указатели на элементы - нет (например у всех unordered_* контейнеров так)

16:18пожаловаться #5

CD

Чтобы имея ссылку на значение из контейнера, за O(1) получать итератор

Ну и итераторы инвалидируются, даже если указатели на элементы - нет (например у всех unordered_* контейнеров так)

А с другой стороны - эта операция корректна в достаточно узких условиях (скажем, некорректна для дебажного вектора, который должен диапазоны итераторов проверять)

16:19пожаловаться #6

CD

Возможно, если unordered_* может такое преобразование выполнить, это просто неправильная гарантия итератора?

Побитый Кирпич... in pro.cxx

16:19пожаловаться #7

ПК

Чтобы имея ссылку на значение из контейнера, за O(1) получать итератор

Ну и итераторы инвалидируются, даже если указатели на элементы - нет (например у всех unordered_* контейнеров так)

Что то не пойму как получить за O(1), если это не вектор и не хэш таблица.

16:20пожаловаться #8

CD

Побитый Кирпич

Что то не пойму как получить за O(1), если это не вектор и не хэш таблица.

Все могут при определенных шаманствах (деке, правда, alignment аллока нужен будет)

16:20пожаловаться #9

AP

Constantine Drozdov

Все могут при определенных шаманствах (деке, правда, alignment аллока нужен будет)

Да, с deque, кажется что получится только за линейное время (но быстрее чем через std::find)

16:24пожаловаться #10

CD

Да, с deque, кажется что получится только за линейное время (но быстрее чем через std::find)

Чуть лучше, если сделать специальный - можно либо aligned alloc на блок использовать, либо заголовки элементам вписать

16:24пожаловаться #11

CD

Чтобы имея ссылку на значение из контейнера, за O(1) получать итератор

Ну и итераторы инвалидируются, даже если указатели на элементы - нет (например у всех unordered_* контейнеров так)

Возможно, это специальная операция для случая "итераторы инвалидируются, даже если указатели на элементы - нет"?

16:25пожаловаться #12

CD

И нужно ввести новую форму итераторов - неинвалидируемые?

16:25пожаловаться #13

V

Vyacheslav in pro.cxx

Чтобы имея ссылку на значение из контейнера, за O(1) получать итератор

Ну и итераторы инвалидируются, даже если указатели на элементы - нет (например у всех unordered_* контейнеров так)

Так элементы в таких контейнерах могут муваться (но там они списком хранятся). Как потом ключ восстанавливать, если не ясно, куда элемент ушёл? Там как раз для этого тип node завели

16:27пожаловаться #14

V

Vyacheslav in pro.cxx

Ну и если нужен итератор, а он инвалидируется - это намёк на то, что для решения задачи выбран не лучший контейнер

16:28пожаловаться #15

AP

ну да, предусловие - ссылка валидная

Понадобилось мне для кейса, где в value для unordered_map лежит нода intrusive list. Нужно было из intrusive list получить ноду, и из ноды - итератор на это значение в мапе

так вот, итератор можно было получить только через find, а это дорого (надо хешировать ключ и искать в мапе)

16:29пожаловаться #16

AP

* так что итератор там не сохраняется в принципе, есть только ссылка на значение, и то получается она вычислениями

Андрей Руссков... in pro.cxx

16:30пожаловаться #17

АР

хм. А реально добавить методы вида std::map::iterator_from_value(const Val& value); ?