制作比较器函数的向量

Make a vector of comparator functions

我的问题是用不同的比较函数测试快速排序的实现:std::lessstd::greater。但我不想复制粘贴仅在两个比较器中不同的测试代码,所以我想将它们放入一个向量(或其他东西?)并迭代它们。

为了简化这个 post,假设我想在两个函数的向量上编写一个循环,这两个函数将 01 作为参数并输出一个布尔值。这是我的看法:

#include <iostream>
#include <vector>
#include <functional>

int main() {
    auto fs = std::vector<>{std::less<int>{}, std::greater<int>{}};

    for (auto f: fs) {
        std::cout << f(0, 1) << " ";
    } std::cout << std::endl;
}

我的 g++ 6.1.1 编译器合理地抱怨我没有为向量指定模板参数。我一直在尝试 std::function<bool(int, int)> 和其他没有运气的事情。

你能告诉我如何修复这段代码吗?


更新:我得到的确切错误:

% g++ -std=c++14 -Wall deleteme.cpp && ./a.out
deleteme.cpp: In function ‘int main()’:
deleteme.cpp:6:27: error: wrong number of template arguments (0, should be at least 1)
     auto fs = std::vector<>{std::less<int>{}, std::greater<int>{}};
                           ^
In file included from /usr/include/c++/6.1.1/vector:64:0,
                 from deleteme.cpp:2:
/usr/include/c++/6.1.1/bits/stl_vector.h:214:11: note: provided for ‘template<class _Tp, class _Alloc> class std::vector’
     class vector : protected _Vector_base<_Tp, _Alloc>
           ^~~~~~
deleteme.cpp:8:18: error: unable to deduce ‘auto&&’ from ‘fs’
     for (auto f: fs) {
                  ^~

只有从 C++17 开始,构造函数的模板参数才能推导出类型的模板参数,所以你必须写 std::vector<std::function<bool(int,int)>> 而不是 std::vector<>

请注意,与直接调用函数相比,std::function 具有性能开销,因此您可能需要查看可变参数模板参数(和 swallowing)以获得最后几个百分比

当你使用不同的类型时,你可能会使用元组,并迭代元组:

namespace detail {
    template <typename F, typename TUPLE, std::size_t ... Is>
    void run_for_each(F&& f, TUPLE&& t, std::index_sequence<Is...>)
    {
        const int dummy[] = {0, (f(std::get<Is>(std::forward<TUPLE>(t))), void(), 0)...};
        static_cast<void>(dummy); // Avoid warning for unused variable
    }
}

template <typename F, typename TUPLE>
void run_for_each(F&& f, TUPLE&& t)
{
     detail::run_for_each(std::forward<F>(f),
                          std::forward<TUPLE>(t),
                          std::make_index_sequence<
                              std::tuple_size<std::decay_t<TUPLE>>::value>());
}

然后

int main() {
    auto t = std::make_tuple(std::less<int>{}, std::greater<int>{});

    run_for_each([](auto&&f) {std::cout << f(0, 1) << " ";}, t);
    std::cout << std::endl;
}

Demo