C++多源文件引入x.h报函数多重定义链接错误该如何解决？

• C++中，普通函数模板默认符合*单一定义规则（ODR）*的多定义豁免：只要多个编译单元（TU）中的模板定义完全一致，链接器会自动合并处理，不会报重定义。
• 但函数模板的全特化版本本质是普通函数，不属于模板范畴，默认不享有ODR多定义豁免。
• 头文件保护符#pragma once仅能避免单个编译单元内重复包含头文件，无法跨编译单元阻止重复定义生成。你代码中针对T=B的f全特化实现直接写在头文件中，当x.h被main.cpp和x.cpp两个编译单元同时包含时，两个目标文件中都会生成该函数的独立定义，链接阶段就会触发多重定义错误。

有两种常用的修复方式：

方案1：为全特化函数添加inline修饰 #

给全特化的f函数加上inline关键字，使其符合ODR的多定义豁免规则，修改后的x.h对应代码如下：

// 通用模板定义保持不变
template <class T>
void f(A& a, const T& t) { std::cout << a.x++ << ": " << t << std::endl; } 

// 给全特化版本加inline修饰
template <>
inline void f(A& a, const B& b) { std::cout << a.x++ << ": " << b.x << "," << b.y << std::endl; }

这个方案改动最小，适合逻辑简单的小函数。

方案2：把全特化函数的实现移到源文件中 #

头文件中只保留全特化的声明，实现放到单独的x.cpp里，确保全局只有一份定义：

修改后x.h代码： #

// 通用模板定义保留在头文件
template <class T>
void f(A& a, const T& t) { std::cout << a.x++ << ": " << t << std::endl; } 

// 头文件只保留全特化声明
template <>
void f(A& a, const B& b);

修改后x.cpp代码： #

#include "x.h"

// 全特化实现移到源文件
template <>
void f(A& a, const B& b) { std::cout << a.x++ << ": " << b.x << "," << b.y << std::endl; }

这个方案适合实现逻辑复杂的函数，也能减少头文件依赖，加快编译速度。

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