C++ 函数模板

最新推荐文章于 2023-05-23 22:55:42 发布

XHumble

最新推荐文章于 2023-05-23 22:55:42 发布

阅读量202

点赞数

分类专栏： C++入门基础文章标签： c++

本文链接：https://blog.csdn.net/XHumble/article/details/106065171

版权

46 篇文章 1 订阅

订阅专栏

函数模板不是一个真正的函数，只是编译器生成代码的模具，程序员给编译器生成代码的一种规则

template 操作符

使用：

template<typename T> //模板参数
T Add(T left, T right) // 参数列表

函数模板可以实现一个通用类型的函数，上面就是一个通用类型的加法函数

注意：

1. 如果模板参数列表中有多个类型的参数，每个参数前都必须要添加typename

2. 在模板参数列表中既可以使用typename声明类型，也可以使用class声明类型

3. 虽然class和struct几乎相同，但是在模板参数列表中不能使用struct来声明类型

隐式实例化

template <class T>
T Add(T left, T right)
{
    return left + right;
}
int main()
{
    Add(1,2);
    Add(1,2.0); // 编译器会报错
    return 0;
}

注意：隐式实例化中，参数不匹配时，编译器不会对参数进行隐式类型转化，直接报错

显式类型转化：

template <class T>
T Add(T left, T right)
{
    return left + right;
}
int main()
{
    Add<int>(1,2);
    Add<int>(1,2.0);
    return 0;
}

在显式类型转化中明确指定模板参数列表中T的实际类型，在参数匹配时，编译器会尝试对参数进行隐式类型转化，不成功则报错

编译器在编译代码是，如果检测到对函数模板进行实例化：

隐式实例化：编译器首先会对参数类型进行推演，用推演的结果替换模板参数列表中的T，最后生成具体对应类型的函数参数共用户调用

显式实例化：明确指定模板参数列表中T的实际类型，编译器在编译代码时，如果发现是显式实例化--->直接生成代码，如果参数类型不匹配，会尝试进行隐式类型转换

如果转换成功，就通过编译，如果转化失败则报错

关注