void foo(const std::string& s) надо написать

и не перемещать

не, я хочу переместить

зачем?

если просто делать std::move() при подстановке аргумента, ничего не произойдёт - передача как по ссылке а && говорит, что внутри функции следует куда-то переместить

чтобы понять как работает &&

короче && позволяет получателю поломать объект до состояния, в котором отработает деструктор

std::move() никуда ничего не перемещает. он просто приводит тип к type&&

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

использовать после первой передачи по std::move объект это завязка на реализацию

std::move() никуда ничего не перемещает. он просто приводит тип к type&&

тогда почему он move называется)

std::move() никуда ничего не перемещает. он просто приводит тип к type&&

+++

тогда почему он move называется)

потому что.

ясно

std::move ничего не перемещает. std::forward ничего не передает.

вот именно!

на эту тему лучше почитать длинные статьи, в двух словах сложно объяснить все детали

тогда почему он move называется)

он дергает семантику переноса

void_t берёт на вход ему не нужное - жадный какой-то

то есть вот это каноничный вариант: http://cpp.sh/32myb

короче && это все еще ссылка void do_nothing(std::unique_ptr<int>&& p) {}; void black_hole(std::unique_ptr<int> p) {};

просто пример очень неправильный

функции foo нет смысла делать что-то с объектом

ей достаточно const&

я хочу чтобы она уничтожила объект

пиши функцию void add_to_vector(std::vector<string> &vector, std::string s)

если ты вызовешь add_to_vector(v, str) то str будет скопирована

если вызовешь add_to_vector(v, std::move(str)) перемещена

перемещение _не обязано_ поломать объект, но почти всегда на самом деле это сделает

чуваки, я хочу переместить строку вникуда

чтобы она сломалась

нет гарантий, что она сломается

перемещение - это возможность, а не обязанность

чтобы она сломалась

убери && у своей функции в аргументе

тогда он скопирует же

мув оставь

нет

аа, move оставить? Ну ок.

у std::string определен конструктор с string&&

собственно конструктор перемещения

Так, а для чего && в аргументе функции, если мне всё равно std::move(str) в клиентском коде приходится писать

для того, чтобы различать

если тебе это нужно

например, конструктор перемещения string(string&&) не может быть определен без &&

в функцию можно что-то замувить без std::move(obj) в клиентском коде?

по-нормальному нет

reinterpret_cast, думаю, сработает

ах да

временный объект всегда перемещается

foo(string("hello")) будет конструктор string(const char*) и потом string(string&&) перемещение

если void foo(string s)

преобразование string& в string&& компилятором выполнено не будет

т.е. void foo(string &&s); //client string s; foo(s); //CE

ошибка компиляции будет

CE это как раз compilation error

я тебя понял

но не хотелось бы писать std::move(s) ради этого

если хочешь понять механику перемещения, поработай с std::unique_ptr

собственно это потребитель номер 1

и характерный пример MoveConstructible но не CopyConstructible класса

это я понимаю

но мне нужно реально мувить

?

хочешь РАЗРУШАТЬ?

в смысле, я знаю что у unique_ptr запрещено копирование

ДА!

std::move ничего не перемещает. std::forward ничего не передает.

Страуструп тоже возмущается по этому поводу

ERROR: S client not available

ну делай swap с временным объектом

оверхед

лучший способ разрушения

да то же самое

swap это три мува

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

Будет ещё проблема - временный объект по обычной ссылке не передашь: foo("Hello") не соберётся если void foo(std::string&)

Будет ещё проблема - временный объект по обычной ссылке не передашь: foo("Hello") не соберётся если void foo(std::string&)

кстати, всегда было интересно, с чем это связано

кстати, у Qt в семантике перемещения - свапится, у std:: источник обнуляется. фишка такая)

свапится у всех, просто у некоторых чистится источник потом

?

в конструкторе свопы писать?

Кстати, тут как раз образовалась небольшая но очень полезная задачка https://stdcpp.ru/proposals/73c3ec73-a249-4044-92b8-912361536803/592ebb07fd92a40028047ac9

Так, есть же токенизатор в бусте уже

свапится у всех, просто у некоторых чистится источник потом

нет. у кьюта прям свапится

кстати, всегда было интересно, с чем это связано

Это связано с безопасностью. Если разрешать временные объекты передавать по обычной ссылке, тогда будет вот так: long l = 1; foo(int& i) { ++i; } ... foo(l); assert(l == 2); // oops, l ==1

оО а где здесь временный объект

тоже не понял

оО а где здесь временный объект

Из long создастя временный int

а, ну да

логично, спасибо

Так, кто мне объяснит пропозал про токенизатор​

@antoshkka http://cpp.sh/4pkwz

вообще я не очень понимаю, как положено здесь по стандарту

Что там на stdcpp.ru такого нового в предложении

потому что VS разрешает

void f(std::string &x){} void g(){ f(std::string("hello")); }

но дает варнинг на макслевеле

т.е. разрешено неявное преобразование string&& в string&

без промежуточных

f("hello"); //CE

Так, есть же токенизатор в бусте уже

Он больше в стиле Ranges чем в стиле текущих <algorithm>. Его надо будет протащить, но прям сейчас это не получится

Он больше в стиле Ranges чем в стиле текущих <algorithm>. Его надо будет протащить, но прям сейчас это не получится

Просто бустовый тоже умеет сплитить по нескольким делимитерам

А range версию добавить если надо - ок, добавлю. Если её нет