C++ 模板特化与偏特化
模板特化与偏特化
原则：所有偏特化的时候，template的<>中写的typename在class中必须全部使用,所有class中使用的typename，必须在class<>和template<>中写明！！！！！！！
偏特化主要分两种类型
eg： template
- 指定具体类型，比如T指定为int，则template里需要将T删除，写成templateclass
- 未指定具体类型，但是指定T的相关类型，则template中要保留，写成template
class - 当存在可变参数时候，class中必须使用所有的typename，写成template
class
模板特化
模板特化（template specialization）不同于模板的实例化，模板参数在某种特定类型下的具体实现称为模板特化。模板特化有时也称之为模板的具体化，分别有函数模板特化和类模板特化。
#include 模板偏特化
模板偏特化（Template Partitial Specialization）是模板特化的一种特殊情况，指显示指定部分模板参数而非全部模板参数，或者指定模板参数的部分特性分而非全部特性，也称为模板部分特化。与模板偏特化相对的是模板全特化，指对所有的模板参数进行特化。模板全特化与模板偏特化共同组成模板特化。
模板偏特化主要分为两种，一种是指对部分模板参数进行全特化，另一种是对模板参数特性进行特化，包括将模板参数特化为指针、引用或是另外一个模板类。
eg1
template <class _Tp, class _Up> struct _LIBCPP_TEMPLATE_VIS is_same : public false_type {
};
template <class _Tp> struct _LIBCPP_TEMPLATE_VIS is_same<_Tp, _Tp> : public true_type {
};
is_same函数手动实现，利用偏特化原理
#include eg2
//
// main.cpp
// ticketmachine
//
// Created by Python_liu on 2019/8/6.
// Copyright © 2019 liuxz. All rights reserved.
//
#include "TicketMachine.hpp"
#include
using namespace std;
class type_a
{
public:
void fun1()
{
cout<<"world! "<<endl;
}
};
template<typename T>
class test2
{
public:
void fun2()const
{
cout<<"wow"<<endl;
}
T t;
};
template<typename T>
class test1
{
public:
T* operator->();
using _test2 = test2<int>;//等价于 typedef test2 _test2!!!
private:
T a;
};
template<typename T>
T* test1<T>::operator->()
{
return &a;
}
template<typename T,class D>//未特化！
class test3
{
public:
void fun3(T num1,D num2)const
{
cout<<"standard class template"<<endl;
}
};
template<class D>//偏特化！
class test3<int,D>
{
public:
void fun3(int num1,D num2)
{
cout<<"partial class template"<<endl;
}
};
template<typename T,class D>//偏特化!
class test3<T*,D*>
{
public:
void fun3(const T* num1, const D* num2)
{
cout<<"new partial class template"<<endl;
}
};
template<>//全特化!
class test3<int,int*>
{
public:
void fun3(const int num1, const int* num2)
{
cout<<"new partial class template"<<endl;
}
};
int main(int argc, const char * argv[]) {
// insert code here...
cout<<"hello"<<endl;
test1<type_a> h;
h->fun1();
test1<type_a>::_test2 k;
k.fun2();
typedef int i[5];
i ii;
cout<<sizeof(ii)<<endl;
test3<int,int> b;
b.fun3(30, 30);//偏特化的优先级高于普通模板！！！！！！
test3<char,char> c;
c.fun3('a', 'b');//标准模板的优先级最低！！！
test3<char*, char*> d;
d.fun3("haha", "hehe");//全特化的优先级最高！！！
return 0;
}
模板的特化与偏特化需要注意一下几点：
1、模板是有优先级的，优先级高低是，全特化>偏特化>普通模板
2、偏特化时，template class
3、偏特化时，template
易错点
顺序应该是，先把泛化的模板的默认参数补上，然后从上到下进行比较，谁的优先级高就走谁
#include #include