C++模板基础（三）

最新推荐文章于 2024-08-18 21:07:18 发布
最新推荐文章于 2024-08-18 21:07:18 发布
阅读量609 收藏
点赞数
文章标签： c++ 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_34762931/article/details/129782787
版权

函数模板（三）
● 模板实参并非总是能够推导得到
– 如果模板形参与函数形参无关，则无法推导

template<typename T, typename Res>
Res fun(T input) //无法推导函数模板的返回类型
{
    std::cout << input << std::endl;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);
    
    fun(3); //Error: No matching function for call to 'fun'
    
    return a.exec();
}

– 即使相关，也不一定能进行推导，推导成功也可能存在因歧义而无法使用

template<typename T>
void fun(unsigned input = sizeof(T)) //推导时不会考虑缺省值
{
    std::cout << input << std::endl;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3); //Error: No matching function for call to 'fun'

    return a.exec();
}

#include <type_traits>
template<typename T>
void fun(typename std::remove_reference<T>::type input = sizeof(T)) //remove_reference: 移除引用
{
    std::cout << input << std::endl;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3); //Error: No matching function for call to 'fun'

    return a.exec();
}

● 在无法推导时，编译器会选择使用缺省模板实参

#include <type_traits>
template<typename T = int> //int是缺省模板实参
void fun(typename std::remove_reference<T>::type input = sizeof(T)) //remove_reference: 移除引用
{
    std::cout << input << std::endl;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3); //OK

    return a.exec();
}

#include <type_traits>
template<typename T = int> //但是有缺省模板实参
void fun(unsigned input = sizeof(T)) //无法通过unsigned input = sizeof(T)推导模板实参
{
    std::cout << input << std::endl;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3); //OK

    return a.exec();
}

template<typename T, typename Res = int> //有缺省模板实参
Res fun(T input)
{
    std::cout << input << std::endl;

    return input;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3); //OK

    return a.exec();
}

template<typename T = double> //有缺省模板实参
void fun(T input1, T input2)
{
    std::cout << input1 + input2 << std::endl;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5.0); //可以推导模板实参，但推导的结果有歧义

    return a.exec();
}

– 可以为任意位置的模板形参指定缺省模板实参 注意与函数缺省实参的区别

void fun(int x = 5, int y) //Error::Missing default argument on parameter 'y'
{
    
}

template<typename Res = double, typename T>
Res fun(T input1, T input2)
{
    std::cout << input1 + input2 << std::endl;
    return input1;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5); //OK

    return a.exec();
}

template<typename T1, typename Res = double, typename T2>
Res fun(T1 input1, T2 input2)
{
    std::cout << input1 + input2 << std::endl;
    return input1;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5); //OK: T1, T2可以推导出来，Res有缺省值

    return a.exec();
}

● 显式指定部分模板实参
– 显式指定的模板实参必须从最左边开始，依次指定

template<typename T1, typename Res = double, typename T2>
Res fun(T1 input1, T2 input2)
{
    std::cout << input1 + input2 << std::endl;
    return input1;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun<int, int>(3, 5); //OK: 第一个int和T1关联，第二个int和Res关联

    return a.exec();
}

template<typename T, typename Res>
Res fun(T input)
{
    return input;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun<int, int>(3); //OK: 第一个int和T1关联，第二个int和Res关联

    return a.exec();
}

– 模板形参的声明顺序会影响调用的灵活性

template<typename Res, typename T>
Res fun(T input)
{
    return input;
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun<int>(3); //OK: int和Res关联，T可以推导出来

    return a.exec();
}

● 函数模板自动推导时会遇到的几种情况
– 函数形参无法匹配—— SFINAE （替换失败并非错误）

template<typename T>
void fun(T input1, T input2)
{
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5.0); //Error: main.cpp:12:5: No matching function for call to 'fun'. Candidate template ignored: deduced conflicting types for parameter 'T' ('int' vs. 'double')

    return a.exec();
}

template<typename T>
void fun(T input1, T input2)
{
}
template<typename T1, typename T2>
void fun(T1 input1, T2 input2)
{
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5.0); //OK
    
    return a.exec();
}

– 模板与非模板同时匹配，匹配等级相同，此时选择非模板的版本

template<typename T1, typename T2>
void fun(T1 input1, T2 input2)
{
    std::cout << "template<typename T1, typename T2> void fun(T1 input1, T2 input2)\n";
}
void fun(int x, double y)
{
    std::cout << "void fun(int x, double y)\n";
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5.0); //涉及到重载解析

    return a.exec();
}

在这里插入图片描述

