依然那霖哥

__iterator_traits技法用于模板编程，STL所有算法都是基于模板实现的。 先看下面是一个例子： template void func_impl(I iter, T t) { // ... } template inline void func(I iter) { func_impl(iter, *iter); // ... } int main() { int i;

上篇介绍了__iterator_traits编程技法，SGI 将这种技法进一步扩大到迭代器以外，于是有了所谓的__type_traits。 iterator_traits负责萃取迭代器的特性，__type_traits则负责萃取型别的特性。 而这里我们关注的型别特性是指：这个型别是否具备non-trivial default ctor\non-trivial copy ctor\ no