c++沉思录笔记（17章代码）

问题：如何利用模板编写可适用于不同的数据结构和参数类型的函数？

这章给出了一个答案，尽可能多的减少对数据结构、参数类型的假设（要求）。

从书本上的那个例子出发：

const int* find1(const int* a, int n, int x)
{
	const int* p = a;
	for (int i = 0; i < n; ++i) {
			if(*p == x)
				return p;
			++p;
	}
	return 0;
}

这个函数的通用性不高，以下四点限制了其通用性：

1. 查找的是int类型的值

2. 必须在int对象数组中进行查找

3. 必须预先知道数组中元素的数目

4. 必须知道第一个元素的地址

接下来的工作就是将该函数泛型化

首先是去除对int的依赖，这个简单，直接将函数写成模板即可

template <typename T>
T* find2(T* a, int n, const T& x)
{
		T* p = a;
		for (int i = 0; i != n; ++i) {
				if (*p == x)
						return p;
				++p;
		}
		return 0;
}

接下来去除的是必须预先知道有多少个元素的要求。消除这个依赖性的原因是，对于通用性越好的数据结构，预先计算元素的个数的代价就越昂贵。

我们通过改变函数的方法来解决这个问题。通过使函数接受第一个元素和最后一个元素的两个指针。

template <typename T>
T* find3(T* a, T* beyond, const T& x)
{
		T* p = a;
		while (p != beyond) {
				if (*p == x)
						return p;
				++p;
		}
		return 0;
}

接下来书上有句话是这样的：我们对指针所做的另一个假设是，假设可以把0转换成一个与其他所有的值不同的指针值。

我对这句话的理解是这样的：这个假设（或者说是依赖）是该函数对指针的一种依赖，因为可能接受的实参不是指针而是迭代器。

因此这个假设不利于实现通用性。

改进方法：如果没找到要找到的值，我们就返回一个beyond而不是0。

template <typename T>
T* find4(T* a, T* beyond, const T& x)
{
		T* p = a;
		while (p != beyond) {
				if (*p == x)
						return p;
				++p;
		}
		return beyond;
}

化简代码

template <typename T>
T* find5(T* a, T* beyond, const T& x)
{
		T* p = a;
		while (p != beyond && *p != x)
				++p;
		return p;
}

接下来就是消除对指针的依赖，通过把类型T*作为模板参数。

template <typename P, typename T>
P find6(P start, P beyond, const T& x)
{
		while (start != beyond && *start != x)
				++start;
		return start;
}

这样就完成了一个同用的函数。