C++静态成员变量多重定义问题：模板方案解决思路

咱们先拆解问题根源：你在a.hpp里写的int S::v = 0;是静态成员变量的定义，不是单纯的声明。虽然加了#pragma once防止头文件在单个编译单元里重复包含，但这个保护管不了多个编译单元。

当b.cpp和main.cpp各自包含a.hpp时，编译器会把这个定义分别编译进b.o和main.o两个目标文件。到了链接阶段，链接器发现同一个符号S::v被定义了两次，直接就抛出“multiple definition of S::v”的错误了。

模板的特性刚好能绕开这个问题——模板的静态成员定义属于模板的一部分，不会在每个编译单元里生成独立的定义，链接时只会实例化一次。修改a.hpp如下：

// a.hpp: #pragma once
// 加个默认模板参数，用起来和原来几乎一样
template <typename Dummy = void>
struct S { static int v; };

// 模板静态成员的定义
template <typename Dummy>
int S<Dummy>::v = 0;

原来的业务代码几乎不用改，只需要把S::v换成S<>::v（或者S<void>::v）就行：

// b.cpp里的addOne()可以直接写成：
void addOne() { S<>::v += 1; }

// main.cpp里：
int main() {
    S<>::v = 2;
    addOne();
    S<>::v += 2;
    std::cout << S<>::v << std::endl;
}

现在再执行编译命令g++ -std=c++14 main.cpp b.cpp && ./a.out，就能正常运行，输出5啦。

除了模板，还有更通用的解决办法：

• 把静态成员定义移到单独的cpp文件：新建a.cpp，里面写#include "a.hpp" int S::v = 0;，a.hpp里只保留struct S { static int v; };。这样整个项目里只有一个S::v的定义，链接时就不会冲突。
• 用inline关键字（C++17及以上支持）：把int S::v = 0;改成inline int S::v = 0;，这样即使多个编译单元包含这个定义，链接器也会自动合并成一个。

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