C++ - 类模板的 部分定制(partial specializations) 和 定制成员(specialization members)

类模板的 部分定制(partial specializations) 和 定制成员(specialization members)

本文地址: http://blog.csdn.net/caroline_wendy/article/details/17258777

类模板的部分定制, 是指使用类模板的类型(T), 但是不同种类, 如左值, 右值等;

类模板的部分定制, 和类模板定制相同, 都需要类名相同,参数相同;

定制的形参(parameter)比原始模板(original template)更加匹配;

类模板有部分定制, 但函数模板没有, 函数模板只能是重载;

类模板的定制成员, 类模板可以单独定制成员类型, 使不同的实例化类, 使用定制的成员;

代码(部分定制):

/*
 * CppPrimer.cpp
 *
 *  Created on: 2013.12.9
 *      Author: Caroline
 */

/*eclipse cdt, gcc 4.8.1*/

#include <iostream>
#include <vector>
#include <cstring>

using namespace std;

template<typename T>
struct myclass{
	void print() { std::cout << "myclass!" << std::endl; }
};

//类的部分定制, 左值
template<typename T>
struct myclass<T&>{
	void print() { std::cout << "myclass! lvalue" << std::endl; }
};

//右值
template<typename T>
struct myclass<T&&>{
	void print() { std::cout << "myclass! rvalue" << std::endl; }
};

int main(void)
{
	int i(1988);
	int& ri = i;
	myclass<decltype(1988)> mc; //原始版本
	mc.print();

	myclass<decltype(ri)> mcl; //左值版本
	mcl.print();

	myclass<decltype(std::move(i))> mcr; //右值版本
	mcr.print();

	return 0;
}

输出:

myclass!
myclass! lvalue
myclass! rvalue

代码(定制成员):

/*
 * CppPrimer.cpp
 *
 *  Created on: 2013.12.9
 *      Author: Caroline
 */

/*eclipse cdt, gcc 4.8.1*/

#include <iostream>
#include <vector>
#include <cstring>

using namespace std;

template<typename T>
struct myclass{
	void print() { std::cout << "myclass!" << std::endl; }
};

//定制成员的int版本
template<>
void myclass<int>::print()
{
	std::cout << "myclass! int" << std::endl;
}

int main(void)
{
	myclass<double> mcd;
	mcd.print();

	myclass <int> mci;
	mci.print();

	return 0;
}

输出:

myclass!
myclass! int