Boost源码剖析之：型别分类器——type_traits