提高C++性能的编程技术笔记：临时对象+测试代码

类型不匹配：一般情况是指当需要X类型的对象时提供的却是其它类型的对象。编译器需要以某种方式将提供的类型转换成要求的X类型。这一过程可能会产生临时对象。

按值传递：创建和销毁临时对象的代价是比较高的。倘若可以，我们应该按指针或者引用来传递对象以避免生成临时对象。

按值返回：如果编写的函数是按值返回对象(与引用或者指针相对)，就很可能生成临时对象。

可以使用operator=()消除临时对象。

临时对象会以构造函数和析构函数的形式降低一半的性能。

将构造函数声明为explicit，可以阻止编译器在幕后使用类型转换。

编译器常常创建临时对象来解决类型不匹配问题。通过函数重载可以避免这种情况。

如果可能，应尽量避免使用对象拷贝。按引用传递和返回对象。

在可能是”+、-、*”或者”/”的地方，使用=运算符可以消除临时对象。

以下是测试代码(temporary_object.cpp)：

#include "temporary_object.hpp"
#include 
#include 
#include 

namespace temporary_object_ {

// reference: 《提高C++性能的编程技术》：第五章：临时对象

class Rational {
	friend Rational operator + (const Rational&, const Rational&);

public:
	Rational(int a = 0, int b = 1) : m(a), n(b) {}
private:
	int m; // 分子
	int n; // 分母
};

template
void g(T formalArg)
{

}

std::string f()
{
	std::string s;
	// ....
	return s;
}

int test_temporary_object_1()
{
{ // 对象定义
	// 实例化Rational对象: 只有第一种初始化形式可以保证在编译器的执行过程中不产生临时对象。如果使用第2种或第3种形式，很可能产生临时对象，这依赖于编译器的实现。
	// 实际上，大多数编译器会通过优化省去临时对象,所以此处给出的3种初始化形式在效率上是等效的
	Rational r1(100); // 1
	Rational r2 = Rational(100); // 2
	Rational r3 = 100; // 3
}

{ // 类型不匹配
	// Rational类没有声明接收整形参数的赋值运算符。然而编译器希望右边是Rational对象，这样可以按字节传给左边。所以，编译器必须想办法将我们提供的整形参数转换成Rational对象。幸运的是(对性能来说是不幸的),我们有构造函数知道如何根据一个整形参数创建Rational对象
	// 为了易于编程，编译器可以自由地转换类型。新的C++标准允许我们限制编译器禁止这种转换，可以通过声明构造函数为explicit来实现
	Rational r;
	r = 100;
	// 可以通过重载函数Rational::operator=()以接收整形参数，从而消除临时对象
	// Rational& operator = (int a) { m=a; n=1; return *this; }
	// 同样的原理可以推广到所有的函数调用。假设g()是一个接收string引用参数的函数调用
	// void g(const string& s) { ... }
	// 除非重载g()让它接收char*参数，否则调用g("message")会产生临时的string对象
}

{ // 按值传递
	// 因为存在局部参数formalArg, g()的激活记录在栈上设置了占位符。编译器复制对象t的内容至g()位于栈上的formalArg中。对此，一种常用的做法是生成临时对象
	// 编译器将创建int类型的临时对象，并且使用t作为输入参数来复制构造它.然后临时对象作为实参传递给g()。该新创建的临时对象将按引用方式传递给g(). 
	int t;
	g(t); 
}

{ // 按值返回
	// f()的返回值是string对象，编译器生成临时对象来存储返回值。然后存储f()返回值的临时对象赋给左边的对象p
	std::string p;
	p = f();

	std::string s1 = "Hello";
	std::string s2 = "Wold";
	std::string s3_1 = s1 + s2; // 此处没有临时对象
	std::string s3_2;
	s3_2 = s1 + s2; // 此处产生临时对象
}

{ // 使用op=()消除临时对象
	std::string s1, s2, s3;
	s1 = s2 + s3; // 此处产生临时对象
	s3 = s1; // operator=(),没有临时对象
	s3 += s2; // operator+=(),没有临时对象}
}

{ // 两种方式计算s5
	std::string s1, s2, s3, s4, s5;
	// 1. 产生三个临时对象
	s5 = s1 + s2 + s3 + s4;

	// 2. 虽然"丑陋"但更高效，因为它不产生临时对象
	s5 = s1;
	s5 += s2;
	s5 += s3;
	s5 += s4;
}

	return 0;
}

} // namespace temporary_object_

GitHub：https://github.com/fengbingchun/Messy_Test