第59课 类模板深度剖析

本文内容来自于对狄泰学院 唐佐林老师 C++深度解析 课程的学习总结

---

多参数类模板

类模板可以定义 任意多个同的类型参数

类模板可以被特化

指定类模板的 特定实现
部分类型参数 必须显示指定
根据类型参数 分开实现类模板

类模板的特化类型

部分特化 - 用特定规则约束类型参数
完全特化 - 完全显示指定类型参数

实验代码

实现类模板的特例化

#include <iostream>

using namespace std;

template <typename T1, typename T2>
class Test
{
public:
    void add(T1 a, T2 b)
    {
        cout << "void add(T1 a, T2 b)" << endl;
        cout << a +  b << endl;
    }
};

/* 类模板特例化 */
template <typename T>
class Test <T, T>
{
public:
    void add(T a, T b)
    {
        cout << "void add(T a, T b)" << endl;
        cout << a +  b << endl;
    }
};

/* 类全特例化 */
template <>
class Test<int, int>
{
public:
    void add(int a, int b)
    {
        cout << "void add(int a, int b)" << endl;
        cout << a + b << endl;
    }
};



int main()
{
    Test<int, int>t1;
    t1.add(5, 10);

    Test<int, float>t2;
    t2.add(1, 10.5);

    Test<double, double>t3;
    t3.add(1.5, 2.5);

    return 0;
}

运行结果：

类模板特化注意事项

特化只是 模板的分开实现

• 本质上是同一个类模板

特化类模板的 使用方式是统一的

• 必须显示指定每一个类型参数

特化的深度分析

重定义

一个类模板和一个新类 （或者两个类模板）
使用的时候需要 考虑如何选择的问题

特化

以统一的方式使用类模板和特化类
编译器 自动优先选择特化类

函数模板只支持类型参数完全特化

实验代码

函数模板的特化

#include <iostream>

using namespace std;

template <typename T>
bool Equal(T a, T b)
{
    cout << "bool Equal(T a, T b)" << endl;
    return (a == b);
}

template <>
bool Equal<double>(double a, double b)
{
    cout << "bool Equal<double>(double a, double b)" << endl;
    return (a == b);
}

bool Equal(double a, double b)
{
    cout << "bool Equal(double a, double b)" << endl;
    return (a == b);
}

int main()
{
    Equal(0.01, 0.01);
    Equal(2, 2);
    Equal<>(0.03, 0.04);

    return 0;
}

运行结果：

工程中的建议

当需要重载函数模板时，优先考虑使用模板特化；
当模板特化无法满足需求，再使用函数重载 ！

---

小结

---

类模板可以定义 任意多个不同的类型参数
类模板可以被 部分特化 和 完全特化
特化的本质是 模板的分开实现
函数模板只支持完全特化
工程中使用 模板特化代替类（函数）重定义