template<typename T1, typename T2>
void fun(T1 input1, T2 input2)
{
    std::cout << "template<typename T1, typename T2> void fun(T1 input1, T2 input2)\n";
}
void fun(int x, double y)
{
    std::cout << "void fun(int x, double y)\n";
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5.0f); //与函数模板完美匹配，与函数带有转换的匹配

    return a.exec();
}

– 多个模板同时匹配，此时采用偏序关系确定选择 最特殊 的版本

template<typename T1, typename T2>
void fun(T1 input1, T2 input2) //T2可以对应double, int, float等等
{
    std::cout << "template<typename T1, typename T2> void fun(T1 input1, T2 input2)\n";
}
template<typename T1>
void fun(T1 input1, float input2) //float只能是float，该版本较特殊
{
    std::cout << "template<typename T1> void fun(T1 input1, float input2)\n";
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    fun(3, 5.0f);

    return a.exec();
}

在这里插入图片描述

template<typename T>
void fun(T x)
{
    std::cout << "template<typename T> void fun(T x)\n";
}
template<typename T>
void fun(T* x) //明确指出参数是T类型的一个指针，该版本较为特殊
{
    std::cout << "template<typename T> void fun(T* x)\n";
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    int x = 3;
    fun(&x);

    return a.exec();
}

在这里插入图片描述

template<typename T1, typename T2>
void fun(T1 x, T2* y)
{
    std::cout << "template<typename T1, typename T2> void fun(T1 x, T2* y)\n";
}
template<typename T1, typename T2>
void fun(T1* x, T2 y) //明确指出参数是T类型的一个指针，该版本较为特殊
{
    std::cout << "template<typename T1, typename T2> void fun(T1* x, T2 y)\n";
}
int main(int argc, char *argv[])
{
    QCoreApplication a(argc, argv);

    int x = 3;
    fun(&x, &x); //Error: Call to 'fun' is ambiguous

    return a.exec();
}

参考
深蓝学院：C++基础与深度解析

