C++自定义泛型函数编译错误排查：迭代器参数问题

咱们先逐个拆解你遇到的编译器错误，再说说怎么实现你想要的通用排序函数：

1. 模板依赖类型缺失typename声明 #

你的模板函数定义：

template<typename T1>
void func(vector<T1>::iterator it) {
    cout << "\n" << *it;
}

这里的vector<T1>::iterator是依赖于模板参数T1的类型——编译器在处理模板的时候，没办法提前确定vector<T1>::iterator到底是一个类型，还是vector<T1>的某个静态成员变量。所以必须用typename关键字明确告诉编译器：这是一个类型。

这就是导致前两个错误的核心原因：

main.cpp:10:23: error: variable or field ‘func’ declared void
main.cpp:10:32: error: expected ‘)’ before ‘it’

编译器因为无法识别vector<T1>::iterator是合法类型，直接把func的声明解析成了错误格式，自然抛出这些报错。

2. 模板函数调用的识别问题 #

后面的两个错误：

main.cpp:26:5: error: ‘func’ was not declared in this scope
main.cpp:26:10: error: expected primary-expression before ‘int’

是因为前面的模板函数有语法错误，编译器根本没正确识别func是一个模板函数。所以当你尝试调用func<int>(arr.begin())时，编译器找不到这个函数，还会把<int>当成非法语法。

修正后的测试代码 #

给依赖类型加上typename，就能解决所有问题：

#include<iostream>
#include<vector>
using namespace std;

template<typename T1>
// 必须加typename，明确告知编译器这是一个类型
void func(typename vector<T1>::iterator it) {
    cout << "\n" << *it;
}

int main() {
    vector<int> arr(10);
    for(int i = 0;i < 10;++i) arr[i] = i+1;
    func<int>(arr.begin());
    return 0;
}

扩展到你想要的通用排序函数 #

你提到想要支持任意类型迭代器的排序函数，其实不需要限制在vector的迭代器上——直接用模板参数接受迭代器类型即可，这样就能支持所有符合迭代器规范的类型（比如list的迭代器、原生数组指针等），和标准库sort的用法完全一致：

#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

// 通用自定义排序函数（以冒泡排序为例），支持任意双向迭代器
template<typename Iterator>
void my_custom_sort(Iterator begin, Iterator end) {
    if (begin == end) return;
    for (Iterator i = begin; i != end; ++i) {
        for (Iterator j = begin; j != i; ++j) {
            if (*j > *i) {
                swap(*j, *i);
            }
        }
    }
}

int main() {
    vector<int> arr = {5,2,9,1,5,6};
    // 调用方式和标准库sort完全一致
    my_custom_sort(arr.begin(), arr.end());
    // 打印排序结果
    for (int num : arr) {
        cout << num << " ";
    }
    return 0;
}

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