C++ 为什么模板只能在头文件中实现?

本文详细阐述了在C++中模板类定义与实现分离的重要性,解释了为何必须在头文件中声明模板,并在单独的实现文件中提供具体实现。通过实例展示了如何在头文件中声明模板并在实现文件中提供具体实现,确保编译器能够正确访问和实例化模板类。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

模板类的定义和实现必须要在同一个文件中,通常是头文件,编译器要看到模板实现才能展开模板。

因为初始化一个模板,编译器根据模板的参数创建一个新的类。比如:

template<typename T>struct Foo{
T bar;
void doSomething(T param) {/* do stuff using T /}};
// somewhere in a .cpp
Foo<int> f; 
编译器在解析到这段代码时,会创建一个新类,等价于:
struct FooInt{
int bar;
void doSomething(int param) {/
 do stuff using int */}}
当编译器需要访问方法实现时,用模板参数去实例化他们时,比如这个情况下是int。如果实现不在头文件,方法是访问不到的,那样编译器就不能实例化那个模板。常用的方法是,在头文件中声明模板,在一个模板文件中实现那些类。然后在头文件的尾部包含具体实现的文件。例如
// Foo.htemplate <typename T>struct Foo{
void doSomething(T param);};

#include "Foo.tpp"

// Foo.tpptemplate <typename T>void Foo<T>::doSomething(T param){
//implementation}
这样,实现和声明是分开的,编译器也能访问到。
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值