C++类模板不同特化交叉引用时出现重复实例化错误如何解决

问题根源 #

1. 基础笔误：你提供的Double.h中特化的类仍为Something<float>，需要改为Something<double>，这是需要先修正的底层错误。
2. 头文件循环包含，且特化类互相引用时未做前向声明，导致编译器在某一特化的完整定义可见前就触发了隐式实例化，后续遇到正式特化定义时就会抛出重复实例化/定义错误。

具体解决方案 #

步骤1：为所有头文件添加防护 #

所有头文件都要加头文件保护，避免重复包含，Visual Studio 可直接使用#pragma once，也可使用兼容更广的#ifndef宏防护。

步骤2：用前向声明替代交叉包含 #

两个特化的头文件不需要互相包含，仅需提前声明对应特化类的存在，即可支持函数签名中使用该类型作为参数或返回值。

步骤3：拆分类内函数的声明与实现 #

涉及访问另一特化成员的函数，不要在类内部写实现，将实现放到两个特化的完整定义都可见的位置（比如.cpp文件，或者独立的实现头文件）即可。

代码示例 #

Template.h

#ifndef TEMPLATE_H
#define TEMPLATE_H
#include <type_traits>

template <typename T>
class Something {
public:
    static_assert(std::is_floating_point_v<T>, "Floating Point only");
};
#endif

float.h

#ifndef FLOAT_H
#define FLOAT_H
#include "Template.h"
#include <string>

// 前向声明double特化，无需包含Double.h
template<>
class Something<double>;

template<>
class Something<float> {
public:
    std::string Name = "Float";
    void DoSomething();
    // 仅写函数声明，不写实现
    void SayDouble(Something<double> _D);
};
#endif

Double.h

#ifndef DOUBLE_H
#define DOUBLE_H
#include "Template.h"
#include <string>

// 前向声明float特化，无需包含float.h
template<>
class Something<float>;

template<>
class Something<double> {
public:
    std::string Name = "Double";
    void DoSomething();
    // 仅写函数声明，不写实现
    void SayFloat(Something<float> _F);
};
#endif

Something.cpp（存放函数实现）

#include "float.h"
#include "Double.h"
#include <iostream>

void Something<float>::DoSomething() {
    std::cout << "Float Thing\n";
}

void Something<float>::SayDouble(Something<double> _D) {
    std::cout << _D.Name << '\n';
}

void Something<double>::DoSomething() {
    std::cout << "Double Thing\n";
}

void Something<double>::SayFloat(Something<float> _F) {
    std::cout << _F.Name << '\n';
}

如果需要把实现放在头文件中，可新增一个独立的实现头文件，同时包含float.h和Double.h后写加inline关键字的实现即可。

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