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 值 int？那和只是调用有什么区别：

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

编辑：

正如static_cast的答案所推断的那样确实似乎构造了一个R值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创建了一个临时对象，不会被算法改变所以对向量的所有元素的处理都是正确的。

至于我，我建议在这种情况下使用关键字 auto 的 C++ 建议。例如

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