std :: move的逆是否存在？

Question

std::move可用於在隱式地不允許移動時允許移動語義（例如從函數返回本地對象時的often）。現在

，我想知道（尤指在局部返回和隱含的舉動有情況下），如果有這樣的事情爲std::move反將防止移動對象（但仍允許複製）。

這是否有意義？

Answer 1

std::move左值轉換爲右值，並且它由基本上static_cast執行此。最接近我能想到的是相反的是這兩種類型轉換：

static_cast<T &>(/*rvalue-expression*/) 
static_cast<const T&>(/*rvalue-expression*/) 

這方面的例子可以在下面看到：

#include <iostream> 

void f(const int &) 
{ std::cout << "const-lval-ref" << std::endl; } 

void f(int &&) 
{ std::cout << "rval-ref" << std::endl; } 

int main() 
{ 
    f(static_cast<const int &>(3)); 
    return 0; 
} 

鑄造prvalue 3到const int &確保左值選擇了f的過載。

在大多數情況下，你將自動得到這個右值到左值修改，只需賦值給一個變量：

int a = 3; 

當這條線後使用a，這將是一個左值。這是真實的，即使a聲明爲右值引用：

int &&a = 3; 

在這裏，a成爲一個左值（基本上是因爲它「有一個名字」）。

唯一的情況，我可以想象一個明確的演員陣營有任何相關的影響是我的第一個例子上面。並且在那裏，當處理諸如3之類的價格或者通過複製函數調用返回的臨時對象時，唯一合法的轉換是const引用（非const引用不允許綁定到prvalue）。

Answer 2

防止對象被移動的解決方案是使對象的移動構造函數爲私有，這樣對象不能被移動但可以被複制。

實施例與移動：

enter code here 

#include <iostream> 

class A { 
public: 
    std::string s; 
    A() : s("test") {} 
    A(const A& o) : s(o.s) { std::cout << "move failed!\n";} 
    A(A&& o) : s(std::move(o.s)) { std::cout << "move was succesfull!\n"; } 
}; 

int main(int argc, const char * argv[]) 
{ 
    A firsObject; 
    A secondObject = std::move(firsObject); 
    return 0; 
} 

與移動實施例禁用：

#include <iostream> 

class A { 
public: 
    std::string s; 
    A() : s("test") {} 
    A(const A& o) : s(o.s) { std::cout << "move failed!\n";} 

private: 
    A(A&& o) : s(std::move(o.s)) { std::cout << "move was succesfull!\n"; } 
}; 

int main(int argc, const char * argv[]) 
{ 
    A firsObject; 
    A secondObject = std::move(firsObject); 
    return 0; 
} 

Answer 3

template<class T> 
T& unmove(T&& t) 
{ 
    return t; 
} 

這將改變參數表達式的值類別爲一個左值，不管它是什麼。

void f(const int&); // copy version 
void f(int&&); // move version 

int main() 
{ 
    int i = ...; 

    f(42); // calls move version 
    f(move(i)); // calls move version 
    f(i); // calls copy version 

    f(unmove(42)); // calls copy version 
    f(unmove(move(i))); // calls copy version 
    f(unmove(i)); // calls copy version 
}