问题:如何利用模板编写可适用于不同的数据结构和参数类型的函数?
这章给出了一个答案,尽可能多的减少对数据结构、参数类型的假设(要求)。
从书本上的那个例子出发:
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;
}
这样就完成了一个同用的函数。