Эвалуация аргументов функции при вызове

Эвалуации
Эвалуации

Stop!

Эвалуация аргументов функции при вызове

при вызове

При коллинге же, ну

In particular, std::move produces an xvalue expression that identifies its argument t. It is exactly equivalent to a static_cast to an rvalue reference type.

Стало быть, rvalue-reference

Вопрос скорее о том, чем в данном случае является результат Эвалуации std::move(arg)?

Результат — объект arg. (http://eel.is/c draft/expr#def:result,glvalue: The result of a glvalue is the entity denoted by the expression.)

In particular, std::move produces an xvalue expression that identifies its argument t.

Если аргумент это функция, то std::move produces an lvalue expression.

Eсли взять std::move без контекста, то да. Однако, в сабжевом вопросе идется про аргумент функции.

И что-то мне позсказывает, что суть идется о вычислении того, что ложится «в стек». Т.е. если функция ожидала бы rvalue-reference, то в стек бы попал указатель (ну, в типичной реализации ссылок через указатели). Так и в данном случае, в стек надо положить обьект std::vector.

Но все же хочется убедиться, ибо в стандарте я не осилил найти.

Спасибо!

Вопрос скорее о том, чем в данном случае является результат Эвалуации std::move(arg)?

А какая разница?

[expr.call] p8
The initialization of a parameter, including every associated value computation and side effect, is indeterminately sequenced with respect to that of any other parameter.

Т.е. результат move() всё равно в итоге будет использован при инициализации, которая может происходить в любом порядке, в том числе и в «плохом».

Я думаю ты сам не понимаешь, что ты хочешь узнать.

Ну, по крайней мере, теперь я уверен, что сабжевый пример — UB.

А мои рассуждения — лишь спекуляция на основе возможной реализации.

Надо сделать тэг language lawyer, или как его. И подписаться.

Не вижу тут UB.

Я один прочитал как эякуляция? :-)

done

Не вижу тут UB.

Ок, код выше может работать не так, как планировалось. Т.е. в check попадет константая ссылка* на обьект std::vector<int> в «valid but unspecified state».

Эвалуация аргументов функции при вызове (комментарий)

Т.е. результат move() всё равно в итоге будет использован при инициализации, которая может происходить в любом порядке, в том числе и в «плохом».

* была опечатка в примере, исправил.

Нет.

template< class T >
typename std::remove_reference<T>::type&& move( T&& t );

Явно указано что будет RValue

Прочёл как «овуляция».

эвалуация у тебя в штанах

В specified, это ж вектор. Останется пустой вектор.

Явно указано что будет RValue

Эвалуация аргументов функции при вызове (комментарий)

Лол :-) А почему бы просто не выполнить эвалуацию вот так:

std::vector<int> arg{1, 2, 3};
check(arg);
whatever(std::move(arg), arg);