17370845950

const 核心语义是“只读”，约束访问权限而非内存布局；static 控制作用域可见性与对象生命周期；二者正交组合时，const 限定不可修改，static 限定链接性与生存期。

const 修饰变量时：值不可变，但存储位置不固定

const 的核心语义是“只读”，它约束的是**访问权限**，而非内存布局或生命周期。声明 const int x = 42; 后，编译器通常会把 x 当作编译期常量（若满足常量表达式条件），可能直接内联替换，也可能分配在只读数据段（如 .rodata）；但如果 x 是局部非字面量 const（比如 const int y = func();），它仍会在栈上分配，只是禁止后续赋值。

常见误区是认为 const 一定导致“不占内存”或“必须内联”——其实取决于初始化方式和使用上下文。例如函数参数用 const int& 传参，是为了避免拷贝且禁止修改，但引用本身仍指向某处实际内存。

• 类内 static const 成员整型可直接在类定义里初始化（如 static const int N = 10;），其他类型需在类外定义
• const 指针和指针 const 容易混淆：int* const p = &x; 表示指针不可变，const int* p = &x; 表示所指内容不可变
• 函数返回 const 值（如 const std::string foo();）通常无意义，因返回的是临时对象，const 无法阻止绑定到非 const 引用（C++11 后已禁止）

static 修饰变量时：改变链接性与生存期，不保证只读

static 的作用完全不同于 const：它控制**作用域可见性**和**对象生命周期**。局部 static 变量（如函数内 static int counter = 0;）只初始化一次，生存期贯穿整个程序运行，但依然可被修改；全局 static 变量或函数则限制为本编译单元内可见（内部链接），避免符号冲突。

注意：C++17 起，inline 变量可替代头文件中 static 数据成员的定义需求，但 static 在类内声明仍是必需的。

• 类内 static 成员变量必须在类外定义（除非是 constexpr 或 C++17 inline）
• 静态局部变量的初始化是线程安全的（C++11 起），首次控制流到达时执行，且有动态初始化顺序保证
• static 函数不能是虚函数，也不能被取地址后跨编译单元调用（因无外部链接）

const static 组合使用：既限定只读，又限定作用域/生命周期

二者组合不是冗余，而是正交特性的叠加。static const int buf_size = 1024; 在文件作用域下，表示该常量仅在当前 .cpp 文件内可见（static），且值不可更改（const）。类内写成 static const int MAX = 100;，则该常量属于类，所有实例共享，不可修改，且若为整型字面量，无需类外定义。

真正容易出错的是误以为 static const 成员自动具有外部链接——它没有。如果在头文件中定义非 inline 的 static const 成员，会导致 ODR（One Definition Rule）违规，链接时报重复定义错误。

• C++17 前，头文件中想定义类内 static const 非整型成员（如 static const std::string name;），必须在某个 .cpp 中定义一次
• C++17 起可用 inline static const std::string name = "foo"; 安全地放在头文件里
• 模板类中的 static const 成员每个实例化版本都独立，不共享

const 和 static 在函数参数与返回值中的不同影响

函数签名里的 const 和 static 完全不在同一维度：static 不能用于普通函数参数或返回值（语法错误），只能用于函数自身（表示内部链接）；而 const 在参数中极为常见，用于修饰值、引用或指针，影响调用方能否修改实参或函数能否修改形参所指内容。

例如 void process(const std::vector

& data) 表明函数不会修改 data，这对 const 正确性（const-correctness）至关重要；而 static void helper() 表示该辅助函数只在本文件内使用，不影响其他模块符号表。

• 返回 const 值类型（如 const int foo();）几乎无意义，现代编译器通常忽略
• 返回 const 引用或指针（如 const std::string& name() const;）很常见，配合成员函数 const 限定符，构成完整只读接口
• static 成员函数没有 this 指针，不能访问非 static 成员，但可访问 static 成员（包括 const static）

复杂点在于：const 是类型系统的一部分，参与重载决议和模板推导；static 是链接和存储期属性，不改变类型。两者混用时，要时刻分清哪部分影响二进制布局，哪部分影响编译期检查。