Ты передаёшь ему аргументом свой тип, T.

Впрочем, всё равно странно.

странно что emplace_back на вектор при этом работает, то есть формально требования выполнены

https://godbolt.org/g/7K7ZH7 почему данный пример требует copy assign для A? Если посмотреть на c++ reference https://en.cppreference.com/w/cpp/container/vector/insert то требуется только emplace constructable или я что-то не понимаю?

в VC++ компилится, если будет оператор перемещения

gcc8.1 не компилит https://godbolt.org/g/J7cgbV

clang 6 тоже

да, уже проверил, что странно

не знаю даже где спросить, на реддите?

На реддите вспомнят про правило пяти.

Правило то понятно, непонятно почему функция требует ?

А вот в этом месте b(a.begin(), a.end()); initializer list не создается?

не знаю даже где спросить, на реддите?

В ирке можешь попробовать спросить, прям на каналах компиляторов

В ирке можешь попробовать спросить, прям на каналах компиляторов

беда, а нет посовременнее каналов связи?

беда, а нет посовременнее каналов связи?

у вас там в 3k20 что-то лучше изобрели?

еще небось и мейлинг листов нет?

В 40к все через псайкеров обшаются.

у вас там в 3k20 что-то лучше изобрели?

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

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

а придется)

Видимо да

в данном случае берется перегрузка 4

> This overload only participates in overload resolution if InputIt qualifies as InputIterator, to avoid ambiguity with the overload (3).

> T must meet the requirements of MoveAssignable and MoveInsertable in order to use overload (4). required only if InputIt satisfies InputIterator but not ForwardIterator. (until C++17)

> T must meet the requirements of MoveAssignable and MoveInsertable in order to use overload (4). required only if InputIt satisfies InputIterator but not ForwardIterator. (until C++17)

так даже если оно move assignable все равно не работает

Передайте туда move_iterator

Как-то так: https://godbolt.org/g/ZAe6ex

Хмм, странное поведение, но я же не хочу move из другого вектора. Как видно в моем примере, если мы передаем итераторы в конструктор, то все работает, значит копировать он может, но почему-то не хочет

А как вы себе представляете move assignable без мува?

ну смотри

причем тут итератор

если требования на сам тип

там муваются только внутренние элементы вектора при реаллокации

Ну да

Почему ему требуется копирование от T в insert но не требуется в конструкторе

Как бы и там и там копируются элементы из другого вектора

Вся разница в том что insert может еще внутри себя переаллоцировать внутреннее представление и замувать туда старые элементы

Как-то так: https://godbolt.org/g/ZAe6ex

мне кажется, что тут дело в перегрузках, у clang в libc++ есть 2 функции: vector<_Tp, _Allocator>::insert(const_iterator __position, _InputIterator __first, _InputIterator __last) vector<_Tp, _Allocator>::insert(const_iterator __position, _ForwardIterator __first, _ForwardIterator __last) первая вызывает вторую потом вот так insert(__make_iter(__p), make_move_iterator(__v.begin()), make_move_iterator(__v.end()));

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

есть вебклиенты и там не нужна рега в принципе в чем сложность? это ж не телегу скачать и ждать смсок

Спросил у clang mailing list

надеюсь ответят или перенаправят куда надо

Почему ему требуется копирование от T в insert но не требуется в конструкторе

Для конструктора вообще особо трейтов не указано, а вот для insert в MoveInsertable есть требование на T, что туда аргументом передается rvalue.

туда = std::allocator_traits<A>::construct(m, p, rv);

До move assignment не доходит, имхо. Вот в одном месте написано "It creates a vector of num elements, each element is created by calling copy-constructor of the class, passing instance as argument to it."

вакансии к алексу :)

вакансии к алексу :)

угу :)

Насколько я понимаю что достаточно move_constructor или copy_constructor

Нужен переводчик с эльфийского. @antoshkka

Кто потревожил мой покой?

Кто потревожил мой покой?

Утра!

Расскажите нам, пожалуйста, про конструктор std::vector, который принимает 2 итератора и про такой же insert при условии, что у нас non copy-assignable тип.

https://godbolt.org/g/7K7ZH7 почему данный пример требует copy assign для A? Если посмотреть на c++ reference https://en.cppreference.com/w/cpp/container/vector/insert то требуется только emplace constructable или я что-то не понимаю?

Хмм, странное поведение, но я же не хочу move из другого вектора. Как видно в моем примере, если мы передаем итераторы в конструктор, то все работает, значит копировать он может, но почему-то не хочет

В конструкторе конструктор копирования его устраивает, а в insert не устраивает

non copy-assignable*

non copy-assignable*

тебе там в mailing list советуют make_move_iterator ?

хах

Но это же не то…

Ага, смотрю. Пока ничего не понятно )

я пока что вангую на ошибку в cppreference

сейчас гляну в Стандарте что пишут

Тут интересно еще если ошибка в cppreference почему у конструктора и у insert разные требования к типам

http://eel.is/c++draft/vector.modifiers

Тут интересно еще если ошибка в cppreference почему у конструктора и у insert разные требования к типам

ну потому что наверное insert может вызвать реаллок

а ctor не должен

Он по идее должен мувать при реаллокации

ERROR: S client not available

Даже если копирует то почему через assignment

не вижу в стандарте требований к типу для разных перегрузок

Тут интересно еще если ошибка в cppreference почему у конструктора и у insert разные требования к типам

Потому что insert-у нужен assignment, а конструктору нет?

Ну так вопрос в том почему?

Причем компилятору MSVC не нужен, но на него смотреть в планее соответствия стандарту не очень хочется

У него же появился флажок iso недавно.

начнём с того, что я не вижу в Стандарте требований, которые описывают то, что написано на CppReference

на eel draft не написано (или я не нахожу просто).

https://godbolt.org/g/fTNZsh причём, что самое интересное, оператор копирования реально может заиспользоваться в этом коде. При этом если будут move итераторы, то нет (т.е. у него нет asm body)

Причем компилятору MSVC не нужен, но на него смотреть в планее соответствия стандарту не очень хочется

Откуда информация?

Ну так вопрос в том почему?

Потому что insert должен как минимум уметь swap выполнять, а это MoveAssignment

Откуда информация?

О том что нужен, или несоответсвии стандарту?

так, ещё раз - про какой мы говорим стандарт?

О том что нужен, или несоответсвии стандарту?

О том, что не нужен. Я не представляю, как реализовать insert с парой итераторов без MoveAssignment

О том, что не нужен. Я не представляю, как реализовать insert с парой итераторов без MoveAssignment

с++14

найдите плиз в Стандарте и ткните меня носом, где написаны требования к типу у каждого std::vector::insert

О том, что не нужен. Я не представляю, как реализовать insert с парой итераторов без MoveAssignment

Так ты не понял

Причем компилятору MSVC не нужен

не нужен Copy Assignment

хватает MoveAssignment

Все остальным нужен именно Copy Assignment

Пример вышел был

еще раз

требования MoveAssignment

так, ещё раз - про какой мы говорим стандарт?

c++ 14

но если вы даете то, что нельзя перемещать, как оно может это перемещать?

синтаксически это немедленно требование CopyAssignment

Я конкретно стандарт не смотрел, вопрос почему на cppreference написано так, а на самом деле не так

c++ 14

где написано в С++14 Стандарте, что у конкретно данной перегрузки std::vector::insert такие то требования к типу?

Я конкретно стандарт не смотрел, вопрос почему на cppreference написано так, а на самом деле не так

Так я про это и веду речь - я не могу найти этого в Стандарте

требования MoveAssignment

Оно выполнено