C++模板类友元sort函数报expected ';'及unqualified id错误求助

• 编译报错的直接原因：模板函数sort的定义出现在iVector类定义之后，类内声明友元特化时编译器尚未得知sort是模板函数，将后续的<识别为非法符号，触发语法错误。
• 隐藏逻辑错误：现有iswap函数仅修改了指针形参的本地副本，未修改指针指向的实际值，即使编译通过排序也不会生效。

按以下步骤修改即可：

1. 在命名空间最开头补充sort模板函数的前置声明，让编译器在解析类内友元声明前就识别到sort是模板函数。
2. 修正iswap函数的实现逻辑，改为交换指针指向的实际值。
3. 额外补充空区间判断，避免排序空容器时出现越界问题。

完整修复后代码 #

#include <iostream>
namespace THU {
// 提前声明sort模板，解决类内友元声明的识别问题
template <class iterator>
void sort(iterator begin, iterator end);

template <class T>
void iswap(T* a, T* b) {
    // 修正swap逻辑，操作指针指向的实际值
    T tmp = *a;
    *a = *b;
    *b = tmp;
}
template <class T>
class iVector {
   protected:
    int _size;
    int use;
    T* _vector;

   public:
    typedef T* iterator;
    iVector(int n) : _size(n) {
        _vector = new T[n];
        use = 0;
    }
    iterator begin() { return _vector; }
    iterator end() { return begin() + use; }
    void clear() { use = 0; }
    bool empty() const {
        return use == 0;
    }
    void pop_back() {
        if (use > 0) {
            use -= 1;
        } else
            throw use;
    }
    void push_back(const T& v) {
        if (use < _size) {
            _vector[use] = v;
            use++;
        } else
            throw use;
    }
    T& operator[](int n) {
        if (n >= 0 && n < use) {
            return _vector[n];
        } else
            throw use;
    }
    // sort已前置声明，该声明可正常解析
    friend void sort<iterator>(iterator begin, iterator end);
    void print() {
        for (int i = 0; i < use; i++)
            std::cout << _vector[i] << " ";
        std::cout << std::endl;
    }
};
template <class iterator>
void sort(iterator begin, iterator end) {
    if (begin == end) return; // 空区间直接返回，避免越界
    iterator i = end - 1;
    for (; i != begin; i--) {
        iterator j = begin;
        for (; j != i; j++) {
            if (*j > *(j + 1))
                iswap(j, j + 1);
        }
    }
}
}  // namespace THU

内容的提问来源于stack exchange，提问作者dubugger