不务正业系列：看STL中迭代器与traits时突然想到decltype

看《STL源码剖析》中讲到迭代器与traits时做了下笔记。
详见：https://blog.csdn.net/uestc_chenmo/article/details/80444092
做笔记过程中突然想到，参数类型和返回值类型问题似乎很贴近auto和decltype。
编译器会在编译时通过变量的初始值或表达式自动推导变量的类型。具体网上资料很多此不赘述。
STL出现较早，其中的traits和函数模板参数推导的技巧，利用C++11才出现的auto和decltype似乎可以很轻松的解决：
如之前文中记载的利用函数模板的参数推导：

template<typename T>
void func0(T a)
{
    func0_imp(*a);
    return;
}
template<typename T>
void func0_imp(T a)
{
    T aa = a;
    cout << aa << endl;
    return;
}

通过decltype可以更简便的实现：

template<typename T>
void func0(T a)
{
    decltype(*a) aa = *a;
    cout << aa << endl;
    return;
}

通过内嵌类型解决返回值类型问题：

template<typename T>
class Iterator
{
    typedef T value_type;//内嵌类型声明  
    //省略类成员...
};
template<typename I>
typename I::value_type  //返回值类型，必须加typename告诉编译器这是类型
func(I iter)
{
    return *iter;
}

使用auto与decltype则不需要依赖内嵌类型：

template<typename Iterator>
auto func(Iterator iter) ->decltype(*iter)
{
    return *iter;
}

decltype和auto都是在编译期完成推导，不会影响运行时性能问题，不知道会和traits技术擦出怎样的火花，不务正业随便花点时间写程序试了试，研究不深入。