迭代器相应类型

在算法中运用迭代器时，很可能会用到其相应类型(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，顺利解决了问题。