首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

无法理解C++11模板函数参数推导

C++11引入了模板函数参数推导的特性,它允许我们在调用模板函数时省略模板参数,而由编译器根据函数参数的类型推导出模板参数的具体类型。然而,有时候我们可能会遇到一些无法理解的情况,下面我将对这个问题进行解答。

首先,模板函数参数推导是指编译器根据函数参数的类型来推导模板参数的具体类型。在C++11之前,我们必须显式地指定模板参数,例如template<typename T> void func(T arg)。而在C++11中,我们可以使用自动推导的方式,例如template<typename T> void func(auto arg)

然而,有时候我们可能会遇到一些无法理解的情况,即编译器无法推导出模板参数的具体类型。这可能是因为函数参数的类型不明确或者存在多个可能的类型。下面是一些常见的情况:

  1. 函数参数类型不明确:如果函数参数的类型是一个模板类型,例如template<typename T> void func(T arg),而在调用函数时没有明确指定参数类型,编译器将无法推导出模板参数的具体类型。
  2. 多个可能的类型:如果函数参数的类型可以是多个不同的类型,例如template<typename T> void func(T arg1, T arg2),而在调用函数时传入了不同类型的参数,编译器将无法确定模板参数的具体类型。

在这些情况下,我们可以通过显式指定模板参数的方式来解决问题,例如func<int>(arg)。另外,我们还可以使用类型转换或者重载函数来帮助编译器进行推导。

总结起来,C++11模板函数参数推导是一种方便的特性,可以让我们省略模板参数的指定,但在某些情况下可能会遇到无法理解的问题。在这种情况下,我们可以通过显式指定模板参数或者使用其他技巧来解决问题。

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

C++11函数模板的默认模板参数

1.函数模板默认模板参数简介 函数模板与类模板在C++98一起被引入,因种种原因,类模板可以拥有默认模板参数,而函数模板不可以。从C++11开始,这个限制被解除了,即函数模板同样可以拥有默认模板参数。...,而在C++11中,函数模板的默认模板参数出现的位置则比较灵活,可以出现在任意位置。...2.3函数模板的参数推导规则 函数模板的参数推导规则是如果能够从函数实参中推导出类型的话,则函数模板的默认模板参数则不会被使用,反之,默认模板参数则可能被使用。...而函数调用testTemplateFunc()则因为无法推导出第一个模板参数T,导致编译出错。...---- 参考文献 [1]深入理解C++11[M].2.11模板函数的默认模板参数

