[Effective C++]条款26:尽可能延后变量定义的出现时间

.
在C++中，尽可能延后变量定义的出现时间，主要原因是为了提供代码的可读性，减少不必要的开销以及避免潜在的错误。
1、代码执行过程中抛出异常

• 如果在代码开头定义了变量，但在后续代码中抛出了异常，可能导致变量在未被使用的情况下就被构造和析构，造成资源浪费

#include <iostream>
#include <stdexcept>

void processData(bool shouldThrow) {
    std::string data = "Some data"; // 过早定义变量
    if (shouldThrow) {
        throw std::runtime_error("An error occurred!");
    }
    std::cout << data << std::endl; // 可能不会执行
}

// 修改后代码
void processData(bool shouldThrow) {
    if (shouldThrow) {
        throw std::runtime_error("An error occurred!");
    }
    std::string data = "Some data"; // 延后定义变量
    std::cout << data << std::endl;
}

int main() {
    try {
        processData(true);
    } catch (const std::exception& e) {
        std::cerr << e.what() << std::endl;
    }
    return 0;
}

2、对象使用前先调用构造函数，接着进行赋值操作

• 在定义变量时未初始化，而是先调用默认构造函数，再通过赋值操作设置值，会导致额外的开销。可以直接通过构造函数初始化变量

#include <iostream>
#include <string>

void processData(const std::string& input) {
    std::string data; // 默认构造
    data = input;     // 赋值操作
    std::cout << data << std::endl;
}

//修改后代码
void processData(const std::string& input) {
    std::string data = input; // 直接通过构造函数初始化
    std::cout << data << std::endl;
}

int main() {
    processData("Hello, World!");
    return 0;
}

3、循环语句中构造函数和析构函数的调用情况
3.1、在循环内构造和赋值

• 成本： n个构造函数 + n个析构函数

void processInLoop() {
    for (int i = 0; i < 3; ++i) {
        Widget w("Widget_" + std::to_string(i)); // 在循环内构造
        w = Widget("Assigned_Widget_" + std::to_string(i)); // 在循环内赋值
    }
}

3.2、在循环外构造，在循环内赋值

• 成本： 1个构造函数 + n个赋值 + 1个析构函数
• 具体如何使用，需要根据情况进行成本判断

void processOutsideLoop() {
    Widget w("Initial_Widget"); // 在循环外构造
    for (int i = 0; i < 3; ++i) {
        w = Widget("Assigned_Widget_" + std::to_string(i)); // 在循环内赋值
    }
}

思维导图笔记：