|
了解临时对象的来源
c++真正的所谓的临时对象是不可见的——不会再你的源代码中出现。此等匿名对象通常发生于两种情况：一是当隐式类型转换（implicit type conveersions）被施行起来以求函数调用能够成功；二是当函数返回对象的时候。
第一种情况的例子：
| 代码如下 |
复制代码 |
#include <iostream>
class Int
{
public:
Int(int value) {
_value = value;
std::cout << "In constructor, count: " << ++count << std::endl;
}
~Int() {
std::cout << "In destructorn";
}
int _value;
private:
static int count;
};
int Int::count = 0;
void printInt(Int intValue) {
std::cout << "int value is: " << intValue._value << std::endl;
}
int main()
{
printInt(10);
return 0;
} |
这个例子的运行结果是：
In constructor, count: 1
int value is: 10
In destructor
验证了编译器再发现没法调用printInt(int)的时候，会进行自动类型转换，通过Int的构造函数，将int隐式转换成Int（这个貌似之前也提到过了）。这个构造出来的就是所谓的临时对象，从输出的顺序看，这个对象在函数返回之后被析构。
只有当对象以by value（传值）方式传递，或是当对象被传递给一个reference-to -const参数时，这些转换才会发生。如果参数被传递给一个reference-to-non-const参数，并不会发生此类转换
也就是说，把上面的printInt入参改成Int&的时候，就无法调用成功。原因很简单了，这个临时对象，如果没修改，函数返回之后也被析构了，没法再次获取到，即使允许也是没意义的。改成Int&之后，编译器（g++）有这样的报错：
tmp.cpp: 在函数‘int main()’中:
tmp.cpp:27:13: 错误：用类型为‘int’的右值初始化类型为‘Int&’的非常量引用无效
tmp.cpp:21:6: 错误：在传递‘void printInt(Int&)’的第 1 个实参时
利用重载（overload）避免隐式类型转换（implicit type conversions）
这里介绍的就是通过重载，避免编译器自动通过构造函数创建临时对象，但是重载太多后面的维护什么的成本也会上升，需要考虑这个的必要性。
每个“重载操作符”必须获得至少一个“用户定制类型”的自变量
协助完成返回值优化（RVO）
另一个容易产生临时对象的地方就是函数返回值。不过经过尝试，发现目前编译器（g++）可以把命名变量也通过返回值优化去除。
也就是说，这样写：
| 代码如下 |
复制代码 |
#include <iostream>
class Int
{
public:
Int(int value) {
_value = value;
std::cout << "In constructor, count: " << ++count << " value: " << _value <<std::endl;
}
Int(const Int &rhs) {
_value = rhs._value;
std::cout << "In copy constructor, count: " << ++count << " value: " << _value << std::endl;
}
friend const Int operator+(const Int &lhs, const Int &rhs);
private:
int _value;
static int count;
};
int Int::count = 0;
const Int operator+(const Int &lhs, const Int &rhs) {
Int result(lhs._value + rhs._value);
return result;
}
int main()
{
Int a(1);
Int b(2);
Int c = a + b;
return 0;
} |
和这样写：
| 代码如下 |
复制代码 |
#include <iostream>
class Int
{
public:
Int(int value) {
_value = value;
std::cout << "In constructor, count: " << ++count << " value: " << _value <<std::endl;
}
Int(const Int &rhs) {
_value = rhs._value;
std::cout << "In copy constructor, count: " << ++count << " value: " << _value << std::endl;
}
friend const Int operator+(const Int &lhs, const Int &rhs);
private:
int _value;
static int count;
};
int Int::count = 0;
const Int operator+(const Int &lhs, const Int &rhs) {
return Int(lhs._value + rhs._value);
}
int main()
{
Int a(1);
Int b(2);
Int c = a + b;
return 0;
} |
最终的执行结果都是一样的：
In constructor, count: 1 value: 1
In constructor, count: 2 value: 2
In constructor, count: 3 value: 3
没有因为前者在operator+中多了一个result对象而多一个临时变量。
|
