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

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（ ）罢了。

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

这个就是取first的类型 你继续往下看_adjacent_difference_t(这个方法
void __rotate_cycle(RandomAccessIterator first, RandomAccessIterator last,
RandomAccessIterator initial, Distance shift, T * )
{
T value = * initial;
RandomAccessIterator ptr1 = initial;
RandomAccessIterator ptr2 = ptr1 + shift;
while (ptr2 != initial)
{
* ptr1 = * ptr2;
ptr1 = ptr2;
if (last - ptr2 > shift)
ptr2 += shift;
else

ptr2 = first + (shift - (last - ptr2));
}
* ptr1 = value;
}