如何复刻algorithm头文件类函数？C++代码报错求助

常见问题根源 #

你的模板推导错误通常来自三个核心点：

1. 仿sort函数的模板参数设计不合理，比如试图从容器类型推导迭代器，而非直接将迭代器作为独立模板参数
2. 错误继承std::iterator，现代C++迭代器无需依赖这个基类，反而会引入冗余嵌套类型干扰推导
3. 模板参数匹配逻辑混乱，导致编译器无法自动推导比较器（如lambda闭包）的类型

修正后的完整示例代码 #

#include <vector>
#include <utility> // 用于std::swap

// 独立命名空间定义比较用的lambda
namespace MyComparators {
    // 无捕获lambda，可直接作为函数对象传递
    auto greater = [](const auto& a, const auto& b) {
        return a > b;
    };
}

// 另一命名空间实现仿std::sort的算法
namespace MyAlgorithms {
    // 模板参数：迭代器类型、比较器类型（由编译器自动推导）
    template <typename Iterator, typename Compare>
    Iterator my_sort(Iterator first, Iterator last, Compare comp) {
        // 冒泡排序示例实现（可替换为更高效的排序逻辑）
        const auto start = first;
        while (first != last) {
            auto next = first;
            ++next;
            if (next != last && comp(*next, *first)) {
                std::swap(*first, *next);
            }
            ++first;
        }
        // 返回排序后的起始迭代器（若需返回特定元素，比如最大元素，直接返回start即可）
        return start;
    }
}

int main() {
    std::vector<int> nums = {3, 1, 4, 1, 5, 9};
    // 调用自定义算法，编译器自动推导迭代器和比较器类型
    auto sorted_begin = MyAlgorithms::my_sort(std::begin(nums), std::end(nums), MyComparators::greater);
    
    // 验证结果（输出应为9,5,4,3,1,1）
    // for (auto it = sorted_begin; it != std::end(nums); ++it) {
    //     std::cout << *it << " ";
    // }
    return 0;
}

关键修正点说明 #

• 模板参数设计：将迭代器作为独立的typename Iterator模板参数，避免从容器类型（如std::vector<T>）推导迭代器导致的依赖类型推导失败
• 比较器推导：直接使用typename Compare作为模板参数，编译器会自动识别lambda的闭包类型，无需显式指定
• 移除std::iterator：现代C++标准容器的迭代器自带value_type等嵌套类型，强行继承std::iterator会导致类型匹配混乱
• lambda作用域：命名空间中的无捕获lambda可直接作为函数对象传递，确保调用点能访问到该lambda变量

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