写C++代码原型(3) template <typename Iterator, typename CMP_T=std::less<decltype(*Iterator())>> void quicksort(Iterator left, Iterator right, CMP_T cmp=CMP_T());

这是一个模板函数，可以对任何迭代器所指向的容器进行快速排序。

函数签名中的参数解释如下：

- Iterator：迭代器类型，指定要排序的容器的迭代器类型。
- CMP_T：比较函数类型，默认为 std::less<decltype(*Iterator())>，用于指定元素之间的比较方式。可以自定义比较函数，但必须满足严格弱序关系。
- left：容器的左边界，指定要排序的区间的起始位置。
- right：容器的右边界，指定要排序的区间的结束位置。
- cmp：比较函数对象，用于指定元素之间的比较方式。如果未提供，则使用默认的 std::less。

函数实现如下：

template <typename Iterator, typename CMP_T=std::less<decltype(*Iterator())>> 
void quicksort(Iterator left, Iterator right, CMP_T cmp=CMP_T()) {
    if (left == right) {
        return;
    }

    Iterator i = left;
    Iterator j = right;
    Iterator pivot = left++;

    while (left <= right) {
        while (left <= right && cmp(*left, *pivot)) {
            ++left;
        }

        while (left <= right && cmp(*pivot, *right)) {
            --right;
        }

        if (left <= right) {
            std::iter_swap(left++, right--);
        }
    }

    std::iter_swap(pivot, right);

    quicksort(i, right - 1, cmp);
    quicksort(right + 1, j, cmp);
}

该函数的实现使用了经典的快速排序算法，具体过程如下：

1. 选取一个枢纽元素 pivot，将区间划分为两个子区间（小于等于 pivot 的元素和大于 pivot 的元素）；
2. 对两个子区间递归地进行快速排序；
3. 直到区间为空或只包含一个元素时停止递归。

需要注意的是，该函数的时间复杂度为 O(nlogn)，但最坏情况下会退化为 O(n^2)。因此，在实际应用中需要根据具体情况选择合适的排序算法。