Item1 Understand template type deduction

    C++的模板对于类型推导来说,在通常情况推导出的类型和我们期望的是一致的,然而事情并不是总是这样如此美妙。例如下面这个例子:

template<typename T>
void f(`参数类型` parm);

参数类型可以是下面几种情况:
1. T&
2. const T&
3. T&&
4. T

    上面的几种情况可以分成三种类型,1和2可以归为引用类型,3是右值引用类型(也可以叫做通用引用类型),4则是类型本身,没有额外的修饰。对于这三种类型来说模板类型推导有着不一样的规则。

  • Case1: 引用类型

类型推导规则如下:
1. 如果传入的类型是引用类型,那么会忽视掉引用部分,如果是指针类型,则会忽视指针部分
2. 如果传入的类型不是引用类型那么原来是什么类型就推导成什么类型

当参数类型是T&的时候,传入下列三个参数。

int x = 27;
const int cx = x;
const int<
`template argument deduction/substitution failed` 是C++编译器在尝试推断模板参数时遇到的一种错误。当你使用模板函数(如`findmax`)并传入类型不明确的参数时,编译器无法确定应该使用哪个特定的模板实例来匹配这些参数。 具体到你给出的示例[^1]: ```cpp cout << findmax(a.begin(),a.end()); ``` 这里 `findmax` 没有明确指定模板参数 `T`,而 `a.begin()` 返回的是迭代器,可能表示不同的元素类型。如果 `findmax` 函数期望一个具体的元素类型(比如 `int` 或 `long int`),但编译器不能从 `begin()` 和 `end()` 推导出来,就会出现这个错误。 解决方案通常包括以下几个步骤: 1. 显式指定模板参数类型: ```cpp // 如果a的元素类型是int,可以这样指定 cout << findmax<int>(a.begin(), a.end()); ``` 2. 使用类型转换强制指定: ```cpp // 如果你知道a的元素类型,可以通过类型转换指定 auto it = a.begin(); auto max_val = *std::max_element(std::begin(a), std::end(a)); cout << "Max value: " << static_cast<int>(max_val); ``` 3. 使用泛型编程技术,如SFINAE(Substitution Failure Is Not An Error)避免这个问题: - 在`findmax`函数内部检查模板参数,确保它们兼容。 对于第二个例子[^2],如果`T`既用于接受`long int`又用于`int`,但传入的参数类型冲突,同样需要明确指定模板参数: ```cpp // 假设函数findmax接受不同类型的参数,可以这样调用: findmax<long int>(some_long_int_array); findmax<int>(some_int_array); ```
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值