C++ Primer 5th笔记（chap 16 模板和泛型编程）成员模板

Posted 2021-10-05 thefist11

1. 成员模板（ member template)

一个类（ 无论是普通类还是类模板） 可以包含本身是模板的成员函数。

• 成员模板不能是虚函数。

1.1 普通（ 非模板 ） 类的成员模板

/ / 函数对象类， 对给定指针执行 delete
class DebugDelete {
public:
    DebugDelete (std:rostream &s = std::cerr ): os (s) { }
    
	/ / 与任何函数模板相同， T 的类型由编译器推断
	template <typename T> void operator ( ) (T *p) const
	{ 
		os « "deleting unique_ptr" « std::endl; 
		delete p;
	}

private:
	std::ostream &os;
}

double* p new double;
DebugDelete d; / / 可像 delete 表达式一样使用的对象
d (p); / / 调用 DebugDelete::operator ( ) (double* ) ， 释放 p

int* ip;
// 在一个临时 DebugDelete 对象上调用 operator ( ) (int*)
DebugDelete ( ) (ip);

/ / 销 毁 p 指向的对象
//实例化 DebugDelete::operator ( > <int> (int * )
unique_ptr<int, DebugDelete> p (new int, DebugDelete ( ) );

// 销 毁 sp 指向的对象
/ / 实例化 DebugDelete::operator ( ) <string> (string* )
unique_ptr<string, DebugDelete> sp (new string, DebugDelete ( ) );

/ / DebugDelete 的成员模板实例化样例
void DebugDelete::operator ( ) (int *p) const { delete p; }
void DebugDelete::operator ( ) (string *p) const { delete p; }

1.2 类模板的成员模板

类模板也可以有成员模板，此时类和成员各自有自己的、独立的模板参数。

template <typename T> class Blob {
	template <typename It> Blob (It b, It e);
	//.. .
}

与类模板的普通函数成员不同， 成员模板是函数模板。

当我们在类模板外定义一个成员模板时， 必须同时为类模板和成员模板提供模板参数列表。 类模板的参数列表在前， 后跟成员自己的模板参数列表：

//定义一个类模板的成员， 类模板有一个模板类型参数， 命名为 T。
// 而成员自身是一个函数模板， 它有一个名为 It 的类型参数。

template <typename T>//类的类型参数
//构造函数的类型参数
template <typename It> Blob<T>::Blob (It b, It e):
              data (std::make_shared<std::vector<T»(b, e) ) { }

1.3 实例化与成员模板

为了实例化一个类模板的成员模板， 我们必须同时提供类和函数模板的实参。

int ia[] = {0,1,2,3,4,5,6, 7,8,9};
vector<long> vi = {0,1,2,3,4,5,6, 7,8,9};
list<const char*> w = {"now", "is", "the", "time" }；

// 实例化 Blob<int>类及其接受两个 int*参数的构造函数
Blob<int> al (begin (ia) , end (ia) );

// 实 例 化 Blob<int>类的接受两个 vector<long>::iterator 的构造函数
Blob<int> a2 (vi.begin ( ), vi.end ( ) );

// 实例化Blob<string>及其接受两个list<const char*〉： ： iterator 参数的构造函数
Blob<string> a3 ( w.begin ( ), w.end ( ) );