如何將右值生命週期擴展到我的自定義容器生命週期？

Question

讓我有一個自定義的包裝容器。我想這樣使用它：

double d = 3.14; 
MyContainer<std::vector<int>> pointer = new std::vector<int>(); 
MyContainer<std::string> rvalue = std::string("foo"); 
MyContainer<int> rvalue2 = 5 + 8; 
MyContainer<double> lvalue = d; 

我不想存儲rvalues的副本（引用是好的）。 Rvalue參考允許我這樣做：

std::string string1 = "foo"; 
std::string string2 = "bar"; 
std::string&& string3 = string1 + string2; 
string3 += "test"; 

基本上我想延長rvalues的生命期到我的容器的一生。然而，當我這樣做：

template<class T> 
class MyContainer { 
public: 
    MyContainer(T&& obj) : object(obj) {} 
    T&& object 
    ... 
}; 
... 
MyContaier<std::string> container = MyContainer(std::string("foo")); 

我得到一個錯誤（不能綁定 '的std :: string' 左值到 '的std :: string & &'）。這個例子稍有不同，但我只想了解一個大概的想法。我怎樣才能避免這種情況？

Answer 1

除了您的代碼有多個拼寫錯誤和語法錯誤，沒有任何技術上阻止您採用std::string的右值引用（儘管您的賦值/構造函數調用不正確）。將T & &作爲成員變量不會像您認爲的那樣工作。只要到達下一個序列點，存儲對過期右值的引用，然後訪問它即可。

下面是一個有關右值引用和左值引用的構造函數的工作示例。如果你想「擁有」它，你需要在你的對象內部有一個實際的實例。你無法在技術上延長即將到期的右值的生命週期;你只能構建其他重用它的東西（並希望竊取一些昂貴的內臟）。希望這可以幫助。

#include <utility> 
#include <string> 
#include <iostream> 

template<class T> 
class MyContainer { 
public: 

    // makes a copy from an lvalue reference 
    MyContainer(const T& obj) 
     : object(obj) { 
    } 

    // moves from an rvalue reference 
    MyContainer(T&& obj) 
     : object(std::move(obj)) { 
    } 

    MyContainer& operator=(const T& obj) { 
     object = obj; 
    } 

    MyContainer& operator=(T&& obj) { 
     object = std::move(obj); 
    } 

    T object; 
}; 

int main() { 

    MyContainer<std::string> container = std::string("foo"); 
    std::cout << container.object; 
}