type traits 负责萃取元素类型的特性,如果元素具有某个性质则我们调用某个函数,如果不具有某个性质则调用另一个函数。它充分利用了C++模板编程和编译器的参数推导功能(编译器只有面对类类型参数才会进行参数推导)。STL大量运用了traits编程技巧,通过模板特化,函数重载让编译器选择正确的处理方式,在编译期就能完成函数分发,极大的提高了灵活性。
先看一个例子
#include <iostream>
template <typename T>
struct is_void
{
static const bool value = false;
};
template <>
struct is_void<void>
{
static const