Visual studio模板方法声明与实现分离编译报错：链接错误

以你之姓@ 2023-01-04 11:49 133阅读 0赞

## 问题描述： ##

以下是我的部分代码,采用的是将模板方法getArray声明和实现分离的方式：

//_public.h
    #ifndef _PUBLIC_H
    #define _PUBLIC_H 1
    //在堆上申请数组的模板方法
    template<typename T>
    T** getArray(int row, int col);
    #endif //

//_public.cpp
    #include "_public.h"
    
    template <typename T>
    T** getArray(int row, int col)
    { 
        T** matrix = new T * [row];
        for (int i = 0; i < row; i++)
        { 
            matrix[i] = new T[col];
            memset(&matrix[i], 0, sizeof(matrix[i]));
        }
        return matrix;
    }

//main.cpp
    #include "_public.h"
    
    int main(void)
    { 
    	int** intArr = getArray<int>(10, 10);
    	double** doubleArr = getArray<double>(10, 10);
    	char** charArr = getArray<char>(10, 10);
    	float** floatArr = getArray<float>(10, 10);
    	return 0;
    }

否则会出现以下的链  
接错误：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoYW5neWk5OTk1_size_16_color_FFFFFF_t_70]

## 解决方式 ##

把所有的模板方法的声明和实现都放在头文件。

## 解释： ##

《C++编程思想》第15章(第300页)说明了原因：  
模板定义很特殊。由template<…>处理的任何东西都意味着编译器在当时不为它分配存储空间，它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处，有一机制能去掉指定模板的多重定义。所以为了容易使用，几乎总是在头文件中放置全部的模板声明和定义。  
编译时模板并不能生成真正的二进制代码，而是在编译调用模板类或函数的CPP文件时才会去找对应的模板声明和实现，在这种情况下编译器是不知道实现模板类或函数的CPP文件的存在，所以它只能找到模板类或函数的声明而找不到实现，而只好创建一个符号寄希望于链接程序找地址。但模板类或函数的实现并不能被编译成二进制代码，结果链接程序找不到地址只好报错了。

## 总结： ##

定义一个类一般都是在头文件中进行类声明，在cpp文件中实现，但使用模板时应注意目前的C++编译器还无法分离编译\*\*，将模板类（方法）实现代码和声明代码均放在头文件中\*\*。

参考文章：  
[为什么模板类与模板成员函数不能分文件写(.h与.cpp）][.h_.cpp]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2NoYW5neWk5OTk1_size_16_color_FFFFFF_t_70]: /images/20221119/756dd68d16c4408995dfc4719fbe90ac.png
[.h_.cpp]: https://blog.csdn.net/qq1169091731/article/details/51197583