如何将std::sort等重载标准库函数传递给自定义通用函数

报错原因 #

编译错误的核心诱因是std::sort、std::reverse这类标准库算法本身为函数模板，存在多个重载版本，直接传递函数名时编译器无法自动推导所需的具体模板实例，因此会识别为未解析的重载函数类型。你之前写的第一个泛型模板逻辑本身没有问题，问题出在调用环节的重载实例推导失败。

现代C++实现方案 #

通用实现（兼容C++17及以上版本） #

以下实现支持返回值透传、可变参数传入、所有标准库容器适配，完全符合现代C++规范：

#include <utility>
#include <iterator>

template <typename Fn, typename Container, typename... Args>
decltype(auto) apply(Fn&& fn, Container&& c, Args&&... args)
{
    return std::forward<Fn>(fn)(
        std::begin(std::forward<Container>(c)),
        std::end(std::forward<Container>(c)),
        std::forward<Args>(args)...
    );
}

特性说明：

• 用decltype(auto)完美保留传入函数的返回值类型、值类别与引用属性，实现返回值透传
• 支持任意数量的额外参数传入，可直接传递排序比较器、数值算法初始值等参数
• 兼容所有标准库容器，包括普通数组、std::vector、std::list等常见容器类型
• 所有参数通过std::forward完美转发，避免不必要的拷贝，支持右值容器传入

正确调用方式 #

调用时需要对模板类算法做实例化指定，或者用泛型lambda包装，两种常用方式如下：

#include <vector>
#include <algorithm>

int main() {
    std::vector<int> a = {1, 5, 2, 4, 3};

    // 方式1：显式指定算法模板实例
    apply(std::sort<std::vector<int>::iterator>, a); // 排序后为{1,2,3,4,5}
    apply(std::reverse<std::vector<int>::iterator>, a); // 翻转后为{5,4,3,2,1}

    // 方式2：用泛型lambda包装（更简洁，推荐）
    // 带自定义比较器的排序
    apply([](auto&&... params) { 
        return std::sort(std::forward<decltype(params)>(params)...); 
    }, a, [](int x, int y) { return x > y; }); // 降序排序后为{5,4,3,2,1}

    // 返回值透传示例
    auto max_it = apply([](auto&&... params) { 
        return std::max_element(std::forward<decltype(params)>(params)...); 
    }, a);
    // *max_it 为容器内最大值5
}

C++20 简化方案 #

如果使用C++20及以上版本，标准库std::ranges命名空间下的所有算法原生支持直接传入容器，不需要额外封装apply函数，可直接调用：

std::ranges::sort(a);
std::ranges::reverse(a);
auto max_it = std::ranges::max_element(a);

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