匿名对象与临时对象

Posted 2021-02-18 wangkeqin

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了匿名对象与临时对象相关的知识，希望对你有一定的参考价值。

关于匿名对象与临时对象，这个概念不是绝对的，概念的区分往往十分拗口难记。要根据作用域，生存时间和用法来来决定；工作多年这些拗口的概念我从来没有真的记住过，也没有一个博客讲清楚他们的区别。下面我们不做概念区分，从逻辑上来论证。

1	无名则无份-临时对象临时生存
2	名正则言顺-起个名字活得久
3	非分之想-不要越界。
4	编译器的能力
5	原则

假设我们有这样一个类：

class Test
{
public:
    Test(int i = 0):m_test(i)
    {

        cout<<this<<"--construct in ‘Test(int i = 0)‘"<<endl;
    }
    ~Test()
    {
        cout<<this<<"--deconstruct in ‘~Test()‘"<<endl;
    }
    Test(const Test &one)
    {
        m_test = one.m_test;
        cout<<this<<"--copy ‘Test(const Test &one)‘"<<endl;
    }

    Test &operator =(const Test &one)
    {
        if(this == &one)
            return *this;
        m_test = one.m_test;
        cout<<this<<"assign in ‘operator =(const Test &one)‘"<<endl;
    }
    void DisTestVal() const
    {
        cout<<"show value ‘in DisTestVal():‘"<<m_test<<"--at--"<<this<<endl;
    }

    const void * GetThis() const
    {
        return this;
    }

private:
    int m_test;
};

下面我们将使用不同的方式来辩证的讨论上面类在使用中构建对象的类型：

临时对象/匿名对象：

1）无名则无份：

int main()
{
    Test(2);
    getchar();
    cout<<"main func finished"<<endl;
}

运行结果：

技术图片

执行getchar()　

技术图片

匿名对象的生命周期转瞬即逝，其生存空间就是代码所在的行

看到了吗，在这里我们使用getchar来阻塞main函数的结束，Test(2)这个对象在main函数还没有结束时就析构了，其生命周期昙花一现，其生存空间就时代码所在的行。如果我们构建一个正常的对象于main函数中，其生命周期同main函数。但是匿名对象就不行。没有名字便没有生存的资格。当然我们很少使用这种匿名对象，但是，其可以发起函数调用。如果这个对象对外提供指针，由于其短暂的生命周期与生存空间，等到我们能用指针的时候，它却已经失效了。

2）名正则言顺：

如何延长一个匿名对象的生命周期呢？他与常规对象的本质区别就是没有一个名字。所以给它取个名字吧。

int main()
{
    const Test &rt = Test(2);   //有了名字，才能活下来
    getchar();
    cout<<"main func finished"<<endl;
}

运行结果：

技术图片

这里我们给Test(2)起了别名，当然它也没有其他的名字，其声明周期便同main了。其效果与Test tobj(2）是一样的，只不过其类型是cosnt Test&的。

3）非分之想

按照上面的规则，在一个作用域中，一个匿名对象只要有名字，便可以活下来，那如果跨作用域呢？

const Test  ReturnTemp()
{
    const Test & temp = Test(3);
    return temp;
//        return Test(4);
}

int main()
{

    const Test &rtt = ReturnTemp();
    rtt.DisTestVal();
    cout<<"----------------------------"<<endl;
    const Test tt = ReturnTemp(); //这里产生拷贝，但是拷贝之前，临时对象已经被析构了
    tt.DisTestVal();
    getchar();
    cout<<"main func finished"<<endl;
}