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

Posted 2021-09-23 thefist11

1. 分类

1.1 定义在类模板内的成员函数

被隐式声明为内联函数。

1.2. 类模板外部的成员函数，

类模板的成员函数本身是一个普通函数。但是，类模板的每个实例都有其自己版本的成员函数。因此，类模板的成员函数具有和模板相同的模板参数。因而，定义在类模板之外的成员函数就必须以关键字template开始，后接类模板参数列表。

在类外定义一个成员时，必须说明成员属于哪个类。从一个模板生成的类的名字中必须包含其模板实参。

2. 特性

当我们定义一一个成员函数时，模板实参与模板形参相同。

对于StrBlob的一个给定的成员函数
ret-type StrB1ob: :member-name(parm-ist)

对应的Blob的成员应该是这样的: .
template <typename T:ret-type Blob: : member-name(parm-list)

2.1 check和元素访问成员

template <typename T>
void Blob<T>: :check(size_ type i, const std: :string &msg) const
{
	if (i >= data->size())
		throw std: :out_ _of_ range (msg) ;
}

2.2 下标运算符和back函数用模板参数指出返回类型

template <typename T>T& Blob<T>: :back()
{
	check(0，"back on empty Blob") ;
	return data->back() ;
}

template <typename T> T& B1ob<T>: :operator[] (size_ type i)
{
	//如果i太大，check会抛出异常，阻止访问一个不存在的元素
	check(i, "subscript out of range") ;
	return (*data) [i];
}

在原StrBlob类中，这些运算符返回string&。而模板版本则返回一个引用，指向用来实例化Blob的类型。

2.3 Blob构造函数

构造函数的定义要以模板参数开始:

template <typename T> B1ob<T>: :Blob() : data (std: :make_ shared<std: :vector<T>>())
 {
 }

此构造函数分配-一个空vector,并将指向vector的指针保存在data中。如前所述，我们将类模板自己的类型参数作为vector的模板实参来分配vector。

类似的，接受一个initializer_ list参数的构造函数将其类型参数T作为initializer_ list参数的元素类型:

template <typename T> Blob<T>: :Blob(std: :initializer_ list<T> il) :
                                  data(std: :make_ shared<std: :vector<T>> (il) ) { }

类似默认构造函数，此构造函数分配一个新的vector。在本例中，我们用参数il来初始化此vector. 为了使用这个构造函数，我们必须传递给它一一个 initializer_ list, 其中的元素必须与Blob的元素类型兼容:

Blob<string> articles = {"a", "an", "the"};

这条语句中，构造函数的参数类型为initializer_ list. 列表中的每个字符串字面常量隐式地转换为一-个 string。