【C++ 面试 - 基础题】每日 3 题（十四）

✍个人博客：Pandaconda-CSDN博客

📣专栏地址：http://t.csdnimg.cn/fYaBd

📚专栏简介：在这个专栏中，我将会分享 C++ 面试中常见的面试题给大家~
❤️如果有收获的话，欢迎点赞👍收藏📁，您的支持就是我创作的最大动力💪

 40. 模版的底层实现

C++ 模板的底层实现是通过编译器进行的，主要包括两个步骤：模板的实例化和代码的生成。

1. 模 板的实例化

在编译器编译源代码时，如果遇到了模板的定义，编译器会将其保存在内存中，但是并不会生成对应的代码。当程序中需要使用这个模板时，编译器会根据模板参数的类型和数量，生成具体的代码，这个过程称为模板的实例化。

例如，下面是一个简单的模板函数：

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

当程序需要调用这个函数时，编译器会根据实际的参数类型，生成对应的代码。例如，如果调用 add(1, 2)，编译器会实例化出下面的代码：

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

如果调用 add(1.0, 2.0)，编译器会实例化出下面的代码：

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

 2. 代码的生成

当模板被实例化之后，编译器会根据实例化的代码生成对应的目标代码。这个过程和普通的函数生成过程是类似的。

例如，对于上面的 add 函数，编译器会生成下面的目标代码：

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

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

这些目标代码会被链接器链接成最终的可执行文件。

总的来说，C++ 模板的底层实现是通过编译器进行的，包括模板的实例化和代码的生成。这个过程是在编译期完成的，可以提高程序的性能。

 41. 模板的完全特例化和部分特例化的区别

完全特例化：原模版的 T 已知

template<typename T>
bool compare(T a, T b)
{
    cout << "template compare" << endl;
    return a > b;
}

//完全特例化 这样写的前提是compare是模板
template<>
bool compare<const char*>(const char* a, const char* b)
{
    cout << "compare<const char*>" << endl;
    return strcmp(a, b) > 0;
}

部分特例化：如针对指针类型特例化

#include <iostream>

using namespace std;

template<typename T>
class Vector
{
public:
    Vector() { cout << "Vector() init" << endl; }
};
//对char* 类型提供的完全特例化版本
template<>
class Vector<char*>
{
public:
    Vector() { cout << "Vector<char*> init" << endl; }
};
//对指针类型提供的部分特例化版本
template<typename Ty>
class Vector<Ty*>
{
public:
    Vector() { cout << "Vector<Ty*> init" << endl; }
};
//对函数指针类型提供的部分特例化版本
template<typename R, typename A1, typename A2>
class Vector<R(*)(A1, A2)>
{
public:
    Vector() { cout << "call Vector<R(*)(A1, A2)>" << endl; }
};

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

int main()
{
    Vector<int>vec1;
    Vector<char*>vec2;
    Vector<int*>vec3;
    Vector<int(*)(int, int)>vec4; //函数指针

    typedef int(*PFUNC1)(int, int);
    PFUNC1 pfunc = sum;
    cout << pfunc(10, 20) << endl;

    typedef int PFUNC2(int, int);
    PFUNC2* pfunc2 = sum;
    cout << (*pfunc2)(10, 20) << endl;

    return 0;
}
/*
Vector() init
Vector<char*> init
Vector<Ty*> init
call Vector<R(*)(A1, A2)>
30
30
*/

42. 什么是模板参数推演 

#include <iostream>
#include <typeinfo>
using namespace std;

template<typename T>
void func(T a)
{
    // 观察函数指针类型
    cout << typeid(T).name() << endl;
}
int sum(int a, int b) { return a + b; }
int main()
{
    func(sum); // int (__cdecl*)(int,int) 函数指针

    return 0;
}