16.模板的特化

最新推荐文章于 2024-04-09 21:57:27 发布
最新推荐文章于 2024-04-09 21:57:27 发布
阅读量358 收藏
点赞数 16
分类专栏： c++ 文章标签： 开发语言 c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_62318955/article/details/134444003
版权

模板的特化

​ 模板特化是C++中一种机制，允许为模板提供特定类型或特定值的定制实现。通常，模板是用于创建通用的数据类型或函数，但在某些情况下，我们可能希望为特定的类型或值提供特殊的实现。这就是模板特化发挥作用的地方。

​ 有两种主要类型的模板特化：类模板特化和函数模板特化。

函数模板特化

/*************************************************************************
        > File Name: test.cpp
        > Author:Xiao Yuheng
        > Mail:3312638794@qq.com
        > Created Time: Sun Nov 12 20:48:52 2023
 ************************************************************************/

#include <iostream>

using namespace std;

template<typename T>
T add(T a, T b) {
    return a + b;
}

template<>
int add<int>(int a, int b) {
    cout << "int" << endl;
    return a + b;
}

int main() {
    cout << add(3, 4) << endl;
    cout << add(3.1, 4.2) << endl;
    return 0;
}

  1. 通用模板函数 add：

    template<typename T>
T add(T a, T b) {
    return a + b;
}

    这是一个通用的加法函数，用于接收两个相同类型的参数，并返回它们的和。

  2. 对 int 类型的特化：

    template<>
int add<int>(int a, int b) {
    cout << "int" << endl;
    return a + b;
}

    这是 add 函数的特化版本，专门处理 int 类型的参数。在特化版本中，你添加了输出语句以提示你正在使用特化版本。

我们来看看这段代码的输出结果：

在这里插入图片描述

​ 可以发现当我们传入参数满足特化模板时，会优先调用特化模板。

类模板特化

/*************************************************************************
        > File Name: test1.cpp
        > Author:Xiao Yuheng
        > Mail:3312638794@qq.com
        > Created Time: Sun Nov 12 21:01:07 2023
 ************************************************************************/

#include <iostream>

using namespace std;

template<typename T, typename U>
class Test {
public:
    Test() {
        cout << "class Test<T, U> " << endl;
    }
};

template<>
class Test<int, double> {
public:
    Test() {
        cout << "class Test<int, double> " << endl;
    }
};

template<typename T>
class Test<int, T> {
public:
    Test() {
        cout << "class Test<int, T> " << endl;
    }
};

int main() {
    Test<double, int> a;
    Test<int, double> b;
    Test<int, string> c;

    return 0;
}

​ 在这个样例中我们有三种形式的模板，分别是正常的模板(template<typename T, typename U>)，全特化版本(template<>)，偏特化版本(template<typename T>)，我们来看看这个样例的输出有什么不一样：

在这里插入图片描述

  • 我们可以发现第一个调用的是正常版本的模板

  • 第二个既满足正常的模板，也满足全特化版本，还满足偏特化版本，可是这里调用的是全特化版本的模板，说明全特化模板的优先级最高

  • 第三个既满足正常的模板，也满足偏特化版本，这里调用的是偏特化版本，说明偏特化版本的优先级比正常的模板高

    优先级：全特化 > 偏特化 > 正常版本

我们来自己实现一个样例：

/*************************************************************************
        > File Name: test.cpp
        > Author:Xiao Yuheng
        > Mail:3312638794@qq.com
        > Created Time: Sun Nov 12 20:48:52 2023
 ************************************************************************/

#include <iostream>

using namespace std;

class A {};
class B {};

int main() {
    cout << type_trais<int>::has_constructor << endl; // no
    cout << type_trais<A>::has_constructor << endl; // yes
    cout << type_trais<double>::has_constructor << endl; // no
    cout << type_trais<B>::has_constructor << endl; // yes
    cout << type_trais<string>::has_constructor << endl; // yes
    cout << type_trais<string *>::has_constructor << endl; // no
    return 0;
}

​ 让这段主函数可以正常运行，且输出的结果是我们后面所标识的：

完整代码：

/*************************************************************************
        > File Name: test.cpp
        > Author:Xiao Yuheng
        > Mail:3312638794@qq.com
        > Created Time: Sun Nov 12 20:48:52 2023
 ************************************************************************/

#include <iostream>

using namespace std;

template<typename T>
class type_trais {
public:
    static const char *has_constructor;
};
template<typename T>
const char *type_trais<T>::has_constructor = "yes";


template<typename T>
class type_trais<T *> {
public:
    static const char *has_constructor;
};
template<typename T>
const char *type_trais<T *>::has_constructor = "no";


