存在 std::move 时未使用移动语义

Question

具有以下内容：

#include <iostream>
#include <fstream>
using namespace std;
int main() {
    ifstream f;
    ifstream g;
    f = std::move(g);
}

为什么调用 ifstream::operator=(const ifstream&) 而不是 ifstream::operator= (ifstream&&) 即使 std::move() 被调用？

更新：一般来说，有没有办法将左值引用强制转换为右值引用？

Answer 1

您有什么证据表明 ifstream::operator=(const ifstream&) 正在被调用？您是否收到编译错误，提示您正在调用此私有或已删除的成员？

如果您的代码正在调用 ifstream::operator=(const ifstream&)，并且您的实现声称是 C++11，那么这是您的 C++ std::lib 中的错误，或编译器。当我编译您的代码时，ifstream::operator=(ifstream&&) 被调用。这是设计使然。

为了确定起见，我在 ifstream::operator=(ifstream&&) 的实现中插入了一条 print 语句。当我执行你的程序时打印出：

basic_ifstream<_CharT, _Traits>::operator=(basic_ifstream&& __rhs)

Answer 2

标准

 27.9.1.8 Assign and swap [ifstream.assign]

       basic_ifstream& operator=(basic_ifstream&& rhs);

我假设您正在查看错误的代码（没有任何地方可以保证必须调用基类运算符 istream::operator=(istream&&) ）？

---

更新：一般来说，有没有办法将左值引用强制转换为右值引用？

是的，这就是 std::move 的作用：

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

还有一个

template <class T> typename conditional<
  !is_nothrow_move_constructible<T>::value && is_copy_constructible<T>::value,
  const T&, T&&>::type move_if_noexcept(T& x) noexcept;

函数做同样的事情，前提是 move 构造函数不抛出异常。