C++头文件static关键字用法示例及链接重复定义问题咨询

链接报错属于正常现象 #

该报错完全符合C++语言规则，原因如下：

• C/C++的头文件内容会在预处理阶段被完整插入到所有#include该头文件的翻译单元（即每个独立编译的.cpp文件）中。
• 未加static修饰的全局变量、非成员函数默认是外部链接属性：符号会暴露给所有翻译单元，整个程序中只能存在一份定义，否则链接时就会触发多重定义错误。
  你调整后的代码中general.h被general.cpp和main.cpp同时引入，相当于两个翻译单元都定义了全局变量y和函数g()，因此会触发链接报错。

而带static修饰的全局变量、函数是内部链接属性：每个引入对应头文件的翻译单元会生成独立的、仅当前翻译单元可见的符号副本，不同翻译单元的同名static符号互不干扰，因此不会出现多重定义错误。

正确模拟static关键字作用的方法 #

第一步：修正非static部分代码解决链接错误 #

要对比static和非static的行为差异，需要把非static的定义从头部移到.cpp中，仅在头文件保留声明：

1. 修改general.h：

// 仅保留声明，定义放到general.cpp
extern int y;
int& g();
void call_general();

2. 修改general.cpp：

#include "general.h"
// 全局唯一的定义
int y = 0;
int& g() {
    static int z = 0;
    return z;
}
void call_general(){
    y = 10;
    g() = 10;
}

第二步：编写测试代码对比行为 #

#include <iostream>
#include "static.h"
#include "general.h"

int main() {
    call_static();
    call_general();

    // 非static的全局符号全局唯一，call_general修改后的值会生效
    std::cout << "非static符号测试：y = " << y << "，g() = " << g() << std::endl;
    // 输出：非static符号测试：y = 10，g() = 10

    // static符号每个翻译单元独立，call_static修改的是static.cpp中的副本，和main.cpp中的副本无关
    std::cout << "static符号测试：x = " << x << "，f() = " << f() << std::endl;
    // 输出：static符号测试：x = 0，f() = 0
}

以上输出结果可以直观体现头文件中static的作用：头文件定义的static全局变量、函数，每个翻译单元持有独立副本，修改一个翻译单元的副本不会影响其他翻译单元的对应符号。

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