一、類模板全特化、偏特化
#pragma once
#include <iostream>
#include <map>
template <typename T, typename U>
class TC
{
public:
TC()
{
std::cout << "泛化版本構造函數" << std::endl;
}
void funtest()
{
std::cout << "泛化版本成員函數" << std::endl;
}
};
template<>
class TC<int, int>
{
public:
TC()
{
std::cout << "全特化版本構造函數" << std::endl;
}
void funtest()
{
std::cout << "全特化版本成員函數" << std::endl;
}
};
template<>
void TC<double, double>::funtest()
{
std::cout << "全特化版本函數" << std::endl;
}
main.cpp
#include <iostream>
#include "template.h"
using namespace std;
int main()
{
TC<char, int> tchar;
tchar.funtest();
TC<int, int> tint;
tint.funtest();
TC<double, double> tdouble;
tdouble.funtest();
}
輸出：
泛化版本構造函數
泛化版本成員函數
全特化版本構造函數
全特化版本成員函數
泛化版本構造函數
全特化版本函數
二、類模板偏特化
1、模板參數數量上：
template.h
#pragma once
#include <iostream>
#include <map>
template <typename T, typename U, typename W>
class TC2
{
public:
void funtest()
{
std::cout << "泛化版本成員函數" << std::endl;
}
};
template <typename U>
class TC2<int, U, double>
{
public:
void funtest()
{
std::cout << "偏特化版本成員函數" << std::endl;
}
};
main.cpp
#include <iostream>
#include "template.h"
using namespace std;
int main()
{
TC2<double, double, double> tdouble2;
tdouble2.funtest();
TC2<int, double, double> tint2;
tint2.funtest()
}
輸出：
泛化版本成員函數
偏特化版本成員函數
2、從模板參數範圍：
template.h
#pragma once
#include <iostream>
#include <map>
template <typename T>
class TC3
{
public:
void funtest()
{
std::cout << "泛化版本成員函數" << std::endl;
}
};
template <typename T>
class TC3<const T>
{
public:
void funtest()
{
std::cout << "const T偏特化版本成員函數" << std::endl;
}
};
template <typename T>
class TC3<T&>
{
public:
void funtest()
{
std::cout << "T&偏特化版本成員函數" << std::endl;
}
};
template <typename T>
class TC3<T *>
{
public:
void funtest()
{
std::cout << "T *偏特化版本成員函數" << std::endl;
}
};
main.cpp
#include <iostream>
#include "template.h"
using namespace std;
int main()
{
TC3<int> tint3;
tint3.funtest();
TC3<int &> tint3_ref;
tint3_ref.funtest();
TC3<int *> tint3_point;
tint3_point.funtest();
TC3<const int> tint3_const;
tint3_const.funtest();
}
輸出：
泛化版本成員函數
T&偏特化版本成員函數
T *偏特化版本成員函數
const T偏特化版本成員函數
三、函數模板全特化（不能偏特化）
template.h
#pragma once
#include <iostream>
#include <map>
template <typename T, typename U>
void tfunc(T& a, U& b)
{
std::cout << "tfunc 泛化版本函數" << std::endl;
}
template <>
void tfunc(int& a, int& b)
{
std::cout << "tfunc 全特化版本函數" << std::endl;
}
main.cpp
#include <iostream>
#include "template.h"
using namespace std;
int main()
{
int a1 = 1;
double b1 = 3.2;
tfunc(a1, b1);
tfunc(a1, a1);
}
輸出：
tfunc 泛化版本函數
tfunc 全特化版本函數