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

1、为什么尽可能延后变量定义式的出现时间？

主要是效率上的考虑。

• 直到必须使用变量的时候才对其进行定义，这样可以减定义对象时候需要的构造函数和销毁变量时析构函数的开销。(定义了变量不一定会用)
• 有初值实参的时候再进行定义变量，比直接使用默认构造函数再赋值的效率要高。

考虑下述代码：

void encrypt(std::string &s)
{
    //具体加密操作;
}

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

    //流控制，判断密码长度
    if(password.length() < MinimumPasswordLength)
    {
        throw loginc_error("Password is too short");
    }

    //具体获取密码加密操作
    encrypted = password;
    encrypt(encrypted);
    return encrypted;
}

假如代码在执行if块时，抛出异常，那就就是定义了 encrypted 但是没有使用它，但是只要定义了就得负担构造函数和析构函数带来的开销。

2、延后变量定义，应该延后到什么时候定义？

确定使用它,且能给它赋初值后。
上述代码的改良版本如下：

void encrypt(std::string &s)
{
    //具体加密操作;
}

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

    //流控制，判断密码长度
    if(password.length() < MinimumPasswordLength)
    {
        throw loginc_error("Password is too short");
    }

    //具体获取密码加密操作
    string encrypted(password);
    encrypt(encrypted);
    return encrypted;
}

3、该在循环内定义变量还是循环外？

考虑如下代码：

循环外定义变量：

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

循环内定义变量：

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

考虑两个版本所需要的开销：

• 实现一，需要一次构造，一次析构，n次赋值操作。
• 实现二，需要n个构造函数，和n个析构函数。

如果一个赋值的成本低于一组构造和析构，那么A比较高效，否则B比较高效。另外A版本造成变量的作用域比B的大，这可能对于程序的易理解性、易维护性有一定的冲击。

总之：除非

• 你知道赋值成本比”析构+构造”成本低
• 或者你正在处理代码中效率高度敏感的部分

否则应该选择做法B。