文祐
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
C++入门基础(万字总结）（建议收藏！！！）
IamGreeHand的博客
09-22 26万+
文章目录什么是C++C++的发展史C++关键字命名空间命名空间的定义1.命名空间的普通定义2.命名空间可以嵌套3. 同一个工程中允许存在多个相同名称的命名空间,编译器最后会合成同一个命名空间中。命名空间使用1.加命名空间名称及作用域限定符2.使用using namespace 命名空间名称引入3.使用using将命名空间中的成员引入C++中的输入和输出缺省参数全缺省半缺省参数函数重载函数重载的原理extern “C”引用引用的特征1.引用在定义时必须初始化2.一个变量可以有多个引用3.引用一旦引用了一个实体
C++ Template 基础篇（三）：参数魔法
lezardfu的专栏
03-05 4232
Template 基础篇-参数魔法Template所代表的泛型编程是C++语言中的重要的组成部分，我将通过几篇blog对这半年以来的学习做一个系统的总结，本文是基础篇的第三部分。Template 基础篇-参数魔法 默认实参 模板的模板参数 非类型参数 除了使用类型作为模板的参数之外，模板参数有更多的用法，以下做个详细介绍。默认实参我们可以通过给模板指定默认实参，为用户推荐合适的默认设定，让用户在只指
C++(三)：模板
qq_45792429的博客
11-16 725
C++：模板1. 前言2. 模板函数2.1 示例2.1.1 输出不同类型的队列2.1.2 比较大小（compare）2.2 函数模板与函数的区别3. 模板类3.1 定义模板类AutoPtr三级目录 1. 前言 C++最重要的特征之一就是代码重用，为了实现这一操作，代码必须具有通用性。通用代码不受数据类型的影响，并且可以自动适应数据类型的变化。为了实现以上操作，我们需要运用到模板，模板C++支持参数化程序设计的工具，通过其可以实现参数多态性。参数多态性就是将程序所处理的对象的类型参数化，使得一段程序可以
c++基础篇（三）——模板初阶
dtxew love c++
02-23 1219
作者介绍： 关于作者：东条希尔薇，一名喜欢编程的在校大学生 主攻方向：c++和linux 码云主页点我 本系列仓库直通车 作者CSDN主页地址 印刷术是中国四大发明之一，它极大地便利了古代人对于读书的需求。 设想，如果我们没有印刷术的话，我们要传播书籍该怎么做？我们必须要把这本书亲自手抄几万份后传播，这样的传播方式不仅非常的繁琐，而且浪费了很多不必要的人力 我们有印刷术就会方便许多，我们只需要抄一遍书上的内容，把它抄在一个模子上，然后使用这个模板，就能很轻松的把它复印几万份 而我们今天讲的内容，和古代的
C++模板编程（3）---模板编程基本技巧Tricky Basics
追赶时代的博客
06-18 511
模板 基本技巧
C++11：右值引用、move, 以及使用emplace_back代替push_back
zzhongcy的专栏
02-02 9531
最近在写一段代码的时候，突然很好奇C++11中对push_back有没有什么改进以增加效率，上网搜了一些资料，发现果然新增了emplace_back方法，比push_back的效率要高很多。 1、右值引用 C++11引入了右值引用，用&amp;&amp;表示右值引用，如int &amp;&amp;a = add(1,2)。 先了解下什么是左值和右值，简单的说，下面的表达式： ...
C++ 函数模板基础
英雄哪里出来
05-22 3945
C++ 函数模板基础
【C++】模板详解
2301_77954967的博客
07-27 1322
C++模板作为C++语言的强大特性，具有不可忽视的重要性和显著的优势。其重要性体现在，极大地提高了代码的复用性，减少了重复代码的编写；通过编译时的类型检查保障了代码的类型安全；为泛型编程、容器类、算法库等提供了坚实的基础，使代码更具通用性和可扩展性。本篇博文对C++模板做了一个较为详细的介绍，不知道对你有没有帮助呢觉得博主写得还不错的三连支持下吧！会继续努力的~
C++模板——template
热门推荐
原来45的博客
06-11 3万+
目录1. 模板2. 函数模板2.1 函数模板概念2.2 函数模板格式2.3 函数模板原理2.4 函数模板的实例化2.5 模板参数的匹配原则2.6 声明定义分离3. 类模板3.1 类模板格式3.2 类模板的实例化3.3 类模板中函数放在类外进行定义时4. 模板分离编译4.1 什么是分离编译4.2 模板的分离编译5. 缺省值，返回值6. 总结...
C++模板类与继承
qq_40135848的博客
06-30 1455
C++模板类与继承
C语言 | Leetcode C语言题解之第337题打家劫舍III
m0_59237910的博客
08-15 353
C语言 | Leetcode C语言题解之第337题打家劫舍III
C++匿名函数lamba简介
yao_tao11的博客
08-18 541
Lambda 表达式是 C++11 引入的一个功能，允许你在代码中定义匿名函数（即没有名字的函数）。这种表达式可以用于简化函数对象的定义，并使得代码更简洁。Lambda 表达式特别适用于局部的、一次性的函数对象，如用于 STL 算法中。捕获方式含义[ ]空捕获列表，Lambda不能使用所在函数中的变量.[names]names是一个逗号分隔的名字列表，这些名字都是Lambda所在函数的局部变量。默认情况下，这些变量会被拷贝，然后按值传递，名字前面如果使用了&，则按引用传递[&]
c++编程（22）——STL（6）set
2301_77239666的博客
08-16 1063
欢迎来到博主的专栏——c++编程博主ID：代码小豪。
【漫谈C语言和嵌入式011】嵌入式系统中常用的校验方式
最新发布
2403_83044722的博客
08-18 492
在嵌入式系统中，选择合适的校验方式取决于应用场景的需求。简单的数据传输可以使用奇偶校验或校验和，而对于更复杂、更可靠的数据传输，CRC和汉明码则是更好的选择。
C++ | Leetcode C++题解之第337题打家劫舍III
Ddddddd_158的博客
08-15 357
C++ | Leetcode C++题解之第337题打家劫舍III
C语言典型例题43
2302_77517102的博客
08-18 292
有一个函数：y={x,x
C++_基本语法笔记_模板
qq_45629864的博客
08-14 450
思想是Java里的泛型（不确定用什么类型的数据）这里template这一句，意思是声明T是泛型，后面写用到泛型T的函数。建议都用应用场景：不同数据类型的交换函数。
每天一道C语言精选编程题之自幂数
huc_error的博客
08-15 335
我们可以使⽤⼀个循环遍历 1~100000 并检查每个数是否为⾃幂数。写⼀个代码打印1~100000之间的所有的⾃幂数，中间⽤空格分隔。3. 判断 sum 与 i 是否相等，相等则 i 是⾃幂数。2. 计算 i 的每⼀位的 n 次⽅之和 sum；注：可以使⽤ pow 函数求得某个数的次⽅数。幂数，因为 1^3+5^3+3^3=153。1. 计算 i 的位数 n；⾃幂数是指⼀个数的位数的n次。
typdef 与 struct
ligreenjian的博客
08-14 147
int age;int num;//每使用一次就要多一个struct。使用typdef就简洁些。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值