C++模板基础（五）

最新推荐文章于 2024-10-06 14:42:09 发布
最新推荐文章于 2024-10-06 14:42:09 发布
阅读量343 收藏
点赞数
文章标签： c++ 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_34762931/article/details/129977205
版权
文章详细阐述了C++中函数模板的特化与重载的区别，特化并不引入新名称，而是为特定模板参数提供定制实现。函数模板的实例化是创建实例，而特化是为某些参数提供特别的代码。同时，文章讨论了如何避免使用特化，以及在不能直接重载的情况下如何处理，如通过ifconstexpr或引入“假”函数形参。最后提到了C++20中auto关键字简化函数模板的用法及其优缺点。
摘要由CSDN通过智能技术生成

函数模板
● 函数模板的 ( 完全 ) 特化： template<> void f(int) / template<> void f(int)
– 并不引入新的（同名）名称，只是为某个模板针对特定模板实参提供优化算法

函数模板的特化本质上是实例化，有时实例化和特化会混用，但是函数模板的实例化是引入一个实例，而函数模板特化是为某些模板参数引入特别的实现。

– 注意与重载的区别
函数模板的重载

template<typename T>
void fun(T x)
{
    //std::cout << x << std::endl;
}

template<typename T>
void fun(T* x)
{
    //std::cout << x << std::endl;
}

函数模板的特化

template<typename T>
void fun(T* x)
{
    //std::cout << x << std::endl;
}

template<>
void fun(int* x)
{
    //std::cout << x << std::endl;
}

– 注意特化过程中的模板形参推导
● 避免使用函数模板的特化（Calling Functions : A Tutorial）
在这里插入图片描述

template<typename T>
void fun(T x) //#1
{
    std::cout << "template<typename T> void fun(T x)" << std::endl;
}

template<typename T>
void fun(T* x) //#2
{
    std::cout << "template<typename T> void fun(T* x)" << std::endl;
}

template<>
void fun(int* x) //同template<> void fun<int>(int* x)，是#2函数模板的特化
{
    std::cout << "template<> void fun(int* x)" << std::endl;
}

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

    int x;
    fun(&x);

    return a.exec();
}

在这里插入图片描述

template<typename T>
void fun(T x) //#1
{
    std::cout << "template<typename T> void fun(T x)" << std::endl;
}

template<typename T>
void fun(T* x) //#2
{
    std::cout << "template<typename T> void fun(T* x)" << std::endl;
}

template<>
void fun<int*>(int* x) //是#1函数模板的特化
{
    std::cout << "template<> void fun<int*>(int* x)" << std::endl;
}

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

    int x;
    fun(&x); //调用#2函数模板产生的实例化的版本

    return a.exec();
}

在这里插入图片描述

template<typename T>
void fun(T x) //#1
{
    std::cout << "template<typename T> void fun(T x)" << std::endl;
}

template<>
void fun(int* x) //注意这个特化放在#1函数模板的后面，所以它是#1函数模板的特化
{
    std::cout << "template<> void fun(int* x)" << std::endl;
}

template<typename T>
void fun(T* x) //#2
{
    std::cout << "template<typename T> void fun(T* x)" << std::endl;
}

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

    int x;
    fun(&x); //调用#2函数模板的一个实例化版本

    return a.exec();
}

在这里插入图片描述

– 不参与重载解析，会产生反直觉的效果
– 通常可以用重载代替

template<typename T>
void fun(T x)
{
    std::cout << "template<typename T> void fun(T x)" << std::endl;
}

void fun(int* x) //参与了重载解析，引入了新的名称，这种情况下fun函数有三个版本
{
    std::cout << "void fun(int* x)" << std::endl;
}

template<typename T>
void fun(T* x)
{
    std::cout << "template<typename T> void fun(T* x)" << std::endl;
}

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

    int x;
    fun(&x); //调用void fun(int* x)

    return a.exec();
}

template<typename T>
void fun(T x)
{
    std::cout << "template<typename T> void fun(T x)" << std::endl;
}

template<typename T>
void fun(T* x)
{
    std::cout << "template<typename T> void fun(T* x)" << std::endl;
}

void fun(int* x) //参与了重载解析，引入了新的名称，这种情况下fun函数有三个版本
{
    std::cout << "void fun(int* x)" << std::endl;
}

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

    int x;
    fun(&x); //调用void fun(int* x)

    return a.exec();
}

在这里插入图片描述

– 一些不便于重载的情况：无法建立模板形参与函数形参的关联

template<typename T, typename Res>
Res fun(T x)
{
    std::cout << "template<typename T, typename Res> Res fun(T x)" << std::endl;
    return Res{};
}

● 使用 if constexpr 解决

