问题描述:
以下是我的部分代码,采用的是将模板方法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;
}
否则会出现以下的链
接错误:
解决方式
把所有的模板方法的声明和实现都放在头文件。
解释:
《C++编程思想》第15章(第300页)说明了原因:
模板定义很特殊。由template<…>处理的任何东西都意味着编译器在当时不为它分配存储空间,它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处,有一机制能去掉指定模板的多重定义。所以为了容易使用,几乎总是在头文件中放置全部的模板声明和定义。
编译时模板并不能生成真正的二进制代码,而是在编译调用模板类或函数的CPP文件时才会去找对应的模板声明和实现,在这种情况下编译器是不知道实现模板类或函数的CPP文件的存在,所以它只能找到模板类或函数的声明而找不到实现,而只好创建一个符号寄希望于链接程序找地址。但模板类或函数的实现并不能被编译成二进制代码,结果链接程序找不到地址只好报错了。
总结:
定义一个类一般都是在头文件中进行类声明,在cpp文件中实现,但使用模板时应注意目前的C++编译器还无法分离编译**,将模板类(方法)实现代码和声明代码均放在头文件中**。