我正在阅读关于 rvalue 引用的教程/解释:
http://thbecker.net/articles/rvalue_references/section_07.html
在倒数第二段中，作者提到“factory 函数体内 T 的复制构造函数的参数是左值”。他所指的代码如下:
template<typename T, typename Arg>
shared_ptr<T> factory(Arg const & arg)
{
return shared_ptr<T>(new T(arg));
}
new T(arg)会在堆上构造一个T对象，但是返回值不是一个临时指针值吗？如果不使用它（导致内存泄漏），那么它将丢失，因此是右值吗？new 给你一个指针 rvalue： new int = nullptr; 会编译失败并提示需要一个 lvalue。*(new int) = 5; 可以编译（当然，这个简单的语句也会泄露内存，因为指针丢失了）。shared_ptr，那么你就不会失去指针。其他对象将根据其语义删除它，在其他对象（或最后一个对象，在共享所有权的情况下，比如 shared_ptr）本身被销毁时最迟删除它。shared_ptr“存储一个左值”，这根本没有任何意义。左值和右值与某些东西的“返回”或内存中对象的状态无关，而是与代码中表达式的状态有关。表达式是左值还是右值（或其他之一）取决于各种语言规则和结构。简而言之，左值表达式是“名称”，其他所有内容都不是左值表达式。这个规则有一个显著的例外是指针类型的*ptr，因为出于历史原因，*ptr被定义为会产生一个左值（除非涉及运算符重载）。现在，在标准中并没有明确建议new“返回”（求值为）rvalue，因为这个陈述毫无意义。按照语言规则，new求值得到指向新内存块的指针，而表达式new T是右值，因为这就是右值的含义。如果不使用new T(arg)返回的临时指针值将会丢失，这完全与动态分配内存的事实无关。new 并发现它无法正常工作来作出一个相当有根据的猜测，并得出它不产生 lvalue 的结论，但我们仍然处于未指定的领域。template<typename T>
struct value_category {
// Or can be an integral or enum value
static constexpr auto value = "prvalue";
};
template<typename T>
struct value_category<T&> {
static constexpr auto value = "lvalue";
};
template<typename T>
struct value_category<T&&> {
static constexpr auto value = "xvalue";
};
// Double parens for ensuring we inspect an expression,
// not an entity
#define VALUE_CATEGORY(expr) value_category<decltype((expr))>::value
and the result of:
std::cout << VALUE_CATEGORY( new int) << std::endl ;
prvalue
，这证实了我们通过推断得出的结论。new 的返回值是一个 prvalue 而不是 lvalue，因此您无法写成：
new T(arg) = ....; // not legal, so no lvalue
new的返回值指定对象的地址，而不是对象本身。a并对该指针进行解引用，甚至如果您直接对新的返回值进行解引用，则会使其成为左值：*new T(arg) = ....; // valid, althoug you'd loose the address !
*a = ....; // normal poitner dereferencing
*运算符执行间接引用:应用该运算符的表达式必须是对象类型的指针或函数类型的指针，结果是一个左值，引用该表达式指向的对象或函数。
重要提示：您的编辑和shared_ptr
您的示例没有泄漏：shared_ptr<T>(new T(arg))创建了一个共享指针来管理您新创建的对象，并且如果不再使用，则会删除它。返回的 shared pointer 在表达式中使用（例如作为临时 shared pointer 或分配给另一个 shared_ptr 对象）：对象将被复制，并更新其使用计数以反映对其的活动引用次数。没有泄漏！
忽略返回的 shared pointer ：返回的对象将被销毁，其使用计数将递减，并且由于它在其他地方没有被使用，因此您的对象将被删除。
const int i = 5。你不能写 i = ...。然而，i 是一个左值。声明 void foo()。你不能写 foo = ...。然而，foo 是一个左值。 - AnT stands with Russia&运算符进行的。但即使是这个测试也不是100%准确的。 - AnT stands with Russia
std::shared_ptr<T>实际上为您提供了一个 _lvalue_。 - πάντα ῥεῖnew返回一个rvalue，该值被复制到std::shared_ptr的内部lvalue中。 - Galiknew T(arg)中的arg，而不是整个表达式。arg是一个左值。new T(arg)是一个右值。 - Raymond Chenarg。这与new或shared_ptr无关。 - Oktalist