C++结构体模板成员函数cpp实现报T未定义如何解决

你遇到的报错有两层原因：

1. 直接触发identifier "T" is undefined的原因：在cpp文件中编写模板类的成员函数时，没有提前声明模板参数列表。T作为模板参数的作用域仅在template<typename T>声明的覆盖范围内有效，你直接写Integer<T>::setUint时，编译器没有识别到T是模板参数，自然会报未定义错误。
2. 就算补上模板参数声明，把模板类的实现放在cpp源文件中还会触发链接错误：C++模板是编译期生成实例的机制，编译器在调用模板的代码位置必须能看到模板的完整实现，才能针对你传入的具体类型（比如int、uint64_t等）生成对应类型的可执行代码，常规的头文件放声明、cpp放实现的分离编译模式对模板不适用。

你可以根据自己的代码习惯选以下任意一种方案：

方案1：成员函数直接实现在结构体定义内（最简便，推荐日常使用） #

直接把setUint的实现写在.hpp头文件的结构体定义内部，不需要单独拆分到cpp文件：

template<typename T>
struct Integer
{
    T val;
    void setUint(const T &input)
    {
        val = input;
    }
};

这种写法最不容易出错，也是C++模板类最常用的编写方式。

方案2：实现写在同头文件的结构体定义外（适合长函数拆分） #

如果函数逻辑较长、不想把实现挤在结构体定义里，可以把成员函数实现写在同一个.hpp头文件中，放在结构体定义的后方即可，注意必须在函数实现前补上模板参数声明：

// 结构体定义先写在头文件里
template<typename T>
struct Integer
{
    T val;
    void setUint(const T &input);
};

// 紧接着在同一个头文件里写实现，不能放到cpp中
template<typename T>
void Integer<T>::setUint(const T &input)
{
    val = input;
}

方案3：实现放cpp+显式实例化（仅适合类型固定的特殊场景） #

如果你有特殊需求一定要把实现放在cpp文件里，除了补上模板参数声明外，还需要在cpp中对你所有会用到的模板类型做显式实例化，否则会出现链接找不到符号的错误：
cpp文件中的正确写法如下：

// 首先要包含定义Integer结构体的头文件
#include "integer.hpp"

// 必须先声明模板参数，解决T未定义的报错
template<typename T>
void Integer<T>::setUint(const T &input)
{
    val = input;
}

// 针对你实际会用到的所有T类型，逐一声明显式实例化
// 比如你需要用到int、unsigned int两种类型，就写如下两行
template struct Integer<int>;
template struct Integer<unsigned int>;

注意：这种方案灵活性很差，后续每需要支持一种新的T类型，都要回到cpp文件里新增对应的显式实例化代码，完全丢失了模板支持任意自定义类型的优势，非特殊场景不推荐使用。

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