#include<type_traits>
template<typename Res, typename T>
Res fun(T x)
{
    if constexpr(std::is_same_v<Res, int>)
    {
        std::cout << "1" << std::endl;
    }
    else
    {
        std::cout << "2" << std::endl;
    }
    return Res{};
}

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

    int x;
    fun<int>(&x); //输出1

    return a.exec();
}

#include<type_traits>
template<typename Res, typename T>
Res fun(T x)
{
    if constexpr(std::is_same_v<Res, int>)
    {
        std::cout << "1" << std::endl;
    }
    else
    {
        std::cout << "2" << std::endl;
    }
    return Res{};
}

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

    int x;
    fun<float>(&x); //输出2

    return a.exec();
}

● 引入“假“”函数形参

#include<type_traits>
template<typename Res, typename T>
Res fun(T x, const Res&)
{
    if constexpr(std::is_same_v<Res, int>)
    {
        std::cout << "1" << std::endl;
    }
    else
    {
        std::cout << "2" << std::endl;
    }
    return Res{};
}

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

    int x;
    fun(&x, float); //输出2

    return a.exec();
}

template<typename T>
int fun(T x, const int&)
{
    std::cout << "template<typename T> int fun(T x, const int&)" << std::endl;
    return int{};
}
template<typename Res, typename T>
Res fun(T x, const Res&)
{
    std::cout << "template<typename Res, typename T> Res fun(T x, const Res&)" << std::endl;
    return Res{};
}

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

    int x;
    fun(&x, int{});

    return a.exec();
}

在这里插入图片描述

template<typename T>
int fun(T x, const int&)
{
    std::cout << "template<typename T> int fun(T x, const int&)" << std::endl;
    return int{};
}
template<typename Res, typename T>
Res fun(T x, const Res&)
{
    std::cout << "template<typename Res, typename T> Res fun(T x, const Res&)" << std::endl;
    return Res{};
}

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

    int x;
    fun(&x, float{});

    return a.exec();
}

在这里插入图片描述

template<typename Res, typename T>
Res fun(T x)
{
    if constexpr(std::is_same_v<Res, int>)
    {
        std::cout << "1" << std::endl;
    }
    else
    {
        std::cout << "2" << std::endl;
    }
    return Res{};
}

template<typename T>
int fun<int, T>(T x) //不支持函数模板的这种特化，Error: Function template partial specialization is not allowed
{

}

● 通过类模板特化解决
●(C++20) 函数模板的简化形式：使用 auto 定义模板参数类型

#include<iostream>
void fun(auto x)
{
}

int main()
{
    int x;
    fun(&x);
}

//CPPInsights中的输出
#include<iostream>
void fun(auto x)
{
}

/* First instantiated from: insights.cpp:9 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
void fun<int *>(int * x)
{
}
#endif


int main()
{
  int x;
  fun(&x);
  return 0;
}


#include<iostream>
void fun(auto& x)
{
}

int main()
{
    int x;
    fun(x);
}

//CPPInsights中的输出
#include<iostream>
void fun(auto& x)
{
}

/* First instantiated from: insights.cpp:9 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
void fun<int>(int & x)
{
}
#endif


int main()
{
  int x;
  fun(x);
  return 0;
}


#include<iostream>
void fun(auto&& x)
{
}

int main()
{
    int x;
    fun(x);
}

//CPPInsights中的输出
#include<iostream>
void fun(auto&& x)
{
}

/* First instantiated from: insights.cpp:9 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
void fun<int &>(int & x)
{
}
#endif


int main()
{
  int x;
  fun(x);
  return 0;
}


#include<iostream>
void fun(auto&& x)
{
}

int main()
{
    int x;
    fun(2);
}

//CPPInsights中的输出
#include<iostream>
void fun(auto&& x)
{
}

/* First instantiated from: insights.cpp:9 */
#ifdef INSIGHTS_USE_TEMPLATE
template<>
void fun<int>(int && x)
{
}
#endif


int main()
{
  int x;
  fun(2);
  return 0;
}

– 优势：书写简捷
– 劣势：在函数内部需要间接获取参数类型信息

void fun(auto& x)
{
    decltype(x) tmp = 3;
}

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

    int x;
    fun(x); //Error: cannot bind non-const lvalue reference of type 'int&' to an rvalue of type 'int'

    return a.exec();
}

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

