class rvalue只有member_ptr的成员函数

Question

仅使用lvalue成员函数和shared_ptr

产量

test_object::test_object()
example::get_container() &
container::container() 
container::get() &
container::~container() 

我希望容器对象的get（）函数不被rvalue调用。所以我在get（）中添加了＆keyword。

但是当我在shared_ptr中使用它时，这个make＆key of get（）已经过时了。那么还有另一个很好的技巧来使用shared_ptr吗？

我有一个使用静态成员函数的解决方案，它的工作原理。但它很脏。

class test_object
{
public:
test_object()
{
    cout << "test_object::test_object()" << endl;
}
~test_object()
{
    cout << "test_object::~test_object()" << endl;
}
};

template<typename type>
class container
{
public:
container(type* data) : pdata(data)
{
    cout << "container::container() " << endl;
}
~container()
{
    cout << "container::~container() " << endl;
}

type* get() &
{
    cout << "container::get() &" << endl;
    return pdata;
}

private:

type* pdata;
};

template<typename type = test_object>
class example
{
public:

shared_ptr<container<type>> get_container() &
{
    cout << "example::get_container() &" << endl;
    return make_shared<container<type>>(&data);
}

private:

type data;
};

int main()
{
example ex;
auto data = ex.get_container()->get();
//this should make compiler error,but 
//it doesn't because get() is called by lvalue container object in rvalue 
//shared_ptr. i want this code to make compiler error 

getchar();
return 0;
}

Answer 1

没有办法。通过*或->访问的指针的引用始终是左值。它融入了语言，标准库智能指针类型与此核心语言一致。

shared_ptr<container<type>>::operator->最终返回应用了箭头运算符的container<type>*。箭头操作符相当于做(*ptr).get()。因此，您将始终将get()应用于语言认为的左值。

这是一个左值。仅仅因为共享指针是临时的，不会改变它指向占用存储的事实，在左值。