Что делает static_cast <T> делать с T &?

Question

Так я спросил this question, и я возился с его решением через static_cast. (Кстати это не решает проблему, я просто не уверен, если я понимаю, почему.)

В коде:

vector<int> foo = {0, 42, 0, 42, 0, 42}; 
replace(begin(foo), end(foo), static_cast<int>(foo.front()), 13); 

ли static_cast просто построения R-Value int? В чем разница между этим и только призыв:

replace(begin(foo), end(foo), int{foo.front()}, 13); 

EDIT:

Как судить по ответам static_castделает кажется, построить R-Value int: http://ideone.com/dVPIhD

Но это код не Работа над Visual Studio 2015. Является ли это ошибкой компилятора? Проверьте здесь: http://webcompiler.cloudapp.net/

Answer 1

1. Да, это так же, как int{...}, если .front() не возвращается тип, который требуется сужающее преобразование. В этом случае int(...) будет идентичным.

2. В случае ошибки программиста, статическое приведение незначительно менее вероятно, сделает что-то опасное, например, превратит указатель в int, а не int(...).

Примечания устранения результатов броска в непредсказуемом поведении, как передний элемент модифицируется операцией замены, и это может нарушить std::replace.

Я хотел бы использовать

template<class T> 
std::decay_t<T> copy_of(T&& t){return std::forward<T>(t); } 

себя здесь.

А почему это не работает в MSVC ...

MSVC услужливо принимает ситуации, когда вы разыгрываете переменную типа T к T и продолжает делать нечего. Это нарушает ваш код.

Существует compiler flag (/Zc:rvalueCast), который вы можете использовать, чтобы MSVC больше не нарушал ваш код.

Answer 2

Функция-член front возвращает ссылку на первый элемент непустого вектора.

С другой стороны стандартный алгоритм replace объявлен как

template <class ForwardIterator, class T> 
    void replace (ForwardIterator first, ForwardIterator last, 
       const T& old_value, const T& new_value) 

принимает третий параметр также посредством ссылки. Таким образом, в общем случае первый элемент вектора может быть изменен алгоритмом, и как результат обработка других элементов вектора по алгоритму может быть неправильной.

Использование static_cast создает временный объект и не будет изменен алгоритмом. Таким образом, обработка всех элементов вектора будет правильной.

Что касается меня, то я предложил предложение C++ использовать ключевое слово auto в таких случаях. Например

replace(begin(foo), end(foo), auto(foo.front()), 13);