VS
Size: a a a
2020 July 09
AB
Грепать стандарт целиком я не умею
AB
Вижу только инвалидацию ссылок в контексте реаллокации вектора
VS
Вижу только инвалидацию ссылок в контексте реаллокации вектора
http://eel.is/c++draft/forwardlist.modifiers#1
вот еще, например
вот еще, например
AB
Вне контейнеров не видел в общем
VS
Вне контейнеров не видел в общем
если по разделам стандарта, то еще в итераторах и numerics есть (там спецификация valarray)
AB
То тоже контейнер по сути
ПК
но moved out состояние Foo таково, что foo вызывать нельзя
Если любой объект Foo должен уметь правильно делать foo, то нет, не валидное состояние
АР
Если любой объект Foo должен уметь правильно делать foo, то нет, не валидное состояние
ну так кто решает любой ли объект Foo должен уметь foo?
АР
уж точно не стандарт
ПК
уж точно не стандарт
Автор Foo
ПК
Путём определения (явных или неявных) контрактов
ПК
Например в доке может написать
ПК
Или мысленно проговорить
АР
ну то есть гарантия стандарта зависит от того, что я там себе мысленно проговорил? ))
D
Вижу только инвалидацию ссылок в контексте реаллокации вектора
Можно ли считать, что во всех случаях, когда инвалидируются указатели, ссылки тоже будут сломаны?
D
кто-нибудь знает определение (in)valid reference или to invalidate a reference и набор допустимых операций над такой ссылкой?
итераторы, указатели и ссылки это типичная троица, когда речь заходит об инвалидации, но я смог найти лишь про итераторы и указатели
http://eel.is/c++draft/iterators#iterator.requirements.general-15
http://eel.is/c++draft/basic.stc#4 (хотя сноска в стандарта гласит, что можно брать определение невалидного итератора)
итераторы, указатели и ссылки это типичная троица, когда речь заходит об инвалидации, но я смог найти лишь про итераторы и указатели
http://eel.is/c++draft/iterators#iterator.requirements.general-15
http://eel.is/c++draft/basic.stc#4 (хотя сноска в стандарта гласит, что можно брать определение невалидного итератора)
Тогда я не понимаю вопроса выше
DS
Ну может кстати и полезно было бы для контейнеров типа string/vector определить как ведёт себя move в плане освобождения памяти. Например что то вроде move эквивалентен для moved-out swap+clear, без shrink_to_fit.
VS
Тогда я не понимаю вопроса выше
если вы прочитаете дальше, то увидите, что я хочу ссылок на стандарт