C++中匿名对象应当是一个左值

2021年11月22日更新

我在2015年写下的这篇博客，目前来看标题的描述应当是不正确的，这篇博客应当是我学习C++时的一个思考，结论并不能说正确。按照 《Effective Modern C++》的描述，如果能取得表达式的地址，则基本可以断定是一个左值。

而匿名对象这个概念，其实是比较模糊的。所以如果是函数的一个临时返回的对象，是可以是右值的。比如：

int func() { return 42; } 

------

　　以前有一个误解，认为匿名对象是一个右值。直到意识到，匿名对象可以传给引用类型的形参后，才发觉这一个认识不对。因为只有左值才能传递给引用类型的形参。测试中也发现，可以将匿名对象放置到等号的左边对其进行赋值，这更加坚定了我的认知。

　　如下代码，这样的写法是正确的：

class Test
{
public:
    Test(int a) : m_a(a)
    {
        cout << "constructor called" << endl;
    }

    Test& operator=(int a)
    {
        m_a = a;
　　　　
　　　　 return *this;
    }

private:
    int m_a;
};

int main()
{
    Test(1) = 10;

    return 0;
}

　　由于网上搜索了一下匿名对象，发觉其在C++中似乎没有严格定义，且匿名对象应是Java中的一个概念。因此要说明一下这里所指的匿名对象，即是类的实例对象而没有标识符。比如，直接用这样的代码生成的对象——Test(1)——就是一个匿名对象；又或者一个函数，返回类型是类类型（非引用），那么返回的就是一个匿名对象。

　　左值的本质就是其存在于内存里，而匿名对象执行了构造函数，也存在于内存里，只不过其所在的代码一旦执行完毕，它就被释放了。但只要其占有内存，那么就是一个左值。