C++函数模板的实参推断

最新推荐文章于 2023-01-11 22:23:11 发布

yhwang-hub

最新推荐文章于 2023-01-11 22:23:11 发布

阅读量688

点赞数

分类专栏： C++

本文链接：https://blog.csdn.net/qq_33287871/article/details/108419421

版权

97 篇文章 63 订阅 ¥19.90 ¥99.00

订阅专栏

本文详细介绍了C++中函数模板的实参推断机制，包括如何通过函数实参推断模板参数类型，以及模板实参推断过程中的类型转换限制。在模板实参推断中，编译器会根据函数调用的实参类型自动确定模板参数的具体类型，但不支持某些类型的转换。当类型推断失败或需要明确指定类型时，可以通过显式指明实参的方式来解决。

摘要由CSDN通过智能技术生成

在使用类模板创建对象时，程序员需要显式的指明实参（也就是具体的类型）。例如对于下面的 Point 类：

template<typename T1, typename T2> class Point;

我们可以在栈上创建对象，也可以在堆上创建对象：

Point<int, int> p1(10, 20);  //在栈上创建对象
Point<char*, char*> *p = new Point<char*, char*>("东京180度", "北纬210度");  //在堆上创建对象

因为已经显式地指明了 T1、T2 的具体类型，所以编译器就不用再自己推断了，直接拿来使用即可。

而对于函数模板，调用函数时可以不显式地指明实参（也就是具体的类型）。请看下面的例子：

//函数声明
template<typename T> void Swap(T &a, T &b);
//函数调用
int n1 = 100, n2 = 200;
Swap(n1, n2);
float f1 = 12.5, f2 = 56.93;
Swap(f1, f2);

虽然没有显式地指明 T 的具体类型，但是编译器会根据 n1 和 n2、f1 和 f2 的类型自动

了解本专栏

关注

专栏目录