C++对拷贝构造函和赋值预算符之间的优化
通过一道简单的题目来理解这个知识:
Test1中调用了次AA的拷贝构造函数,次AA的赋值运算符函数的重载。
Test2中调用了次AA的拷贝构造函数,次AA的赋值运算符函数的重载。
Test3中调用了次AA的拷贝构造函数,次AA的赋值运算符函数的重载。
class AA
{};
AA::AA f (AA a)
{
return a ;
}
void Test1 ()
{
AA a1 ;
a1 = f(a1);
}
void Test2 ()
{
AA a1 ;
AA a2 = f(a1);
}
void Test3 ()
{
AA a1 ;
AA a2 = f(f(a1));
}
首先看test1:
从图中我们可以看出整个过程:
1.调用了构造函数创建了对象a1。
2.函数f的调用,将a1拷贝构造给a。
3.a拷贝构造给一个临时变量。
4.临时变量拷贝构造给函数,结束函数。
5.将函数赋值运算符的重载给a1。
优化:将三次拷贝构造优化为两次拷贝构造。
接下来就是第二个:
1.函数的调用,与第一个相同。
2.调用构造函数,构造a2。
3.将函数用运算符重载赋值给a2。
优化:与上题相同的拷贝构造的优化,还有运算符重载与构造函数的优化。
最后一个:
1.构造函数与赋值运算符的相遇。
2.两次函数的调用。
优化:构造函数与赋值运算符的优化,函数调用的优化,连续两次的函数的调用将第一次的返回时与第二次的参数拷贝进行了优化。
总结:
1.赋值运算符与构造函数相遇,会优化掉赋值运算符。
2.连续的临时变量的赋值,会优化掉一次拷贝函数。
3.连续多次的函数调用,即多次的传参,会优化函数的返回与下一次的传参。