c/c++-c++中的临时对象问题

本文详细解析了C++中临时对象的产生时机及其生命周期管理,包括构造函数隐式类型转换、无名对象创建及函数返回对象等情况。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

C++中真正的临时对象是看不见的,它们不出现在你的源代码中,临时对象的产生在如下几个时刻:

1.       用构造函数作为隐式类型转换函数时,会创建临时对象。

例:

        class Integer

        {

        public:

               Integer(int i)

               :m_val(i)

{}

~Integer()

{}

private:

       int   m_val;

                     };

                     void Calculate(Integer itgr)

                     {

                            // do something

                     }

              那么语句:  int  i = 10;

                                   Calculate(i);

              会产生一个临时对象,作为实参传递到Calculate 函数中。

2. 建立一个没有命名的非堆(non-heap)对象,也就是无名对象时,会产生临时对象。

如:

        Integer& iref = Integer(5);           //用无名临时对象初始化一个引用,等价于

                                                         //Integer iref(5);

        Integer  itgr = Integer(5);           //用一个无名临时对象拷贝构造另一个对象

        按理说,C++应先构造一个无名的临时对象,再用它来拷贝构造itgr,由于

该临时对象拷贝构造 itgr 后,就失去了任何作用,所以对于这种类型(只起拷贝构造另一个对象的作用)的临时对象,c++特别将其看做: Integer itgr(5); 即直接以相同参数构造目标对象,省略了创建临时对象这一步。

Calculate( Integer(5) );                       //无名临时对象作为实参传递给形参,函数调

//用表达式结束后,临时对象生命期结束,被//析构.

3.       函数返回一个对象值时,会产生临时对象,函数中的返回值会以值拷贝的形式拷贝到被调函数栈中的一个临时对象。

如:

        Integer Func()

        {

               Integer itgr;

               return itgr;

        }

        void main()

        {

               Integer in;

               in = Func();

        }

表达式 Func() 处创建了一个临时对象,用来存储Func() 函数中返回的对象,临时对象由 Func() 中返回的 itgr 对象拷贝构造(值传递),临时对象赋值给 in后,赋值表达式结束,临时对象被析构。见下图:

看看如下语句:

                      Integer& iRef = Func();

该语句用一个临时对象去初始化iRef 引用,一旦该表达式执行结束,临时对象的生命周期结束,便被结束,iRef引用的尸体已经不存在,接下来任何对 iRef 的操作都是错误的。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值