C++对象的生命周期

在C++中，对象的生命周期指的是对象从创建到销毁的整个过程。C++提供了多种对象生命周期管理方式，包括自动存储（局部变量）、静态存储、动态存储和线程存储。每种存储类型的对象都有不同的生命周期特性。以下是对这些存储类型及其生命周期的详细介绍：

1. 自动存储（Automatic Storage）

自动存储通常用于函数内部的局部变量。这些变量在定义时创建，并在离开作用域时销毁。

示例代码

#include <iostream>

void func() {
    int localVar = 10; // localVar 是一个自动存储变量
    std::cout << "localVar: " << localVar << std::endl;
} // localVar 在这里被销毁

int main() {
    func();
    // localVar 已经被销毁，无法访问
    return 0;
}

2. 静态存储（Static Storage）

静态存储用于静态变量和全局变量。这些变量在程序开始时创建，并在程序结束时销毁。静态变量在第一次使用时初始化，并且其生命周期贯穿整个程序运行期间。

示例代码

#include <iostream>

int globalVar = 0; // 全局变量

void globalVariableDemo() {
    globalVar++;
    std::cout << "globalVar: " << globalVar << std::endl;
}

void func() {
    static int staticVar = 10; // staticVar 是一个静态存储变量
    std::cout << "staticVar: " << staticVar << std::endl;
    staticVar++;
}

int main() {
    func(); // 输出 10
    func(); // 输出 11
    globalVariableDemo(); // 输出 globalVar: 1
    globalVariableDemo(); // 输出 globalVar: 2
    return 0;
}

生命周期的具体过程

• 程序启动：
  程序启动时，静态变量和全局变量的内存会被分配并初始化。这通常在程序的入口点（如 main 函数）之前完成。
• 程序执行：
  在程序的执行过程中，静态变量和全局变量一直存在于内存中，可以随时被访问和修改。
  静态变量在其作用域内（如函数或类）首次被调用时初始化，而全局变量在程序启动时初始化。
• 程序结束：
  当程序执行完毕（例如 main 函数返回或调用 exit 函数时），静态变量和全局变量会被销毁。这通常包括调用这些变量的析构函数（如果有的话），然后释放它们占用的内存。

3. 动态存储（Dynamic Storage）

动态存储用于动态分配的内存，通常使用 new 和 delete 操作符来管理。这些对象在显式分配时创建，并在显式释放时销毁。

示例代码

#include <iostream>

int main() {
    int* dynamicVar = new int(10); // 动态分配内存
    std::cout << "dynamicVar: " << *dynamicVar << std::endl;

    delete dynamicVar; // 释放动态分配的内存
    dynamicVar = nullptr; // 避免悬空指针

    return 0;
}

4. 线程存储（Thread Storage）

线程存储用于线程局部存储（TLS）变量。这些变量在线程开始时创建，并在线程结束时销毁。C++11 引入了 thread_local 关键字，用于声明线程局部存储变量。

示例代码

#include <iostream>
#include <thread>

thread_local int tlsVar = 0; // 线程局部存储变量

void threadFunc(int id) {
    tlsVar = id;
    std::cout << "Thread " << id << ": tlsVar = " << tlsVar << std::endl;
}

int main() {
    std::thread t1(threadFunc, 1);
    std::thread t2(threadFunc, 2);

    t1.join();
    t2.join();

    return 0;
}

总结

自动存储（Automatic Storage）：
生命周期：从定义到离开作用域。
用途：函数内部的局部变量。

静态存储（Static Storage）：
生命周期：从程序开始到程序结束。
用途：静态变量和全局变量。

动态存储（Dynamic Storage）：
生命周期：从显式分配到显式释放。
用途：动态分配的内存（使用 new 和 delete）。

线程存储（Thread Storage）：
生命周期：从线程开始到线程结束。
用途：线程局部存储变量（使用 thread_local 关键字）。

理解这些存储类型及其生命周期有助于编写更高效和可靠的C++代码，特别是在资源管理和多线程编程中。