template<>
class type_trais<int> {
public:
    static const char *has_constructor;
};
const char *type_trais<int>::has_constructor = "no";


template<>
class type_trais<double> {
public:
    static const char *has_constructor;
};
const char *type_trais<double>::has_constructor = "no";


class A {};
class B {};

int main() {
    cout << type_trais<int>::has_constructor << endl; // no
    cout << type_trais<A>::has_constructor << endl; // yes
    cout << type_trais<double>::has_constructor << endl; // no
    cout << type_trais<B>::has_constructor << endl; // yes
    cout << type_trais<string>::has_constructor << endl; // yes
    cout << type_trais<string *>::has_constructor << endl; // no
    return 0;
}

这段代码主要演示了C++中的模板特化，通过定义一个 type_traits 类模板，下面我将对代码进行详细解释：

  1. type_trais 类模板的通用定义：

    template<typename T>
class type_trais {
public:
    static const char *has_constructor;
};
template<typename T>
const char *type_trais<T>::has_constructor = "yes";

  2. type_trais 类模板的部分特化（指针类型）：

    template<typename T>
class type_trais<T *> {
public:
    static const char *has_constructor;
};
template<typename T>
const char *type_trais<T *>::has_constructor = "no";

  3. type_trais 类模板的完全特化（int 和 double 类型）：

    template<>
class type_trais<int> {
public:
    static const char *has_constructor;
};
const char *type_trais<int>::has_constructor = "no";

template<>
class type_trais<double> {
public:
    static const char *has_constructor;
};
const char *type_trais<double>::has_constructor = "no";

  4. 在 main 函数中的测试：

    int main() {
    cout << type_trais<int>::has_constructor << endl;         // 输出: no
    cout << type_trais<A>::has_constructor << endl;           // 输出: yes
    cout << type_trais<double>::has_constructor << endl;      // 输出: no
    cout << type_trais<B>::has_constructor << endl;           // 输出: yes
    cout << type_trais<string>::has_constructor << endl;      // 输出: yes
    cout << type_trais<string *>::has_constructor << endl;    // 输出: no
    return 0;
}

    这样就可以实现我们主函数的所有功能。

简化版本

/*************************************************************************
        > File Name: test.cpp
        > Author:Xiao Yuheng
        > Mail:3312638794@qq.com
        > Created Time: Sun Nov 12 20:48:52 2023
 ************************************************************************/

#include <iostream>

using namespace std;

class yes_constructor {
public:
    static const char *has_constructor;
};
const char *yes_constructor::has_constructor = "yes";

class no_constructor {
public:
    static const char *has_constructor;
};
const char *no_constructor::has_constructor = "no";

template<typename T>
class type_trais : public yes_constructor {};


template<typename T>
class type_trais<T *> : public no_constructor {};


template<>
class type_trais<int> : public no_constructor {};


template<>
class type_trais<double> : public no_constructor {};


class A {};
class B {};

int main() {
    cout << type_trais<int>::has_constructor << endl; // no
    cout << type_trais<A>::has_constructor << endl; // yes
    cout << type_trais<double>::has_constructor << endl; // no
    cout << type_trais<B>::has_constructor << endl; // yes
    cout << type_trais<string>::has_constructor << endl; // yes
    cout << type_trais<string *>::has_constructor << endl; // no
    return 0;
}

用继承简单简化一下。

