Item 26:尽可能推迟变量的定义
存在控制流转移的代码中,你可能会不经意间定义无用的变量。例如:
string encryptPassword(const string& password){
string encrypted;
if (password.length() < MinimumPasswordLength) {
throw logic_error("Password is too short");
}
encrypted = password;
encrypt(encrypted);
return encrypted;
}
推迟构造函数的执行
当抛出异常时,encrypted 是无用的根本不需要构造它。所以更好的写法是推迟 encrypted 的构造:
string encryptPassword(const string& password){
if (password.length() < MinimumPasswordLength) {
throw logic_error("Password is too short");
}
string encrypted; // 默认构造函数
encrypted = password; // 赋值运算符
encrypt(encrypted);
return encrypted;
}
推迟到有构造参数时
构造一个对象再给它赋值不如直接用一个值初始化它, 所以上述代码还有改进的余地:直接用 password 来初始化 encrypted:
string encryptPassword(const string& password){
if (password.length() < MinimumPasswordLength) {
throw logic_error("Password is too short");
}
string encrypted(password); // 拷贝构造函数
encrypt(encrypted);
return encrypted;
}
“尽量推迟”在此有了更深刻的含义:变量定义可以一直推迟到你有初始化参数时再进行。
循环中的变量
循环中的变量定义也是一个常见的争论点。这里援引 Scott Meyers 的例子,比如我们有两种写法:
写法A,在循环外定义:
Widget w;
for (int i = 0; i < n; ++i){
w = some value dependent on i;
...
}
写法B,在循环内定义:
for (int i = 0; i < n; ++i) {
Widget w(some value dependent on i);
...
}
- 写法A的代价是:1个构造函数,1个析构函数,n个赋值运算符
- 写法B的代价是:n个构造函数,n个析构函数
但A使得循环内才使用的变量进入外部的作用域,不利于程序的理解和维护。软件工程中倾向于认为人的效率比机器的效率更加难得, 所以推荐采用B来实现。除非:
这段代码是性能的关键,并且赋值比一对构造/析构更加廉价。
总结
- 只要有可能就推迟变量定义。
- 一方面可以避免无用的构造使得程序更高效。
- 另一方面作用域的缩小会使程序更加清晰。
- 变量定义可以一直推迟到你有初始化参数时再进行。
- 对于循环,变量应该尽量定义在循环内部,除非对象的构造和析构代价太大。