用迭代器指向类型声明变量

在算法中运用迭代器时很可能会用到相应型别，什么是相应型别？迭代器所指之物便士其一。假设算法中有必要声明一个变量，以“迭代器所指向的对象的型别”为型别，如何是好？

毕竟C++只支持sizeof()，并未支持typeof()，即便运用RTTI性质中的typeid()获得的也只不过是型避恶名称，不能拿来用作变量声明。

解决办法：利用函数模板的参数推倒机制。例如：

template <typename I,typename T>
void func_impl(I iter,T t)
{
  T temp;//这里正好就解决了问题。T所指向的就是类型为T。
  //。。。。
}
 
template <typename I>
inline void func(I iter)
{
    func_impl(iter,*iter);//正好一个参数是iter，另一个是所指向的对象
}
 
int main()
{
    int i;
    func(&i);
}

我们以func()为对外接口，却把实际的工作全部置于func_impl()之中。由于func_impl()是一个函数模板，一旦被调用编译器会自动进行模板参数推倒。于是导出了型别T。