C++模板类代码置于源文件方案失效，求解决方法

错误原因 #

你的代码出现function template has already been defined错误，核心原因是循环包含导致模板定义重复引入：头文件MyClass.h包含了MyClass.cpp，而MyClass.cpp又回包含MyClass.h，使得模板函数的定义被多次注入到编译单元中，触发重复定义冲突。

针对仅支持两种类型的可行方案 #

既然你的模板类仅需适配特定两种类型，最合规的方式是头文件声明模板类，源文件实现并显式实例化目标类型，具体操作如下：

1. 调整头文件（MyClass.h） #

移除对.cpp文件的包含，仅保留模板类的声明：

#pragma once

template<template<typename> class S>
struct MyClass
{
    void doSomething();
};

2. 修改源文件（MyClass.cpp） #

包含头文件后实现成员函数，最后显式实例化你需要支持的两种模板类型：

#include "MyClass.h"
#include <iostream>

// 提前声明需要实例化的模板类型，避免编译报错
template<class P>
struct Something;
// 假设第二种支持类型是AnotherThing，同样声明
// template<class P>
// struct AnotherThing;

template<template<typename> class S>
void MyClass<S>::doSomething()
{
    std::cout << "hello world" << std::endl;
}

// 显式实例化指定的两种类型
template struct MyClass<Something>;
// template struct MyClass<AnotherThing>;

3. 主函数文件（main.cpp） #

保持原有代码结构即可：

#include "MyClass.h"

template<class P>
struct Something{};

int main()
{
    MyClass<Something> mc;
    mc.doSomething();
}

临时调试方案（不推荐长期使用） #

如果不想用显式实例化，也可以给模板函数加上inline关键字，绕过重复定义检查：

// MyClass.cpp中修改函数定义
template<template<typename> class S>
inline void MyClass<S>::doSomething()
{
    std::cout << "hello world" << std::endl;
}

但这种方式本质上还是将实现暴露给所有包含头文件的编译单元，不符合你“将代码拆分到源文件”的核心需求，仅适合临时调试场景。

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