右侧的值

Question

为什么要编译这段代码？我认为 ctor 返回的右值不在内存中，因此不能用作左值。

#include <iostream>
#include <vector>
class Y {
public :
    explicit Y(size_t num = 0)
    : m_resource {std::vector<int>(num)}
    {
    }
    std::vector<int> m_resource;
};
int main(int argc, const char * argv[]) {
    Y(1) = Y(0); // WHAT?!?
    return 0;
}

Answer 1

根据 12.8 [class.copy] 第 18 段，合成赋值运算符被声明为其中之一（如果它可以合成并且未声明为已删除）：

• Y& Y::operator=(Y const&)
• Y& Y::operator=(Y&) （）

也就是说，与未使用 ref 限定符专门声明的任何其他成员函数一样，它适用于右值。

如果要阻止作业左侧的临时对象，则需要相应地声明它：

class Y {
public :
    explicit Y(std::size_t num = 0);
    Y& operator= (Y const&) & = default;
};

该标准在= default之前对&使用名称 ref 限定符。相关提案是N2439。我不知道哪里有对 ref 限定符的良好描述。这个问题有一些信息。

Answer 2

不确定你从哪里得到这个特定的经验法则。如果有的话，经验法则是（来自斯科特·迈耶斯）：如果它有一个名字，那就是一个左值。

在本例中，您将创建一个临时对象并将其传递给赋值方法/函数。这没有问题。事实上，这样做甚至可能是有意义的，例如

// Applies foo to a copy, not the original.
(Y(1) = y).foo()

不过，Y(*)确实没有名字，因此它们是右值。