c++ - 通过组合实现仿函数重载

Question

给定一些现有的仿函数:

struct incr {
    int operator()(int x) const { return x + 1; }
};

struct rep_str {
    std::string operator()(const std::string& s) const { return s + s; }
};

我想知道是否有可能实现这样的目标:

auto f = overload<incr, rep_str>();
f(1);        // returns 2
f("hello");  // returns "hellohello"

多个重载可能如下所示:

auto f = overload<fa, fb, fc, ...>();
// or...
auto g = overload<fa, overload<fb, overload<fc, ...>>>();

我在想也许可以将 SFINAE 与 std::result_of_t 或类似的东西一起使用，但还没有弄清楚如何。

Answer 1

您不需要太花哨的东西:只需继承所有参数并使用using-declarations引入operator()来自基类。但是，在可变参数情况下，您不能在using-declaration 中进行包扩展，因此您必须使用递归方法，如下所示:

template <class... Ts>
struct overload {}; // only used for empty pack

template <class T>
struct overload<T> : private T {
    using T::operator();
};

template <class T1, class T2, class... Ts>
struct overload<T1, T2, Ts...> : private T1, overload<T2, Ts...> {
    using T1::operator();
    using overload<T2, Ts...>::operator();
};