如何创建两个模板版本以采用数组开头和结尾（带有T *和It）而没有重复的代码？

Question

当我创建一个将采用begin和end的函数（假设创建一个quick_sort）时，我必须创建一个采用T *的版本：

template<typename T> void quick_sort(T *_beg, T *_end){...}

和

template<typename It> void quick_sort(It _beg, It _end);

因此，我可以在std::vector其他容器和内置数组中使用该函数。

但是为了避免重复的代码，第二个版本中唯一的事情是：

{
    quick_sort(&*_beg, &*_end);
}

效果很好...大多数时候，但有时我会收到错误消息

can't dereference out of range vector iterator

用于尝试取消引用end迭代器（使用Visual Studio编译器）。

如何安全地开发这两个版本以避免重复代码？

Answer 1

指针是一个迭代器。因此，为避免重复，只需完全删除第一个版本，并坚持接受抽象（迭代器）。