2.4K20
  • C++11:利用模板简化重载右值引用参数的函数

    https://blog.csdn.net/10km/article/details/50827943 C++11标准中引入了右值的概念,是个非常好的东东,使用得当可以大大减少对象间无谓的复制...左值引用版本和右值引用版本的函数 下面是matrix_cl类的两个重载的构造函数,这两个构造函数除了最后一个参数不同,其他的参数都完全一样,只有最后一个参数不同(分别为右值和左值引用)。...E为类模板参数,请忽视,下同。...如果真是这样的话,这代码的就太臃肿了,可维护性也不好啊,能不能将两个函数合并为一个? yes!we can 如果要把上面两个函数合并为一个就要用到模板编程了。 下面是合并后的代码。...std::move(v):v; }; 有了_ENABLE进行参数类型限制,在类中有多个类型的模板构造函数的情况,调用构造函数时就不会将别的类型的参数误传入,而产生编译错误。

    85210

    函数模板参数(函数参数在哪)

    对于函数模板,数据类型本身成了它的参数,因而是一种参数化类型的函数。类的成员函数也可以声明为函数模板。...函数模板的模板形参表声明>中,一定要包含虚拟类型参数,而常规参数则可以根据实际需要选择。...T不可能同时为 int和double型,这将导致编译器无法找到匹配的函数模板的定义,编译时报错。...③ 虚拟类型参数没有出现在模板的“函数形参表”中。此时无法从模板的“函数实参表”中获取对应的信息,因而不能省略模板实参。 ④ 函数模板含有常规形参。...因此,常规参数的信息无法从模板的“函数实参表”中获得,调用模板函数时必须显示给出对应于常规参数的模板实参。

    3.1K30

    C++11动态模板参数和type_traits

    C++11标准里有动态模板参数已经是众所周知的事儿了。但是当时还有个主流编译器还不支持。 但是现在,主要的编译器。...提倡使用模板来简化处理相同类型的功能和把一些功能由运行期转到编译期(这也是C++比C效率高的原因)。但是使用模板有时候会碰到需要支持多个参数的情况。比如bind函数,tuple等。...const T&…) 类继承 特殊成员函数(如构造函数) 临时模板 模板嵌套 typeid 其实支持的还比较有限。...接下来我们来尝试用动态模板参数简单地实现boost和c++11里的tuple(多元组)。 实现简单多元组(tuple) tuple是stl中pair的补充。目标是支持任意个参数数据的组合。...实际上,支持C++11动态模板参数的STL里的tuple也是这种实现方法,只不过额外还会有一些功能性函数和解决权限问题的函数而已。

    57920

    C++11动态模板参数和type_traits

    C++11标准里有动态模板参数已经是众所周知的事儿了。但是当时还有个主流编译器还不支持。 但是现在,主要的编译器。...提倡使用模板来简化处理相同类型的功能和把一些功能由运行期转到编译期(这也是C++比C效率高的原因)。但是使用模板有时候会碰到需要支持多个参数的情况。比如bind函数,tuple等。...接下来我们来尝试用动态模板参数简单地实现boost和c++11里的tuple(多元组)。 实现简单多元组(tuple) tuple是stl中pair的补充。目标是支持任意个参数数据的组合。...实际上,支持C++11动态模板参数的STL里的tuple也是这种实现方法,只不过额外还会有一些功能性函数和解决权限问题的函数而已。...动态模板参数的缺陷 凡事有利必有弊。动态模板参数也不例外。

    1.8K20

    你理解模板型别推导【C++】的原理吗?

    Part1第1章 型别推导 1条款1:理解模板型别推导 //一般的函数模板声明 //一般的函数模板声明 template void fun(ParamType param); fun...auto型别推导 auto类别推导其实就是模板类别推导,只不过模板类别推导涉及模板、函数和形参,而auto和它们无关 主要思想: //条款1:函数模板推导 // template // void f(ParamType...,但是 auto型别推导会假定用大括号括起来的初始化表达式代表一个 //std::initializer_list, 但是模板型别推导却不会 //2, 在函数返回值或 lambda的形参中使用 auto...,意思是使用模板型别推导而不是 auto 型别推导 3条款3:理解 decltype //decltype作用:对于给定的名字或表达式, decltype 能告诉你该名字或表达式的型别 //情况1:鹦鹉学舌...10 赋给一个右值 int, C++中无法通过编译 //如上改进:authAndAccess,指定 这个函数的返回值型别与表达式 c[i]返回的型别完全一致 //如下:auto指定了欲实施推导的型别

    56521

    C++11:可变参数模板lambda表达式

    1.可变参数模板 C++11的新特性可变参数模板能够让我们创建可以接受可变参数的函数模板和类模板,相比C++98和C++03,类模板和函数模板中只能含固定数量的模板参数,可变参数模板无疑是一个巨大的改进...下面是一个基本可变参数的函数模板 // Args是一个模板参数包,args是一个函数形参参数包 // 声明一个参数包Args...args,这个参数包中可以包含0到任意个模板参数。...我们无法直接获取参数包args中的每个参数的,只能通过展开参数包的方式来获取参数包中的每个参数,这是使用可变模版参数的一个主要特点,也是最大的难点,即如何展开可变模版参数。...返回值类型明确情况下,也可省略,由编译器对返回类型进行推导。 {statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。...,该函数无法直接调用,如果想要直接调用,可借助auto将其赋值给一个变量。

    1.2K40

    【C++11】消除重复, 提升代码质量---可变参数模板

    在C++11之前,类模板或者模板函数的模板参数是固定的,从C++11开始,C++标准委员会增强了模板的功能,新的模板特性允许在模板定义中模板参数可以包含零到无限个参数列表,声明可变参数模板时主要是在class...省略号的作用如下: 声明一个参数包,这个参数包中可以包含0到任意个模板参数; 在模板定义的右边,可以将参数包展开成一个个独立的参数; 1 可变参数模板函数 可变参数模板函数代码如下所示: template...2 可变参数模板类 可变参数模板类实际上就是一个模板类,参数是可变的,在C++11中,元组类std::tuple就是一个可变参数的模板类。可变参数模板类参数包展开时主要通过模板特化和继承的方式进行。...2.2 继承方式展开参数包 可变参数类比可变参数函数模板要复杂,但是功能也会更加强大,因为可变参数模板类可以具备状态,和type_traits联合使用后可以在编译器对类型进行判断、选择和转换等操作。...除此之外,在C++11之前,定义一个工厂类,需要写很多的重载函数,进而创建不同的实例,使用范化后,只需要一个可变参数模板就可以支撑很多功能。

    1.5K30

    【C++11特性篇】模板的新一力将:可变参数模板

    : 二.可变参数模板 【1】基本可变参数的函数模板演示: 下面的参数 args 前面有省略号,所以它就是一个 可变模版参数 我们把 带省略号的参数称为“参数包” ,它里面包含了0到N(N>=0)个模板参数...用可变模版参数的一个主要特点:我们无法直接获取参数包args中的每个参数的,只能通过展开参数包(遍历)的方式来获取参数包中的每个参数【可在第3小点查看详解】 虽然 参数包的底层是 ——> 类似数组的形式存储...函数的参数是(T val, Args… args) 我们可以这样理解 ,——> 它把参数包的 第一个 拿了出来当作参数T, 剩下的参数包 再整成另一个新的参数包args… void _ShowList...【可变参数-模板】的优势:——>直接传包,直接构造 【1】简易代码样例——>帮助理解原理 先设计一个日期类如下所示: class Date { public: Date(int year = 1...我们会发现,这两个函数都是实现尾插功能 在C++11中,他们也都支持 万能引用 他们最主要的 差异 :empalce系列函数中参数有——> 可变参数包 【2】empalce_back和push_back

    57010

    【C++】泛型编程 ① ( 函数模板 | 函数模板概念 | 函数模板意义 | 函数模板定义语法 | 函数模板调用语法 | 显式类型调用 | 自动类型推导 )

    如果 函数的 函数体 相同的 函数 , 只是 参数类型 不同 , 这种情况下 , 可以 使用 " 函数模板 " 替代 定义 " 多个函数参数类型不同 且 函数体相同 的函数 " ; 只需要 定义一个..." 函数模板 " , 传入不同类型的参数 , 返回不同类型的结果 ; 调用 函数模板 时 根据传递的 参数类型 来生成对应的具体函数实现 , 根据 实际实参类型 取代 形参的虚拟类型 , 从而实现不同的函数功能...一般情况下使用的是 前者 ; ② 定义函数模板 : 编写 函数 , 参数的 返回值类型 或 参数类型 , 可以 使用之前使用 template 定义的泛型 进行替换 , 如下示例 : // 定义函数模板...int c = add(a, b); 自动类型 推导 : 该用法不常用 , 调用 函数模板 时 , 直接传入参数 , 不 显式声明 泛型类型 , 让 C++ 编译器自动推导泛型类型...; double x = 30.0, y = 40.0; // 调用函数模板 // 函数模板 自动类型推导 double z = add(x, y); 三、函数模板代码示例 1、代码示例 #include

    21830

    【C++】模板的改进

    在函数模板中当所有模板参数都有默认参数时,函数的调用就如同普通的函数调用,但是对于类模板而言,哪怕所有模板参数都有默认构造函数在使用时还是必须在模板名后跟随 来实例化。 ​...C++11 中函数的默认模板参数在使用规则上和其他的默认参数也有一些区别,普通函数的默认参数必须写在参数列表的最后,而函数的模板参数就没有这个限制,因此当使用默认模板参数和模板参数自动推导时就显示十分灵活...,可以指定函数中的一部分参数是默认参数,另一部分采用自动推导。...,由于模板参数的填充顺序是自左向右的,因此像下面这样的调用返回的类型是 long 类型: func(123); // func返回类型是填充类型long ​ 这个细节虽然简单,但是在多个默认模板参数和多个模板参数自动推导穿插使用时会容易被忽略掉...另外当默认模板参数和自动参数推导同时使用时,若函数模板无法推导出参数类型时,编译器将使用默认模板参数,否则将使用自动推导的参数类型。这个跟函数的默认参数使用规则是一致的,比较好理解。 ​

    4300

    【C++11】移动赋值 | 新的类功能 | 可变参数模板

    移动赋值 C++11中,string中的operator= 包含 参数为右值的版本 ---- C++98中 没有移动赋值和移动构造 ,只有参数为左值 的赋值重载(operator=)和拷贝构造 -...新的类的功能 C++11中新增 了 移动构造函数和 移动赋值运算符重载 移动构造 若没有实现移动构造,并且没有实现析构函数、拷贝构造、拷贝赋值重载中的任意一个 (若实现了其中任意一个,则说明是深拷贝的类..._name的空间的地址 ---- default 强制生成默认函数的关键字 -default 由于显示写析构,使其无法生成默认的移动赋值,影响自定义类型成员 _name 移动赋值变成深拷贝 ----...在C++11中,不期望被拷贝,(拷贝会涉及缓冲区等问题) ---- 默认成员函数,如果不写会默认生成,加入delete后可禁止生成 3.可变参数模板 可变参数模板 :可以接受可变参数的函数模板和类模板...声明一个参数包Args...args,这个参数包中包含0到任意个模板参数 ---- 参数是不限制类型和个数的 ---- 可变参数包的解析 通过增加一个模板参数,让编译器去解析参数包的东西 应用递归推导思维

    19850

    【笔记】《深入理解C++11》(上)

    0 绪 本篇是看完《深入理解C++11:C++11新特性解析与应用》后做的笔记的上半部分....理解这个初衷就能理解C++11很多新内容的设计缘由 核心改进点: 并行编程: 内存模型, 线程, 原子操作 泛型编程: 统一初始化表达式, auto, decltype, move 系统编程: constexpr...但是如要注意模板实际参数始终都以实际类型优先, double和int是这个特性的常见例子, 例如1, 如果默认参数是double就会被推导为double C++11引入了extern模板....在C++11的标准中提出SFINEA的动机是当年C++98中并没有对这个规则进行标准化的描述, 因此各个编译器对于函数模板的匹配规则都是混乱的, 因此新标准提出SFINEA来使程序员能按照自己的想象来理解编译器并令其能精确匹配我们所需要的函数...C++11给typeinfo新加入了hash_code()这个函数可以返回类型唯一的哈希值 decltype也是编译期的类型推导, 但是其从一个表达式作为参数返回该表达式的类型 有了decltype后,

    2K20

    Modern c++快速浅析

    模板类型推导 模板类型推导中最重要的是弄清它什么时候会抛弃引用,什么时候会抛弃常量性 •template void func(T& param);在这个示例函数中,如果传递进是一个...将函数的返回值标记为auto,意味着返回值类型的推导遵循模板类型推导的原则,而非auto的推导原则 C++11中加入的_trailing return type_(尾返回类型),需要搭配decltype...a, int b) { return a + b; }; auto用于Lambda表达式时,同样代表遵循模板类型推导的原则,例如C++11中可以将其用于匿名函数参数的推导 // 使用auto接住匿名函数...,匿名函数使用auto进行参数推导,匿名函数的返回值使用auto推导 auto MyLambda = [](auto a, auto b) { return a + b; }; 由于它也是遵循模板类型推导的原则...,因此对于大括号初始物而言,参数还是返回值都无法正确的将其推导出来 Range-base-loop with auto 参考自知乎-蓝色-range-base-loop中使用auto 总结: •当你想要拷贝

    20410

    【C++11】让程序更简洁——模板

    C++11 改进了编译器的解析规则,尽可能的将多个“>”解析成模板参数结束符,方便了编写模板的相关代码。...三、函数模板的默认模板参数 在C98中,类模板可以有默认模板参数,函数模板中的默认模板参数是不被支持的,这一限制,在C++11中得到了解除。...如: func(123);//func的返回值为long long 还有一种使用方式是将函数模板默认参数和模板参数自动推导一起使用,在一起使用时,如果函数模板无法自动推导,将会使用默认模板参数...,否则将使用自动推导出的参数类型。...,但因为指定了默认参数模板类型,因此,在func(123)中,func的val参数将为int整型,在func(123,123.0)中,第二个参数为浮点行,模板参数T将优先被推导,自动推导生效时,默认模板参数会被直接忽略

    68130
    领券