如何在.h文件定义变量模板及其特化？递归模板重复定义问题求解

你的问题在于显式特化的Factorial<0>是全局符号，当头文件被多个源文件包含时，每个编译单元都会生成一份该变量的定义，最终触发链接阶段的重复定义错误；同时由于递归终止条件需要编译期可见，又不能将特化移到.cpp文件中。

下面是几种可行的解决方法：

方法1：给特化版本添加inline关键字（C++17+） #

在C++17中，inline关键字可用于变量，允许同一变量在多个编译单元中存在定义，链接时会自动合并为单一实例，同时保持编译期可见性：

template <int N>
int Factorial = N * Factorial<N-1>;

template <>
inline int Factorial<0> = 1;

方法2：改用constexpr变量模板（推荐，C++17+） #

将变量模板声明为constexpr，此时变量模板的特化默认具备inline属性，既满足编译期计算的需求，又解决了链接冲突：

template <int N>
constexpr int Factorial = N * Factorial<N-1>;

template <>
constexpr int Factorial<0> = 1;

方法3：使用类模板的静态constexpr成员（兼容C++11及以上） #

如果需要兼容更早的C++标准，可以改用类模板的静态常量成员，这种方式天然不会出现链接重复定义问题：

template <int N>
struct Factorial {
    static constexpr int value = N * Factorial<N-1>::value;
};

template <>
struct Factorial<0> {
    static constexpr int value = 1;
};

使用时通过Factorial<5>::value的形式访问阶乘值。

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