C/C++教程

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

本文主要是介绍C++ Primer 5th笔记(chap 16 模板和泛型编程) 类模板的成员函数,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

1. 分类

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

被隐式声明为内联函数。

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

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

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

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

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

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

1.2.2 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) ;
}

1.2.3 下标运算符和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的类型。

1.2.4 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。

这篇关于C++ Primer 5th笔记(chap 16 模板和泛型编程) 类模板的成员函数的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!