拾雪藏于春
关注
专栏目录
【从 C 向 C++ 进阶】- 类 - 26. 模板特化
Kong
10-03 233
从 C 向 C++ 进阶系列导航 1. 多参数类模版 类模板支持多个泛型参数，使用方式与函数模板基本一致。 实验： template <typename T1, typename T2> class Operator { public: T2 add(T1 a, T2 b); T1 minus(T1 a, T1 b); }; template <typen...
模板特化的作用是什么
最新发布
2402_85246552的博客
06-27 227
全特化是当模板的所有模板参数都明确指定了具体类型时的特化形式。此时，特化的模板将完全替代通用模板的对应实例。
模板的全特化和局部特化
2301_78933228的博客
04-09 990
模板的特化是一种在编译时根据特定类型提供特定实现的技术。与模板泛化相对，其帮助我们对有一定特殊性的类型进行特殊性的处理，支持了模板泛化处理中的偏差，从而提高了代码的灵活性和可重用性。特化可以分为全特化和局部特化（也叫偏特化）。一般我们将特化版本与泛化版本的代码放在同一个.h文件中。
C++——模板的作用2：特例化
weixin_69283129的博客
07-30 423
C++模板的作用2
模板 特化与偏特化
生活需要深度
02-19 662
和泛化编程相比较，特化就是泛化的基础上对某种类型再进行一次特殊类型的内容。也就是泛化的基础上我们发现这种内容针对某种内容还是有特殊处理的，就会针对某种类型进行一次特化。 偏特化分为个数上面的偏特化和范围上的偏特化 ...
C++ 模板特化与偏特化
Dablelv 的博客专栏。
08-29 2万+
文章目录1.模板特化1.1 概述1.2 函数模板特化1.3 类模板特化2.模板偏特化2.1 概述2.2 函数模板偏特化2.3 类模板偏特化3.模板类调用优先级参考文献 1.模板特化 1.1 概述 模板特化（template specialization）不同于模板的实例化，模板参数在某种特定类型下的具体实现称为模板特化。模板特化有时也称之为模板的具体化，分别有函数模板特化和类模板特化。 1.2 函数模板特化 函数模板特化指函数模板在模板参数为特定类型下的特定实现。查看以下示例： #include <i
朱老师C++课程第3部分3.4.模板特化与类型萃取
07-01
《朱老师带你学C++》属于系列课程《朱有鹏老师热门编程语言全解》的第一部分，主要针对C++语言学习。本课程可以看做是嵌入式linux核心课程中《C语言专题》课程的延续，在学好了C语言前提下继续深度学习C++语言。...
深入分析C++模板特化与偏特化
12-17
模板特化包括函数模板特化和类模板特化。 - **函数模板特化**：例如，`Max` 函数模板可以处理各种类型的数值比较，但处理字符串时需要比较字符串内容而不是地址。通过函数模板特化，可以为`const char*`类型定义一...
C++ 类模板、函数模板全特化、偏特化的使用
12-20
但在某些情况下，例如需要为特定类型提供不同的实现逻辑时，函数模板特化就派上用场了。在 `TC` 类模板的示例中，`funtest()` 函数的全特化版针对 `double, double` 参数进行了定制： ```cpp template void TC, ...
C++模板之特化与偏特化详解
12-31
对于C++模板特化和偏特化，对于别人来说，已经不是什么新东西了，但是对于我来说，的确是我的盲区，那天在群里讨论这个问题，自己对于这部分确实没有掌握，又联想到在《STL源码剖析》一书中，对于此也是有着介绍。...
模板特化
langminglang的博客
03-20 1145
一、为什么要模板特化 特化的概念：所谓特化，就是将泛型的东东搞得具体化一些，从字面上来解释，就是为已有的模板参数进行一些使其特殊化的指定，使得以前不受任何约束的模板参数，或受到特 定的修饰（例如const或者摇身一变成为了指针之类的东东，甚至是经过别的模板类包装之后的模板类型）或完全被指定了下来。 模板为什么要特化： 因为编译器认为，对于特定的类型，如果你能对某一功能更好的实现，那么就该
模板的全特化与偏特化
热门推荐
thefutureisour的专栏
09-10 4万+
模板为什么要特化，因为编译器认为，对于特定的类型，如果你能对某一功能更好的实现，那么就该听你的。 模板分为类模板与函数模板，特化分为全特化与偏特化。全特化就是限定死模板实现的具体类型，偏特化就是如果这个模板有多个类型，那么只限定其中的一部分。 先看类模板： template class Test { public: Test(T1 i,T2 j):a(i),b(j){cout<<"模板类"
C/C++模版特化、偏特化、全特化
进击的小学生
08-12 1422
模板为什么要特化，因为编译器认为，对于特定的类型，如果你能对某一功能更好的实现，那么就该听你的。 模板分为类模板与函数模板，特化分为全特化与偏特化。全特化就是限定死模板实现的具体类型，偏特化就是如果这个模板有多个类型，那么只限定其中的一部分。 先看类模板： [cpp] view plaincopy templatetypename T
C++模板特化
massice的专栏
06-24 976
对模板特化的理解：特化整体上分为全特化和偏特化，这一点大家都没有什么置疑，但是细分它们各包括哪几种状态就很难界定了，而且很多权威的书上都不一致，管它呢，反正我们能会用各种特化就可以了。下面就谈谈我个人对特化的划分和定义：所谓特化，就是将泛型的东东搞得具体化一些，从字面上来解释，就是为已有的模板参数进行一些使其特殊化的指定，使得以前不受任何约束的模板参数，或受到特定的修饰（例如const或者摇身一变成为了指针之类的东东，甚至是经过别的模板类包装之后的模板类型）或完全被指定了下来。这是网上某个人的一些看法：模板
模板的特化
m0_63852255的博客
09-08 2839
模板特化
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值