17370845950

静态局部变量仅在首次执行到定义语句时初始化一次，后续调用保留上次值；其生命周期为整个程序运行期，但作用域仍限于函数内。

静态局部变量只初始化一次，后续调用保留上次值

函数内声明的 static 变量生命周期贯穿整个程序运行期，但作用域仍限于该函数。它在**首次执行到定义语句时初始化一次**，之后每次调用函数都跳过初始化，直接使用上一次留下的值。

常见错误是误以为它每次调用都重置，或混淆了“初始化”和“赋值”——static int x = 0; 中的 = 0 是初始化，仅发生一次；若写成 static int x; x = 0;，则每次都会执行赋值。

void counter() {
    static int count = 0; // ✅ 只初始化一次
    count++;
    std::cout << count << "\n";
}
// 第一次调用输出 1，第二次输出 2，依此类推

类内静态成员变量必须在类外定义并分配存储空间

类中声明 static 成员变量（如 static int s_value;）只是声明，不分配内存。必须在某个 .cpp 文件中**单独定义一次**，否则链接时报错 undefined reference to 'ClassName::s_value'。

• 定义时不能加 static 关键字
• 需加上作用域限定符（如 ClassName::s_value）
• 若含 const 且为整型字面量，可在类内直接初始化（C++11 起），但仍需类外定义（除非声明为 inline 或用于 constexpr 场景）

// header.h
struct Example {
    static int s_count;
    static const int s_max = 100; // ✅ 类内初始化（仅限 const 整型）
};
// impl.cpp
int Example::s_count = 0; // ✅ 必须有且仅有一处定义

静态成员函数只能访问静态成员，没有 this 指针

static 成员函数属于类而非对象，编译器不传入 this 指针，因此它无法访问非静态数据成员或调用非静态成员函数。常见用途是工厂函数、工具方法或配合静态变量做全局计数/缓存。

立即学习“C++免费学习笔记（深入）”；

容易踩的坑：在静态函数里直接写 member_var 或调用 non_static_func()，编译器会报错 invalid use of 'this' outside of a non-static member function 或 non-static member referenced in static member function。

class Logger {
public:
    static void log(const std::string& msg) {
        s_log_count++; // ✅ OK：静态成员
        // last_msg = msg; // ❌ 错误：last_msg 是非静态成员
        // save_to_file(); // ❌ 错误：非静态函数
    }
private:
    static int s_log_count;
    std::string last_msg; // 非静态，静态函数不可见
};

静态变量的线程安全性取决于初始化时机和 C++ 标准版本

C++11 起，函数内静态局部变量的初始化是线程安全的（即首次进入时自动加锁保证只初始化一次）。但类静态成员变量的定义式（如 int Example::s_count = 0;）是在程序启动时执行的，其初始化顺序跨翻译单元是未定义的，可能引发静态初始化顺序惨案（Static Initialization Order Fiasco）。

规避建议：

• 优先用“局部静态变量 + 函数返回引用”的方式替代全局静态对象（Meyers 单例惯用法）
• 避免在不同 .cpp 文件的全局静态变量构造函数中相互依赖
• 对类静态成员，若需复杂初始化，改用 static 函数返回局部静态实例

class Config {
public:
    static Config& instance() {
        static Config inst; // ✅ C++11 线程安全初始化
        return inst;
    }
private:
    Config() { /* 初始化逻辑 */ }
};

静态变量的“静态性”体现在生命周期和作用域两个维度，而不仅是“属于类”。最容易被忽略的是：类静态成员的定义与声明分离是强制要求，不是可选项；函数内静态变量的线程安全仅覆盖初始化过程，不覆盖后续读写——如果多个线程并发修改它，仍需手动同步。