的非堆(non-heap)对象会产生临时对象。
这种未命名的对象通常在两种条件下产生:为了使函数成功调用而进行隐式类型转换和函数返回对象时。
理解如何和为什么建立这些临时对象是很重要的,因为构造和释放它们的开销对于程序的性能来说有着不可忽视的影响。
首先考虑为使函数成功调用而建立临时对象这种情况:当传送给函数的对象类型与参数类型不匹配时会产生这种情况。
例如一个函数, 它用来计算一个字符在字符串中出现的次数:
size_t countChar(const string& str, char ch);
char buffer[MAX_STRING_LEN];
char c;
// 读入到一个字符和字符串中,用setw
// 避免缓存溢出,当读取一个字符串时
cin >> c >> setw(MAX_STRING_LEN) >> buffer;
cout << "There are " << countChar(buffer, c)
<< " occurrences of the character " << c
<< " in " << buffer << endl;
的参数的类型是const string&。仅当消除类型不匹配后,才能成功进行这个调用,你的编译器很乐意替你消除它,方法是建立一个string类型的临时对象。通过以buffer做为参数调用string的构造函数来初始化这个临时对象。countChar的参数str被绑定在这个临时
的string对象上。当countChar返回时,临时对象自动释放。
这样的类型转换很方便(尽管很危险) ,但是从效率的观点来看,临时string对象的构造和释放是不必要的开销。
通常有两个方法可以消除它。一种是重新设计你的代码,不让发生这种类型转换。另一种方法是通过修改软件而不再需要类型转换,
考虑一下这个函数:
void uppercasify(string& str); // 把str中所有的字符// 改变成大写 在字符计数的例子里, 能够成功传递char数组到countChar中, 但是在这里试图用char数组调用upeercasify函数,则不会成功:
char subtleBookPlug[] = "Effective C++";
uppercasify(subtleBookPlug); // 错误!
没有为使调用成功而建立临时对象,为什么呢?
假设建立一个临时对象,那么临时对象将被传递到upeercasify中,其会修改这个临时 对象,把它的字符改成大写。但是对subtleBookPlug函数调用的真正参数没有任何影响;仅仅改变了临时从subtleBookPlug生成的string对象。 无疑这不是程序员所希望的。程序 员传递subtleBookPlug参数到uppercasify函数中,期望修改subtleBookPlug的值。当程 序员期望修改非临时对象时,对非常量引用(references-to-non-const)进行的隐式类型 转换却修改临时对象。 这就是为什么C++语言禁止为非常量引用 (reference-to-non-const) 产生临时对象。这样非常量引用(reference-to-non-const)参数就不会遇到这种问题。
建立临时对象的第二种环境是函数返回对象时。
例如operator+必须返回一个对象,以表示它的两个操作数的和
例如给定一个类型Number,这种类型的operator+被这样声明:
const Number operator+(const Number& lhs,
const Number& rhs);
调用operator+构造和释放这个对象而付出代价。
不过对于大多数返回对象的函数来说,无法切换到不同的函数,从而没有办法避免构造和释放返回值。至少在概念上没有办法避免它。然而概念和现实之间又一个黑暗地带,叫做优化,有时你能以某种方法编写返回对象的函数,以允许你的编译器优化临时对象。这些优化中,最常见和最有效的是返回值优化。