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)——就是一个匿名对象;又或者一个函数,返回类型是类类型(非引用),那么返回的就是一个匿名对象。
左值的本质就是其存在于内存里,而匿名对象执行了构造函数,也存在于内存里,只不过其所在的代码一旦执行完毕,它就被释放了。但只要其占有内存,那么就是一个左值。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步