如何将右值生命周期扩展到我的自定义容器生命周期？

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; 
}