STL之二： 为什么模板函数的声明与实现都放在.h文件中

最新推荐文章于 2024-07-19 21:00:30 发布
原创 最新推荐文章于 2024-07-19 21:00:30 发布 · 2.3k 阅读 · 3 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#编译器 #c

本文深入探讨了C++中模板的两种编译模式——包含模式与分离模式，解释了各自的特点及应用。重点强调了VC++编译器不支持分离模式的事实，并解释了模板实现不能放在cpp文件中的原因。

引用C++primer的话：C++支持两种模板编译模式包含模式Inclusion   Model   和分离模式Separation   Model

1. 包含编译模式

    在包含编译模式下我们在每个模板被实例化的文件中包含函数模板的定义并且往往把定义放在头文件中像对内联函数所做的那样

2. 分离编译模式

    在分离编译模式下函数模板的声明被放在头文件中 ,  在模板定义中有一个关键字export,  关键字export   告诉编译器在生成被其他文件使用的函数模板实例时可能需要这个模板定义编译器必须保证在生成这些实例时该模板定义是可见的 , 关键字export   不需要出现在头文件的模板声明中, 分离模式使我们能够很好地将函数模板的接口同其实现分开进而组织好程序以便把函数模板的接口放到头文件中而把实现放在文本文件中, 但是并不是所有的编译器都支持分离模式, 即使支持也未必总能支持得很好, 支持分离模式需要更复杂的程序设计环境所以它们不能在所有C++编译器实现中提供.

自己的理解： 现在的VC++编译器都不知道模板分离编译模式，所以我们还是好好的把定义与实现都放在一个文件中吧。

其实模板实现不能放在cpp文件中，主要就是CPP在c++编译期间不能决定模板参数的类型，所以不能生成模板函数的实例，所以他会把模板类型带到链接期间，如果这个期间有函数调用了该实例，这个时候由于没有把模板实例到特定类型，就会导致编译错误。但是如果不调用该模板函数，那么是不会出现错误的。

 

