《STL源码剖析》中 adjacent_difference函数中的传递调用

Question

STL源码中 有很多传递调用，（侯捷著）其中有一种：
template
OutputIterator adjacent_difference_t(InputIterator first, InputIterator last, OutputIterator result)
{
if (first == last) return result;
result = *first;
return _adjacent_difference_t(first, last, result, value_type(first));
}
template
OutputIterator _adjacent_difference_t(InputIterator first, InputIterator last, OutputIterator result,T)
{
T value = *first;
while (++first != last)
{
T tmp = *first;
*++result = tmp - value;
value = tmp;
}
return result;
} 这是个判断相邻元素的差额的函数。在第一个中间有一个 value_type(first) 这个东西，我怎么也找到不到这个是从哪里来的，虽然下面给了一种直接写整个函数的方法，但是他这个value_type(first)的使用方法在其他函数似乎也有很大作用，本着求知的精神，希望有明白的人能够求解一下：这个value_type（first）是从哪里来的，同理还有search(),find_end()中好像也有这样的用法，不过在其他地方用的是distance_type（ ）罢了。

Answer 1

这个value_type实际上就是一个pair用它可以给map插入一些值
http://blog.csdn.net/hzh2007/article/details/8671627 详细解答