《Effective C++》学习笔记（条款26：尽可能推迟变量定义)

最近开始看《Effective C++》，为了方便以后回顾，特意做了笔记。若本人对书中的知识点理解有误的话，望请指正！！！

每当定义一个变量时，就会带来构造和析构的运行成本。因为代码运行到定义时会调用对象的构造函数，当离开作用域时便会调用析构函数。即使我们不使用这个变量，仍需耗费这些成本。或许我们会认为，我们不可能定义一个不使用的变量，但这还是有可能发生的，看下面的例子：

string encryptPassword(const string& password){
    using namespace std;
    string encrypted; 								//定义太早了

    if(password.length() < minPasswordLength)
        throw logic_error("Password too short");	//抛出异常
	
    ...												//必要动作，加密
        
    return encrypted;
}

变量 encrypted 在此函数中并非完全未被使用，但如果有个异常被抛出，它就真的没被使用，但你仍需耗费它的构造和析构成本。因此我们最好推迟 encrypted 的定义，直到我们保证能够用到它：

string encryptPassword(const string& password){
    using namespace std;

    if(password.length() < minPasswordLength)
        throw logic_error("Password too short");	//抛出异常
	
    string encrypted;								//调用了默认构造
    encrypted = password;							//调用了拷贝赋值运算符
    ...												//必要动作，加密
        
    return encrypted;
}

其实还可以进一步优化，跳过 encrypted 的默认构造，直接使用 password 作为参数调用拷贝构造：

string encrypted;			//调用了默认构造
encrypted = password;		//调用了拷贝赋值运算符
//替换为
string encrypted(password);	//通过拷贝构造函数定义并初始化

这告诉了我们“推迟定义”的真正意义：你不仅要把变量定义推迟到非得使用该变量的前一刻为止，还要尝试推迟这份定义直到能够给它初值实参为止。这样可以不仅可以避免构造（和析构）非必要对象，还可以避免无意义的默认构造。

那么在循环环境下该怎么办呢？如果变量在循环内使用，那么把它定义在循环外，还是循环内呢？

//A:在循环外面定义
Widget w;
for(int i=0; i<n, i++){
    w=...;
  	...
}

//B:在循环里面定义
for(int i=0; i<n; i++){
  	Widget w(...);
  	...
}

在 Widget 函数内部，以上两种写法的成本如下：

• 做法 A ：1个构造函数 + 1个析构函数 + n个赋值操作
• 做法 B ：n个构造函数 + n个析构函数

如果赋值成本 < (构造+析构) 成本的类，做法A是更高效的选择，尤其是当n很大的时候，反之做法B则是更好的选择。但是做法 A中的 w 的作用域比做法B要大，有时是不利于程序的可读性和可维护性的。因此除非你知道赋值成本 < (构造+析构)成本，而且这段代码要更注重效率，那么我们应该默认使用B。

条款27：尽量少做类型转换