C++模板编程，面试官最爱问的两个问题

奋斗★～男孩

于 2024-08-21 18:31:26 发布

阅读量369

点赞数 6

文章标签： c++

本文链接：https://blog.csdn.net/qq_68245364/article/details/141400270

版权

在 C++ 中，模板的实例化和确定是在编译期完成的。这种设计决定了模板的类型参数和实际的模板代码都必须在编译时确定。

模板编译期确定的原因？

- C++ 是一种静态类型语言，这意味着类型检查是在编译期进行的。模板允许编写通用的代码，能够在编译时针对不同的类型生成特定的代码实例。
- 当使用模板时，编译器需要知道确切的类型，以便生成合适的代码，并确保类型安全。

- 模板的工作原理是在编译时生成对应的代码，这个过程称为模板实例化。例如，假设有一个模板类 template<typename T> class MyClass {}，当你使用 MyClass<int> 时，编译器会生成一个 MyClass<int> 的具体实现。这是一个完全独立的类型，类似于手写的 class MyClassInt {}。

- 如果模板实例化发生在运行时，那么每次使用模板时，程序都需要确定和生成相应的代码，这将引入显著的运行时开销并且违背了 C++ 的高性能目标。C++ 的设计初衷之一是性能，而编译期确定模板类型有助于确保这一点。

当你在代码中使用模板时，编译器会执行以下步骤：

template<typename T>
T add(T a, T b) {
    return a + b;
}

当你在代码中调用 add(2, 3) 时，编译器会推导出 T 的类型是 int，然后生成一个如下的实例化代码：

int add(int a, int b) {
    return a + b;
}

这个实例化的代码是在编译时生成的，并且在整个程序的生命周期中固定不变。

非模板的类或函数可以将声明和定义分开，放在头文件和源文件中。例如，函数的声明放在头文件 .h 中，定义放在 .cpp 文件中。但模板的机制不允许简单地将模板的声明和定义像普通函数那样分开。

模板的类型是动态推导的，而推导和实例化是在编译时进行的。如果编译器在实例化模板时没有看到模板的定义，它就无法生成具体的实例代码。因此，模板定义通常必须与声明一起出现在头文件中，这样在模板被使用的地方编译器能够获取到完整的定义。

虽然模板通常不能像非模板类和函数一样分开声明和定义，但有一些常见的策略允许一定程度的分离。

这是最常见的做法。模板类和函数的定义直接放在头文件中，这样可以保证在每个包含该头文件的翻译单元中，编译器都能够看到模板的完整定义。

示例：

// add.h
template<typename T>
T add(T a, T b);

// add.hpp
template<typename T>
T add(T a, T b) {
    return a + b;
}

为了遵循最佳实践，有时会将模板函数的定义放在 .hpp 文件中，头文件 .h 中只包含声明。

另一种方法是利用显式实例化。你可以将模板的定义放在 .cpp 文件中，但需要显式地在该文件中声明模板的具体实例化版本。这种方法适用于模板的参数类型是已知的情况下。

示例：

// add.h
template<typename T>
T add(T a, T b);

// 在 .h 文件中提供一个显式实例化声明
extern template int add<int>(int a, int b);

// add.cpp
#include "add.h"

template<typename T>
T add(T a, T b) {
    return a + b;
}

// 在 .cpp 文件中显式实例化模板
template int add<int>(int a, int b);

这样做的好处是将模板的定义从头文件中分离出来，但它的缺点是每次你需要实例化一个新的类型时，都需要在 .cpp 文件中显式地进行实例化。

模板的定义通常不能简单地像普通函数那样分离到 .cpp 文件中，因为编译器在实例化模板时需要看到完整的定义。因此，模板的定义通常和声明一起放在头文件中。
显式实例化是一种将模板的声明和定义分开的方式，但它要求显式声明每个需要使用的模板实例。

关注