在算法中运用迭代器时,很可能会用到其相应类型(associated type)。什么是相应类型,迭代器所指之物的类型便是其一。假设算法中必须要声明一个变量,以“迭代器所知对象的类型”为类型,应该怎么办?毕竟C++并未支持typeof()。即便动用RTTI性质中的typeid(),获得的也只是类型名称,不能拿来做变量声明之用。
解决办法是:利用function template的参数推导(argument deducation)机制。
例如:
template<class I,class T>
void func_impl(I iter,T t)
{
T tmp;//这里解决了问题。T就是迭代器所指之物的类型。
//... 这里做原本func()应该做的全部工作
};
template <class I>
inline void func(I iter)
{
func_impl(iter,*iter);//func的工作全部移往func_impl
}
int main()
{
int i;
func(&i);
}
我们以func()为对外接口,却把实际操作全部置于func_impl()之中。由于func_impl()是一个function template,一旦被调用,编译器会自动进行template参数推导。于是导出类型T,顺利解决了问题。