C++变量分配机制解析及全局ofstream流的清理与线程使用问题咨询

一、C++里的变量分配是怎么回事？ #

C++中变量的内存分配完全取决于它的存储类型，对应不同的内存区域，生命周期和管理方式也不一样：

• 普通局部变量（自动变量）：比如在函数里写int num = 5;，这类变量存在栈内存里。函数调用的时候自动分配空间，函数执行完立刻释放，全程不用你手动操心。
• 全局变量/局部静态变量：不管是在所有函数外面定义的变量，还是函数里加了static修饰的变量（比如static int count = 0;），都存在静态存储区。程序一启动就给它们分配好空间，直到整个程序退出才释放，而且整个程序运行期间只有这一份实例。
• 动态分配的变量：用new或者malloc创建的变量，比如int* ptr = new int(10);，这类变量在堆内存里。必须手动用delete或free释放，不然会造成内存泄漏。当然C++11之后的智能指针（比如std::unique_ptr）可以帮你自动管理，不用手动释放，能避免很多麻烦。

另外像const常量可能存在只读存储区，但日常开发里主要关注上面三类就够了。

二、关于全局ofstream变量的两个疑问 #

1. 这个ofstream s是全局变量吗？ #

没错！你在main.cpp的文件主体（也就是所有函数外面，包括main函数之外）定义的ofstream s;，属于全局作用域变量，它存在静态存储区里，生命周期从程序启动一直到程序结束，整个程序里的函数（包括其他线程的函数）只要能访问到这个变量，都可以操作它。

2. 关闭流后重新赋值前需要额外清理吗？ #

答案是不需要额外做清理操作，原因如下：

• 当你调用s.close();时，已经关闭了当前关联的文件，流对象s的内部状态会被标记为“已关闭”，但对象本身并没有被销毁。
• 当你执行s = ofstream("anotherone.txt");时，这里调用的是std::ofstream的赋值运算符重载函数。这个函数会自动处理旧的流状态：它会先检查当前流是否还处于打开状态（如果是的话会自动调用close()，不过你已经手动关了，这一步只是冗余但完全无害），然后把新创建的ofstream("anotherone.txt")的状态转移给s，旧的资源会被自动清理掉。

不过这里必须提醒你一个线程安全的大坑：你在主线程操作这个全局s，另一个线程也要操作它，一定要加同步锁（比如std::mutex）！因为std::ofstream本身不是线程安全的，多个线程同时读写这个全局对象会导致未定义行为——比如文件内容乱掉、程序崩溃之类的。

给你个简单的线程安全示例参考：

#include <fstream>
#include <mutex>
#include <thread>
#include <chrono>

std::ofstream s;
std::mutex s_mutex;

// 主线程初始化
int main() {
    {
        std::lock_guard<std::mutex> lock(s_mutex);
        s = std::ofstream("somefile.txt");
    }
    // 启动日志滚动线程
    std::thread roll_thread([](){
        // 模拟每天执行一次
        while(true) {
            std::this_thread::sleep_for(std::chrono::hours(24));
            std::lock_guard<std::mutex> lock(s_mutex);
            s.close();
            s = std::ofstream("anotherone.txt");
        }
    });
    roll_thread.join();
    return 0;
}

内容的提问来源于stack exchange，提问作者Boppity Bop