萃取编程技术

萃取编程

萃取编程技术是在模板编程的基础上结合模板偏特化和类模板的内嵌类型声明（相关内容链接）得到的一种类型识别（推导）技术（实际上这是模板元编程技术的一个典型应用）。

类型萃取的方式

类型萃取是在模板的基础上区分内置类型和其他类型，主要原理是将内置类型全部特化，然后再进行区分。

《STL源码剖析》样例分析

在STL中，迭代器是萃取编程技术的一个重要实现成果。迭代器就像智能指针，解引用、成员访问、移动迭代器（像移动指针一样）是它的基本功能。

假设我们需要实现一个迭代器类，为了简化实现，这个迭代器类只需要解引用功能：

template <typename T>
struct MyIter
{
	T* ptr;
	MyIter(T* p = nullptr) : ptr(p) {}
	T& operator*() const {return *ptr;}
};

如果我们要获取迭代器所指对象的类型该怎么办？

模板函数的实参推导机制只能推导参数，对于需要用迭代器所指对象的类型作为返回值类型的函数来说无能为力。这时候我们需要在迭代器模板类中声明一个内嵌类型：