Effective C++——条款26(第5章)

第5章    实现

Implementations

    大多数情况下,适当提出 class(和 class template)定义以及functions(和function template)声明,是花费最多心力的两件事.一旦正确完成它们,相应的实现大多直截了当. 太快定义变量可能造成效率上的拖延;过度使用转型可能导致代码变慢又难维护,又找来微妙难解的错误;返回对象"内部数据的号码牌(handle)"可能破坏封装并留给客户虚吊号码牌(dangling handle);并未考虑异常带来的冲击则可能导致资源泄露和数据败坏;过度热心地 inline 可能引起代码过度膨胀;过度耦合(coupling)则可能导致让人不满意的冗长建置时间(bulid time).
    所有这些问题都可避免,本章逐一解释各种做法.

条款26:    尽可能延后变量定义式的出现时间

Postpone variable definitions as long as possible

    只 要定义了一个变量而其类型带有一个构造函数或析构函数,那么当程序的控制流(control flow) 到达这个变量定义式时,便要承受构造成本;当这个变量 离开其作用域时,便要承受析构成本. 即使这个变量最终并未被使用,仍需耗费这些成本,所以应该尽量避免这种情形.
    或许会认为,不可能定义一个不使用的变量,但话不要说太早!考虑下面这个函数,它计算密码,如果太短则抛出一个异常:

// 这个函数过早定义变量"encrypted"
std::string encrptPassWord(const std::string& password) {
    using namespace std;
    string encrypted;
    if (password.length() < MinimumPasswordLength) {
        throw logic_error("Password is too short");
    }
    ...
    return encrypted;
}

    对象encryted可能会被使用也可能不会,如果有个异常抛出时,它就不会被使用.也就是说 如果这个函数抛出异常,仍要付出encrypted的构造成本和析构成本.所以最好延迟encrypted的定义式,直到确实需要它:

// 这个函数延后"encrypted"的定义,直到真正需要它
std::string encrypPassword(const std::string& password) {
    using namespace std;
    if (password.length() < MinimumPasswordLength) {
        throw logic_error("Password is too short");
    }
    string encrypted;
    ...
    return encrypted;
}

    但这段代码仍然不够有效率,因为encrypted虽获定义却无任何实参作为初值.这意味着调用其default构造函数.许多时候该对对象做的第一次事就是给它个值.通常是通过一个赋值动作达成. 条款4曾解释" 通过default构造函数构造出一个对象然后对它赋值"比"直接在构造时指定初值"效率差.那个分析也适用于此.例如,假如上个函数的...部分为如下所示:

std::string encrypPassword(const std::string& password) {
    ...
    std::string encrypted;
    encrypted = password;
    encrypt(encrypted);
    return encrypted;
}

    更有效率的做法是以password作为encrypted的初值,跳过毫无意义的default构造过程:

// 这是定义并初始化encrypted的最佳做法
std::string encrypPassword(const std::string& password) {
    ...
    std::string encrypted(password);    // 通过copy构造函数定义并初始化
    encrypt(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的某个值);
    ...
}

    如果 class 的一次赋值成本低于一组构造+析构成本,做法A大体而言比较高效,尤其当n值较大的时候.否则做法B或许较好.此外做法A造成名称w的作用域(覆盖整个循环)比做法B更大,有时那对程序的可理解性和易维护性造成冲击. 因此除非(1)确定赋值成本比"构造+析构"成本低,(2)正在处理代码中效率高度敏感的部分,否则应该使用做法B.
     注意:
    尽可能延后变量定义式的出现,这样做可增加程序的清晰度并改善程序效率.