[std-discussion] Edition of the example in the paragraph #3 of the section 27.4.2 Standard iterator tags

['Vlad from Moscow' via ISO C++ Standard - Discussion]

There is the following example

template inline void evolve(BidirectionalIterator first,
BidirectionalIterator last) {
evolve(first, last,
typename iterator_traits::iterator_category());
}


template void evolve(BidirectionalIterator first, BidirectionalIterator last
,
bidirectional_iterator_tag) {
// more generic, but less efficient algorithm
}


template void evolve(RandomAccessIterator first, RandomAccessIterator last,
random_access_iterator_tag) {
// more efficient, but less generic algorithm
}

Should it be rewritten like

template void evolve(BidirectionalIterator first, BidirectionalIterator last
,
bidirectional_iterator_tag) {
// more generic, but less efficient algorithm
}


template void evolve(RandomAccessIterator first, RandomAccessIterator last,
random_access_iterator_tag) {
// more efficient, but less generic algorithm
}

template inline void evolve(BidirectionalIterator first,
BidirectionalIterator last) {
evolve(first, last,
typename iterator_traits::iterator_category());
}


That is the first funcion should be the last.