Effective C++ 条款26_尽可能延后变量定义式的出现时间_非同凡响

Postpone variable definitions as long as possible

只要你定义了一个变量而其类型带有一个构造函数或析构函数，那么当程序的控制流（control flow）到达这个变量的定义式时，你便得承受构造成本；当这个变量离开其作用域时，你便得承受析构成本。即使这个变量最终并未被使用，仍需耗费这些成本，所以你应该尽可能避免这种情形。

或许你会认为，你不可能定义一个不使用的变量，但话不要说的太早，看看下面这个函数，它计算通行密码的加密版本而后返回，前提是密码够长。如果密码太短，会抛出异常，类型为 logic_error（定义于 C++ 标准程序库）:

// 这个函数过早定义变量 " encrypted "
std::string encryptedPassword(cosnt std::string& password){
	using namespace std;
	string encrypted;
	if(password.length() < MininumPasswordLength){
		throw logic_error("Password is too short");
	}
	...					// 必要动作，比如能将一个加密后的密码置入变量 encrypted 内
	return encrypted;
}

对象 encrypted 在此函数中并非完全未被使用，但如果有个异常被丢出，它就真的没被使用了。也就是说如果函数 encryptedPassword 丢出异常，你仍得付出 encrypted 的构造和析构成本。所以最好延后 encrypted 的定义式，直到确实需要它：

// 这个函数延后定义变量 " encrypted "，直到真正需要它
std::string encryptedPassword(cosnt std::string& password){
	using namespace std;
	if(password.length() < MininumPasswordLength){
		throw logic_error("Password is too short");
	}
	string encrypted;
	...					// 必要动作，比如能将一个加密后的密码置入变量 encrypted 内
	return encrypted;
}

但是这段代码仍然不够秾纤合度，因为 encrypted 虽获定义，但却无任何实参作为初值。这意味着调用的是其 default 构造函数。许多时候你该对对象做的第一次事就是给它个值，通常是通过一个赋值动作完成。
像下面这样：

// 这个函数延后定义变量 " encrypted "并初始化它,直到真正需要它
std::string encryptedPassword(cosnt std::string& password){
	using namespace std;
	if(password.length() < MininumPasswordLength){
		throw logic_error("Password is too short");
	}
	string encrypted(password);
	...					// 必要动作，比如能将一个加密后的密码置入变量 encrypted 内
	return encrypted;
}

这让我们联想起本条款所谓 “ 尽可能延后 ” 的真正意义。你不止应该延后变量的定义，直到非得使用该变量的前一刻为止，甚至应该尝试延后这份定义直到能够给它初值实参为止。如果这样，不仅能够避免构造（和析构）非必要对象，还可以避免无意义的 default 构造行为。更深一层说，以 “ 具明显意义之初值 ” 将变量初始化，还可以附带说明变量的目的。

“ 但循环怎么办？”

// 方法 A: 定义于循环外

Widget w;
for(int i = 0; i < n; ++i){
	w = 取决于i的某个值
	...
}

// 方法 B: 定义于循环内

for(int i = 0; i < n; ++i){
	Widget w = 取决于i的某个值
	...
}

注：这里把对象的类型从 string 改为 Widget，以免造成读者对于 “ 对象执行构造、析构、或赋值动作所需的成本 ” 有任何偏见。

上述两方法的成本如下：
☆ A：一个构造函数 + 一个析构函数 + n 个赋值操作
☆ B：n 个构造函数 + n 个析构函数
tips: 除非你知道赋值成本比 “ 构造 + 析构 ” 成本低，或你正在处理代码中效率高度敏感的部分，否则你应该使用做法 B。

请记住：

• 尽可能延后变量定义式的出现。这样做可增加程序的清晰度并改善程序效率。