关于STL中value_type函数的思考

// 摘自stl_iterator_base.h
template <class _Iter>
inline typename iterator_traits<_Iter>::value_type*
__value_type(const _Iter&)
{
  return static_cast<typename iterator_traits<_Iter>::value_type*>(0);
}

《STL源码剖析》上说的是value_type这个函数在stl_iterator.h中，不过我在里面没有找到这个函数，有点懵逼，不过这并不是重点。下面进入正题。

在上面的函数中，从函数名上理解，__value_type这个函数的意图是获得一个迭代器所指对象的类型，假设这个类型的名字是T，这里返回的是一个T*类型的空指针。

那么问题来了，为什么要返回一个指针而不是一个对象呢。稍微思考一下应该容易得出如下的结论：

• 使用指针可以节省空间，在32位环境下，一个指针占用4个字节。如果是对象，可能要占用更多的字节，视该类的具体实现而定。
• 使用指针可以节省时间，产生一个对象需要调用构造函数，返回对象需要调用拷贝构造函数，同时需要调用析构函数处理局部对象，最后还需要调用析构函数处理临时对象。使用指针则没有这么麻烦。
• 定义一个T类型的空指针，这个空指针不指向任何实例化的对象，不会造成潜在的影响

对于__iterator_category这个函数，它的返回值是一个对象

template <class _Iter>
inline typename iterator_traits<_Iter>::iterator_category
__iterator_category(const _Iter&)
{
  typedef typename iterator_traits<_Iter>::iterator_category _Category;
  return _Category();
}

这似乎与上面的说法有点矛盾，那么看一下iter_category是什么

struct input_iterator_tag {};
struct output_iterator_tag {};
struct forward_iterator_tag : public input_iterator_tag {};
struct bidirectional_iterator_tag : public forward_iterator_tag {};
struct random_access_iterator_tag : public bidirectional_iterator_tag {};

可以看到这几种category里面都是空的，我的理解是其对象的构造和析构并不会带来额外的执行时间，并且其对象占用的空间要比指针小。

class Test {
};
using namespace std;
int main()
{
	cout << sizeof(Test) << endl;    // 输出1，空类占一个字节
	return 0;
}