文祐
关注
C++入门基础(万字总结）（建议收藏！！！）
IamGreeHand的博客
09-22 26万+
文章目录什么是C++C++的发展史C++关键字命名空间命名空间的定义1.命名空间的普通定义2.命名空间可以嵌套3. 同一个工程中允许存在多个相同名称的命名空间,编译器最后会合成同一个命名空间中。命名空间使用1.加命名空间名称及作用域限定符2.使用using namespace 命名空间名称引入3.使用using将命名空间中的成员引入C++中的输入和输出缺省参数全缺省半缺省参数函数重载函数重载的原理extern “C”引用引用的特征1.引用在定义时必须初始化2.一个变量可以有多个引用3.引用一旦引用了一个实体
C++模板与STL库介绍
03-18
总之，C++模板和STL库是现代C++编程的基础，它们提供了强大的抽象能力和高效的实现，使得程序员可以更专注于解决问题而不是底层细节。熟练掌握这两者，对于提升C++编程水平至关重要。在实际项目中，合理利用模板和...
C++基础（五）模版
so_vegetable的博客
04-19 242
友元函数 函数有全局函数、成员函数，如果把全局函数定义为友元，就叫友元全局函数，如果把成员函数定义为友元，就叫友元成员函数。 class Coordinate { friend void printXY(Coordinate&amp;amp;amp; c); public: Coordinate(int x,int y); private: int m_iX; int m_iY; }; void prin...
C++ 函数模板基础
英雄哪里出来
05-22 4089
C++ 函数模板基础
C++ 模版基础知识——函数模板
qq_68194402的博客
08-28 1284
C++ 函数模板是实现代码重用和类型安全的重要工具。通过使用模板，开发者能够编写通用的函数，这些函数可以处理多种数据类型，而无需为每种类型编写重复的代码。这种灵活性使得 C++ 在泛型编程方面具有显著优势。
【C++】模板详解
2301_77954967的博客
07-27 2507
C++模板作为C++语言的强大特性，具有不可忽视的重要性和显著的优势。其重要性体现在，极大地提高了代码的复用性，减少了重复代码的编写；通过编译时的类型检查保障了代码的类型安全；为泛型编程、容器类、算法库等提供了坚实的基础，使代码更具通用性和可扩展性。本篇博文对C++模板做了一个较为详细的介绍，不知道对你有没有帮助呢觉得博主写得还不错的三连支持下吧！会继续努力的~
C++模板（template）
TU^的博客
08-04 2099
【优点】1、 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生2、 增强了代码的灵活性【缺陷】1、 模板会导致代码膨胀问题，也会导致编译时间变长2、 出现模板编译错误时，错误信息非常凌乱，不易定位错误。
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++模板基础
weixin_59333200的博客
05-18 1446
帮助C++初学者快速理解C++中模板相关内容
C++ 模板进阶（模板的特化）
冰果滴的博客
07-22 1846
这里我们再次学习模板，这次是进阶模板，要比上次所学的模板更深一些，包括非类型模板参数以及函数模板的特化、类模板的全特化、偏特化等。
C++模板深剖
qq_61500888的博客
06-01 2718
带你一命通关C++模板 十分钟手撕C++语法
c++基础模板（DEV-CPP)
07-21
适用于C语言初学者，请先编译。
C++模板库基础学习
12-09
在这里，我们将深入探讨C++模板库的基础知识，特别是STL的元素、迭代器、函数对象、适配器和容器。 首先，我们来谈谈模板。模板是C++中的一个关键特性，允许我们定义通用函数和类。它可以用于创建泛型代码，这意味...
[c语言]一句话讲清循环中break和continue的作用与区别
2303_77060768的博客
09-29 157
1.两者的作用break和contuinue都只能在循环中使用，都用来停止循环。​​​​​​​2.两者的区别break在循环中只要遇到break，就直接永久终止当前循环，开始执行当前循环之外的代码。在循环中只要遇到continue，就结束本次循环，继续进行下一次循环。
【C语言】数据类型和变量
2302_76713442的博客
10-06 945
一、数据类型分类（内置数据类型：字符型、整型、浮点型和布尔类型）（自定义数据类型：数组、结构体、枚举和联合体）二~三、深入研究内置数据类型（内置数据类型的大小、使用内置数据类型创建变量、signed 和 unsigned）四、自定义数据类型的内容过于庞大，所以每种自定义数据类型都专门写了一篇博客来介绍，文中有相应链接。
第 21 章 一条记录的多幅面孔——事务的隔离级别与 MVCC
weixin_45740473的博客
10-02 937
并发的事务在运行过程中会出现一些可能的引发一致性问题SQL 标准中有4种隔离级别版本链ReadView。
【C++力扣】917.仅仅反转字母|387.字符串中第一个唯一字符|415.字符串相加
最新发布
白乐天_ξ( ✿＞◡❛)的博客
10-06 411
本文写的是力扣三道题的解答：917、387、415题，都是与string字符串有关的！
C - Separated Lunch
m0_74304371的博客
10-05 227
C - Separated Lunch(KEYENCE Programming Contest 2024 (AtCoder Beginner Contest 374))
深入浅出C++模板基础
"C++模板初学者指南" C++模板是C++编程语言中的一个强大特性，但也是许多程序员感到困惑的地方。"An Idiot's Guide to C++ Templates"旨在为那些想了解并掌握这一技术的人提供一个入门指南。尽管模板在初学时可能会...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值