为什么模板不支持分离编译?

在C++中,为了一个项目的规范化我们通常把代码归类为三类:声明文件、实现文件、测试文件

比如,我们要实现一个顺序表,那么规范化就是建立3个文件:SeqList.h (顺序表相关声明)、SeqList.cpp(顺序表相关实现)、test.cpp(顺序表测试文件)。

那么普通顺序表这样写一点问题都没有,用模板实现成这样的顺序表是否也是没有任何问题的呢?

可事实是一旦我们通过模板来实现这样的顺序表,编译器就会报错。这是为什么呢???

首先我们来看一个实例:

//test.h  声明文件
template<class T>
class AA
{
public:
	AA();
private:
	int _a;
};
//test.cpp   实现文件
#include"test.h"
template<class T>
AA<T>::AA()
	:_a(0)
{}
//main.cpp  测试文件
#include<iostream>
#include"test.h"
using namespace std;
int main()
{
	AA<int> a1;
	return 0;
}

会出现如下错误:


我们来简单分析一下,编译器报的这种错误属于链接性错误,也就是说预处理、编译、汇编、链接,在链接时出了错,而一般出现出现链接错误是因为声明了一个函数,但是没有实现它。因此,当程序在链接时,从符号表中只找到了函数名,找不到具体函数实现的地址,因此编译器会报这样的错误。那么,为什么模板在分离编译时会报这样的错误呢? 

我们都知道模板需要两次编译,第一次编译是在实例化之前,用来检查基本的语法错误。第二次编译是在实例化之后,当把它实例化具体的类型时,再次判断有没有语法错误。

模板代码的实现在实现文件里,而实例化的测试代码在测试文件里,编译器编译时并不知道它们是分开的,也就是编译实现文件时并不知道实例化代码在测试文件里,就没有实例化出真正的代码,因此才会报出这样的错误。

解决办法:

(1)在模板的实现文件里显示实例化;

(2)将定义和声明放在同一个文件里,命名为xxx.hpp;

吐舌头

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值