A
а в чем отличие от string? :)
в том, что ей нельзя передать аллокатор?)
Size: a a a
2020 June 03
AB
в том, что ей нельзя передать аллокатор?)
Што
АК
в том, что ей нельзя передать аллокатор?)
можно, конечно
A
можно, конечно
Хм, не знал
АК
Что-то с инвалидацией итераторов
именно
A
На всякий случай уточню, что
monotonic_buffer_resource ничего не выделяет, а использует memory_resource. И я не понимаю зачем он здесь вообще.А судя по cppref, может как принимать внешний буфер, так и создавать свой, конструктор номер 3 https://en.cppreference.com/w/cpp/memory/monotonic_buffer_resource/monotonic_buffer_resource
AT
именно
А можно поподробнее?
АК
А можно поподробнее?
std::vector<T> v;
auto it = v.begin();
auto moved_v = std::move(v);
assert(it == moved_v.begin()); // will fire with SOO
m
А судя по cppref, может как принимать внешний буфер, так и создавать свой, конструктор номер 3 https://en.cppreference.com/w/cpp/memory/monotonic_buffer_resource/monotonic_buffer_resource
По-моему вы натягиваете сову на глобус.
monotonic_buffer_resource предназначен для совсем других целей.АК
std::vector<T> v;
auto it = v.begin();
auto moved_v = std::move(v);
assert(it == moved_v.begin()); // will fire with SOO
стандарт говорит, что при муве вектора итераторы не могут инвалидироваться.
реализация Small Object Optimization нарушает это правило
реализация Small Object Optimization нарушает это правило
АК
а в строке реализовано SSO, так как там нет таких гарантий
A
По-моему вы натягиваете сову на глобус.
monotonic_buffer_resource предназначен для совсем других целей.Для каких?
Я вдохновляюсь этим примером: https://www.youtube.com/watch?v=q6A7cKFXjY0
Я вдохновляюсь этим примером: https://www.youtube.com/watch?v=q6A7cKFXjY0
AT
стандарт говорит, что при муве вектора итераторы не могут инвалидироваться.
реализация Small Object Optimization нарушает это правило
реализация Small Object Optimization нарушает это правило
Действительно...
http://eel.is/c++draft/container.requirements.general#12
http://eel.is/c++draft/container.requirements.general#12
АК
стандарт говорит, что при муве вектора итераторы не могут инвалидироваться.
реализация Small Object Optimization нарушает это правило
реализация Small Object Optimization нарушает это правило
vector( vector&& other ) noexcept;After container move construction (overload (7)), references, pointers, and iterators (other than the end iterator) to other remain valid, but refer to elements that are now in *this
basic_string( basic_string&& other ) noexcept;< комментария нет >
CD
std::vector<T> v;
auto it = v.begin();
auto moved_v = std::move(v);
assert(it == moved_v.begin()); // will fire with SOO
Нет, а вот с указателями беда
CD
То есть можно придумать настолько извращенский итератор, что это сработает при SOO
m
Для каких?
Я вдохновляюсь этим примером: https://www.youtube.com/watch?v=q6A7cKFXjY0
Я вдохновляюсь этим примером: https://www.youtube.com/watch?v=q6A7cKFXjY0
Это практически полный аналог отключения gc. Мы выделяем кусок памяти, каждое выделение через аллокатор просто увеличивает указатель. Освобождение не делает вообще ничего. Когда операция завершилась освобождаем весь кусок памяти. Это работает очень быстро, но ценой увеличенного расхода памяти.