C++模板坑，一起来issue

[[329857]]

C++开发中通常将类定义放在C ++头文件(.h)中，并将实现放在C ++源文件(.cpp)中。然后，将源文件作为项目的一部分，这意味着将其单独编译。但是，当我们对模板类实施此过程时，将出现一些编译和链接问题。

本文阐述了三种可能的解决方案，帮助大家可以在实现该模板的源文件中创建一个模板类的对象，解决上述问题。

问题复现

头文件声明：

// temp.h 
#ifndef _TEMP_H_ 
#define _TEMP_H_ 
#include <iostream> 
#include <vector> 
template <typename T> 
using Vec = std::vector<T>; 
#define PRINTFMT(x) std::cout << x << " "; 
 
template <typename T> 
void TestTemp(const Vec<T> &v, T target); 
#endif 

头文件实现：

#include "temp.h" 
 
 
template <typename T> 
void TestTemp(const Vec<T> &v, T target) 
{ 
    [=]() { 
        for (auto elem : v) 
            if (elem == target) 
                PRINTFMT(elem); 
    }(); 
} 

报错：

undefined reference to.... 

问题描述：当在.h中声明了模板，.cpp中定义了模板，当main函数去进行模板实例化的时候，在声明处找不到对应的T类型，自然就出问题了。

1.第一种：同一文件

声明及定义都在.h文件中。

// temp.h 
#ifndef _TEMP_H_ 
#define _TEMP_H_ 
#include <iostream> 
#include <vector> 
template <typename T> 
using Vec = std::vector<T>; 
#define PRINTFMT(x) std::cout << x << " "; 
 
template <typename T> 
void TestTemp(const Vec<T> &v, T target) 
{ 
    [=]() { 
        for (auto elem : v) 
            if (elem == target) 
                PRINTFMT(elem); 
    }(); 
} 
#endif 

2.第二种：分离开+引入头文件

采用头文件声明，cpp定义，要想起作用，得在使用处引入两者并且定义处得用特化版本。

例如：

头文件实现：

// Temp.cpp 
#include "temp.h" 
 
void TestTemp(const Vec<int> &v, int target) 
{ 
    [=]() { 
        for (auto elem : v) 
            if (elem == target) 
                PRINTFMT(elem); 
    }(); 
} 
 
template <typename T> 
void TestTemp(const Vec<T> &v, T target) 
{ 
    [=]() { 
        for (auto elem : v) 
            if (elem == target) 
                PRINTFMT(elem); 
    }(); 
} 

实现：

#include "temp.h" 
#include "temp.cpp" 
 
int main() { 
    std::vector<int> v{1,2,3}; 
    int target = 2; 
    TestTemp<int>(v,target); 
 
    return 0; 
} 

3.在末尾引入cpp

只需要在.h头文件末尾引入cpp即可。

头文件只需要声明：

// temp.h 
#ifndef _TEMP_H_ 
#define _TEMP_H_ 
#include <iostream> 
#include <vector> 
template <typename T> 
using Vec = std::vector<T>; 
#define PRINTFMT(x) std::cout << x << " "; 
 
template <typename T> 
void TestTemp(const Vec<T> &v, T target); 
#include "temp.cpp" 
#endif 

头文件定义即可：

// Temp.cpp 
#include "temp.h" 
 
template <typename T> 
void TestTemp(const Vec<T> &v, T target) 
{ 
    [=]() { 
        for (auto elem : v) 
            if (elem == target) 
                PRINTFMT(elem); 
    }(); 
} 

调用处正常调用：

#include "temp.h" 
 
int main() { 
    std::vector<int> v{1,2,3}; 
    int target = 2; 
    TestTemp<int>(v,target); 
 
    return 0; 
} 

在一些开源项目中，这种方式比较常见，只不过这里的.cpp得改为.hpp。其余不变!

4.总结

本节针对日常代码中的难点进行了梳理，提出了几种解决方案。可以简单的把模板理解为一种特殊的宏，模板类不要当作类，在被实例化的时候一定得找到定义，不然只看到声明，就GG了。