模板类的定义和实现可以不在同一个文件中
yanziguilai的专栏
07-13 2390
写c++程序时我们经常会把函数的定义写在xxx.h中，把函数的实现写在xxx.cpp, 但是当我们写带模版的函数和类时，这样写 就会出现问题，如下： stack.h //stack.h #ifndef STACK_HPP #define STACK_HPP #include #include template> class CStack { public: void push(co
C++的模板为什么要在头文件(.h)中实现？
onlysingleboy的专栏
07-18 1万+
今天是个科普文：C++的模板为什么要在头文件(.h)中实现？ 模板的用途 这个事情其实我没什么发言权，实话实说，我写模板比较少。对于模板的重要性，也是最近才感觉到。至于模板的重要性，这里也不多说，自己悟。 模板编写 这里就举个函数模板的例子(我们把实现放在.cpp的错误例子)： lp_max.h template T max(cons
C++模板进阶和模板链接错误的解决
2302_80214413的博客
07-19 1452
今天带给大家的是模板进阶的全部内容，很详细的内容解释和使用方法语法，相信大家看完一定会收获满满！！~~~
为什么C++模板函数的声明与实现都放在.h文件中
baidu_15952103的博客
10-16 4891
引用C++primer的话：C++支持两种模板编译模式包含模式(Inclusion Model)和分离模式(SeparationModel) 1. 包含编译模式 在包含编译模式下，在每个模板被实例化的文件中包含函数模板的定义并且往往把定义放在头文件中像对内联函数所做的那样。 2. 分离编译模式 在分离编译模式下函数模板的声明被放在头文件中 , 在模板定义中有一个关键字export, 关键字export 告诉编译器在生成被其他文件使用的函数模板实例时可能需要这个模板定义...
模板的声明和实现为何要放在头文件中？
你要偷偷努力，悄悄拔尖，然后惊艳岁月
01-03 658
转自：https://blog.csdn.net/wangzengdi/article/details/28625627 前言 常遇到询问使用模板到底是否容易的问题，我的回答是：“模板的使用是容易的，但组织编写却不容易”。看看我们几乎每天都能遇到的模板类吧，如STL, ATL, WTL, 以及Boost的模板类，都能体会到这样的滋味：接口简单，操作复杂。 我在5年前开始使用模板，那时我看到了M...
C++函数模板声明与定义相分离
12-22
假设我们有一个名为`f`的非模板函数，它在`test.h`中声明，在`test.cpp`中定义。当我们包含`test.h`并调用`f()`时，编译器会生成调用`f`的代码，而链接器会在`test.obj`中找到`f`的实现。但是，对于函数模板`A<T>::f...
【STL专题】深入探索C++之std::string：不止于字符串【万字详解】
cilmy23的note
05-24 3059
1.string是表示字符串的字符串类2. 该类的接口与常规容器的接口基本相同，再添加了一些专门用来操作string的常规操作。3.string在底层实际是：basic_string模板类的别名，typedef basic_string string;4. 不能操作多字节或者变长字符的序列。⚠⚠ 在使用string类时，必须包含#include头文件以及;
细谈 C++ 类模板的分离式编译：类模板究竟要不要接口与实现分离
(ÒωÓױ)
11-30 1万+
一、引言 只要是接触了 C++ 有一定时间的程序员，都会记住这么一个不成文的规定： 类模板的声明与实现最好放在同一个头文件中 这或许是来源于某次错误尝试的下意识的修改，又或许是简单搜索了下 C++ 类模板编译报错的原因，看到了满篇的诸如 “为什么 C++ 编译器不能支持对模板的分离式编译” 的博客，久而久之，就留下了这么一个印象。 那么实际上，如果你简单的记为 “C++ 编译器是不支持对模板的...
stl标准模板库学习笔记.docx
09-01
当涉及到类模板的源代码组织时，通常会把类的声明放在`.h`头文件中，而实现放在`.cpp`源文件中。但这对模板类来说可能会引起问题，因为编译器需要在同一个编译单元内看到模板的声明和实现才能生成实例。因此，如果在...
STL笔记08类模板的h和cpp文件如何编写及会遇到的问题！
weixin_43742894的博客
04-08 333
正常来说，我们编写一个类，一般将h文件和cpp文件进行分离，h文件定义类和函数，cpp文件中进行函数的实现； 然后提供给其他cpp文件调用。 那么如果也这样编写类模板会出现什么问题呢？ 我们来看源码实现 .h文件：定义了一个模板类 #pragma once template<class T> class Person { public: Person(T age); ~Person(); void Show(); private: T m_age; }; .cpp文件：生命.
你所不知道的事儿--C++类模板的声明和实现不能分离
一蓑烟雨任平生 也无风雨也无晴
09-06 3499
也许你具有良好的编程习惯，在定义一个类的时候总会把声明和实现分离开，位于不同的文件中。比如你定义一个类A，首先创建一个.h文件，代码如下：class A { public: A(int b); void show(); ~A(); private: int a; }接下来你创建一个.cpp文件实现类的声明，代码如下：#include"classA.h" #includ
Stl模板函数必须在h文件中
瞬Future
01-18 227
即使分为多个文件写，也要在h文件中的末尾 include "xx.cpp"
【C++】模板声明与定义不分离
热门推荐
Yngz_Miao的博客
12-30 1万+
一般在写C++相关代码的时候，我们总习惯于将类声明和类实现进行分离。也就是说，类的声明一般写在.h文件中，而它的实现一般写在.cpp文件中。但是，在模板类中，这个习惯却要恰恰相反。即：要求模板类的类声明和类实现要都放在头文件，而不能分离。 本文就对模板的这个奇特习惯进行分析。 本文实例源码github地址：https://github.com/yngzMiao/yngzmiao-blogs/tree/master/2020Q4/20201230。 分离式编译模式 在进行模板特性的讲解之前，首先需要了解一下
模板为什么必须定义在头文件
xin_hen的博客
09-24 2854
这是由C++编译器的性质决定的。C++采用了分离式编译的方法，.h头文件仅仅是在预处理阶段进行展开的，真正进行的是对.cpp文件的编译。编译器在编译时，看到模板并不会进行任何操作，而是在模板实际使用时（实例化），才会进行代码生成。 如果模板定义放在.h头文件中，模板实现放在.cpp文件中，编译时可以看到模板的声明，但找不到定义，因此会成为外部符号，而在链接时，必然无法找到模板的实现（该外部符号的对应符号），导致链接失败。而如果模板定义在.h头文件中，则可以在编译时就找到模板的定义，进行代码生成。 ...
类模板中.h和.cpp的实现方法
冯玮的博客
10-12 1750
在使用类模板技术时,可在.h中实现,也可在.h和.cpp中分开实现,若用.h实现,不要在文件中加入非类模板代码,可避免重写定义错误..       2009年7月25日23时58分58秒 ////////////////////////////////////////////////////////////////////////////////////////////////////////
为什么模板函数的声明和实现都放在.h文件中
weixin_30307267的博客
12-17 233
　　当你不使用这个模板函数或模板类，编译器并不实例化它，当你使用时，编译器需要实例化它，因为编译器是一次只能处理一个编译单元，也就是一次处理一个cpp文件，所以实例化时需要看到该模板的完整定义。所以都放在头文件中。 　　这不同于普通的函数，在使用普通函数时，编译时只需看到该函数的声明即可编译，而在链接时由链接器来确定该函数的。 　　其实模板实现不能放在cpp文件中，主要是cpp在c++编译期间...
模板类中函数定义应当全部放在头文件中
Draz_CN的博客
10-23 663
《C++编程思想》第15章(第300页)说明了原因：模板定义很特殊。由template处理的任何东西都意味着编译器在当时不为它分配存储空间，它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处，有一机制能去掉指定模板的多重定义。所以为了容易使用，几乎总是在头文件中放置全部的模板声明和定义。
C++ 模板类的实现为何放在.h中
fz_qianzi的专栏
07-14 2864
主要原因：C++标准明确表示，当一个模板不被用到的时侯它就不该被实例化出来； 如以下代码：main.cpp中调用到模板类A的方法A::f，因A::f在test.cpp中实现，编译器在#1处并不知道A::f的定义，故寄希望于连接器，实际上test.cpp编译出来的test.obj文件中关于A::f一行二进制代码也没有，因为模板类A在test.cpp未被实例化，此时连接器就会报错。所以，必须把模板类
关于函数在.c文件定义在.h文件声明与makefile
alan00000的专栏
06-06 2956
正确写法： aaa.h: #ifndef AAA_H #define AAA_H void pri(); #endif aaa.c: #include "aaa.h" #include void pri() {     printf("aaaaa\n"); } main.c: #include "aaa.h" int main() {     pri();
我的类是定义在同一个.h文件中，其中包含三个类
最新发布
06-24
<think>我们有一个头文件（例如：MyClasses.h），其中包含多个类的声明和定义（即实现也在头文件中）。我们想将这个头文件编译成DLL，以便其他程序使用。注意：由于头文件中包含了实现，所以它类似于.hpp文件（声明和实现在一起）。根据引用[1]和[2]的描述，这种文件可以减少编译依赖和文件数量，但需要注意一些问题，比如不能包含全局对象和全局函数，避免循环依赖等。步骤：1.创建一个DLL项目（在Windows上使用VisualStudio，或者在Linux上使用g++，但问题中提到了.dll，所以我们以Windows为例）。2.将包含多个类的头文件（.h或.hpp）放入项目中。3.在头文件中使用适当的导出宏（__declspec(dllexport)）来标记需要导出的类或函数。4.创建一个源文件（.cpp）来包含这个头文件，并定义导出宏（这样在编译DLL时，这些类会被导出）。5.编译生成DLL和对应的LIB文件。但是，由于我们的头文件中包含了实现（即类的方法定义也在头文件中），我们只需要在DLL项目中包含这个头文件，并确保在编译DLL时，将头文件中的类标记为导出。具体操作：假设我们有一个头文件`MyClasses.h`，内容如下（注意：我们使用条件编译来切换导出和导入）：```cpp//MyClasses.h#pragmaonce//定义导出宏#ifdefMYCLASSES_EXPORTS#defineMY_API__declspec(dllexport)#else#defineMY_API__declspec(dllimport)#endif//类AclassMY_APIA{public:voidmethodA();};//类A的方法实现（因为是在头文件中，所以直接写在这里）voidA::methodA(){//实现代码}//类BclassMY_APIB{public:voidmethodB();};voidB::methodB(){//实现代码}```然后，我们在DLL项目中创建一个源文件（例如：DllMain.cpp），内容如下：```cpp//DllMain.cpp#defineMYCLASSES_EXPORTS//在编译DLL时，定义这个宏，这样头文件中的类就会标记为导出#include"MyClasses.h"//可以添加DLL入口函数（可选）BOOLAPIENTRYDllMain(HMODULEhModule,DWORDul_reason_for_call,LPVOIDlpReserved){switch(ul_reason_for_call){caseDLL_PROCESS_ATTACH:caseDLL_THREAD_ATTACH:caseDLL_THREAD_DETACH:caseDLL_PROCESS_DETACH:break;}returnTRUE;}```在项目设置中，我们需要：-配置类型设置为动态库(.dll)-在预处理器定义中添加`MYCLASSES_EXPORTS`（这样在编译DLL时，头文件中的类会被导出）然后编译项目，将生成DLL和LIB文件。客户端使用：将生成的DLL和LIB文件以及头文件`MyClasses.h`提供给客户端。在客户端代码中，包含头文件，并链接LIB文件。注意：客户端不需要定义`MYCLASSES_EXPORTS`，因此头文件中的类会被标记为导入（dllimport）。示例客户端代码：```cpp#include"MyClasses.h"#pragmacomment(lib,"YourDllProject.lib")intmain(){Aa;a.methodA();Bb;b.methodB();return0;}```注意事项：1.由于头文件中包含了实现，所以当修改头文件中的实现时，所有包含此头文件的客户端代码都需要重新编译。2.避免在头文件中定义全局对象或全局函数（引用[1][2]中提到），因为如果多个源文件包含该头文件，会导致重复定义。如果必须要有全局函数，可以将其声明为静态（但每个编译单元会有自己的副本）或者放在匿名命名空间中（也是每个编译单元独立），或者将它们封装在类的静态方法中。3.类之间不要有循环调用（引用[2]），如果存在循环调用，需要在头文件中使用前向声明来解决。另外，引用[3][4]提到了在Windows平台上使用DLL的一些细节，比如将DLL和LIB放在合适的位置，并在客户端代码中通过`#pragmacomment(lib,...)`来链接LIB，或者直接在项目设置中链接。对于Linux平台（生成.so），不需要`__declspec`，而是通过设置编译器标志来导出符号（默认导出所有符号，或者使用`__attribute__((visibility("default")))`），这里不展开。总结：将多个类放在同一个头文件中，并通过条件编译控制导出/导入，然后在一个定义了导出宏的源文件中包含该头文件，编译为DLL。如果头文件中的类没有使用导出宏，那么我们可以使用模块定义文件（.def）来导出类，但这样会比较麻烦，因为需要知道修饰后的函数名（使用`dumpbin`工具查看）。所以推荐使用`__declspec(dllexport)`的方式。但是，注意：如果头文件中的类没有标记为导出（即没有使用`__declspec(dllexport)`），那么即使我们在.def文件中导出，也只能导出类的成员函数（按修饰名导出），而客户端代码中仍然需要类的声明，但此时类的导入没有标记（没有`__declspec(dllimport)`），这可能会导致效率问题（特别是对于内联函数和虚函数）。因此，建议使用导出宏的方式。问题：如果头文件中的类没有实现（即只有声明），那么我们需要在单独的源文件中实现，然后编译到DLL中。但本问题中头文件已经包含了实现，所以不需要额外的源文件（除了那个定义了导出宏并包含头文件的DllMain.cpp）。生成DLL后，按照引用[4]的说法，将DLL和LIB以及头文件复制到客户端工程，并在客户端代码中链接LIB（通过`#pragmacomment`或在项目设置中）。最后，注意在编译DLL时，预处理器定义中必须包含`MYCLASSES_EXPORTS`（根据我们的示例），以确保导出符号。如果使用CMake，可以更方便地管理这些设置。以上就是在同一个头文件中定义多个类并编译为DLL的方法。</think>### C++ 将同一 .h 文件中的多个类编译为 DLL 的方法 #### 核心步骤 1. **创建 DLL 项目结构**： ```bash MyDLLProject/ ├── MyClasses.h # 包含多个类的头文件 └── DllEntry.cpp # DLL 入口文件 ``` 2. **统一头文件设计** (`MyClasses.h`)： ```cpp #pragma once #ifdef MYDLL_EXPORTS #define DLL_API __declspec(dllexport) #else #define DLL_API __declspec(dllimport) #endif // 类1声明 class DLL_API ClassA { public: int Calculate(int a, int b); }; // 类2声明 class DLL_API ClassB { public: const char* ProcessString(const char* input); }; // 内联实现（可选） inline int ClassA::Calculate(int a, int b) { return a * b + b; } ``` 3. **DLL 入口实现** (`DllEntry.cpp`)： ```cpp #define MYDLL_EXPORTS // 关键：启用导出模式 #include "MyClasses.h" // 非内联函数的实现 const char* ClassB::ProcessString(const char* input) { static std::string result; // 处理逻辑... return result.c_str(); } // DLL 入口点（可选） BOOL APIENTRY DllMain(HMODULE hModule, DWORD ul_reason, LPVOID lpReserved) { return TRUE; } ``` 4. **编译设置**： - 在项目属性中： - **配置类型**：动态库(.dll) - **预处理器定义**：添加 `MYDLL_EXPORTS` - **头文件包含路径**：添加当前目录 5. **生成文件**： - `MyDLLProject.dll`（动态库） - `MyDLLProject.lib`（导入库） #### 客户端使用示例 ```cpp #include "MyClasses.h" // 同一头文件 #pragma comment(lib, "MyDLLProject.lib") int main() { ClassA objA; int result = objA.Calculate(3, 4); // 使用DLL中的类 ClassB objB; const char* text = objB.ProcessString("Hello"); return 0; } ``` #### 关键技术要点 1. **单一导出宏管理**： - 使用统一的 `DLL_API` 宏控制所有类的导出/导入 - 通过 `MYDLL_EXPORTS` 标识切换模式（编译时定义） 2. **实现代码处理**： - **内联函数**：直接在头文件中实现（如 `ClassA::Calculate`） - **非内联函数**：在 `.cpp` 文件中实现（如 `ClassB::ProcessString`） - 避免在头文件中定义**全局对象/函数**（引用[1][2]） 3. **跨模块内存管理**： ```cpp // 返回静态变量避免跨模块释放问题 const char* ClassB::ProcessString(const char* input) { static std::string result; // 静态存储 result = process(input); return result.c_str(); } ``` 4. **Linux 适配**： ```makefile # Makefile 示例 CXXFLAGS = -fPIC -shared libMyClasses.so: DllEntry.cpp $(CXX) $(CXXFLAGS) -o $@ $^ ``` #### 注意事项 1. **循环依赖**： - 类之间相互引用时使用前向声明： ```cpp class ClassC; // 前向声明 class ClassD { void UseClassC(ClassC* c); }; ``` 2. **ABI 兼容性**： - 保持类布局不变（避免增删成员变量） - 使用稳定的接口版本号 3. **模板类处理**： - 模板类需在头文件完全实现 - 显式实例化需在 `.cpp` 中声明： ```cpp template class DLL_API MyTemplate<int>; ``` 4. **STL 容器风险**： - 不同编译器版本的 STL 实现可能不兼容 - 建议返回原始指针或自定义容器 > 此方案通过单一头文件管理多个类，利用条件编译实现声明/导出的自动切换，符合 C++ 模块化设计原则[^1][^2]。DLL 客户端只需包含同一头文件并链接 .lib 即可使用所有导出类[^3][^4]。 ---
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值