如果满足条件，则调用可变模板参数包中的可变模板仿函数

Question

我有一个可变模板仿函数 class:

template <typename Result, typename... Arguments>
class Functor
{
public:
    using FunctionType = std::function<Result(Arguments...)>;
    Result operator() (const Arguments&... arguments) { return Function(arguments); }
    std::string GetName() { return Name; }
    Functor(const std::string& name, const FunctionType& function) : Name(name), Function(function) { }
private:
    std::string Name;
    FunctionType Function;
}

和一个可变模板函数：

template <typename... Functors>
void Function(const Functors&... functors) { }

假设我已经声明了一些 Functors 并且想在 Function:

中使用它们

Functor<int, int> f
(
    "f",
    [](int x) -> int { return 2 * x - 1; }
);
Functor<int, int, int> g
(
    "g",
    [](int x, int y) -> int { return x + 2 * y - 3; }
);
Function(f, g);

在Function里面，我想找出参数包中传给它的Functor是满足某个条件的，如果满足就调用functor。像下面的伪代码：

template <typename... Functors>
void Function(const Functors&... functors)
{
    foreach (Functor functor in functors)
    {
        if (functor.GetName() == "f")
        {
            functor(); // the functor can have different parameter lists so this is another problem
        }
    }
}

我想知道是否有办法做到这一点。我还想知道，由于 Functor 可以有不同的参数列表，即使我能够找到正确的 Functor 来调用，我该如何调用它们？假设有一个 std::vector<int> 并且当 Functor 以三个 int 作为其参数时，是否可以采用前三个 int 并将它们传递给 Functor?

Answer 1

在 C++17 中，使用 fold expressions.

很容易解决这个问题

#include <functional>
#include <string>

template <typename Result, typename... Arguments>
class Functor
{
public:
    using FunctionType = std::function<Result(Arguments...)>;
    Result operator() (const Arguments&... args) {
        return this->Function(arguments...);
    }
    std::string GetName() {
        return this->Name;
    }
    Functor(const std::string& name, const FunctionType& function)
        : Name(name), Function(function) { }

private:
    std::string Name;
    FunctionType Function;
};

template <typename... Functors>
void ForEachFunctor(const Functors&... functors)
{
    ((functors.getName() == "f" && functors()), ...);
}

在这里，我们利用 && 运算符的短路。只有当条件 functors.getName() == "f" 为真时，运算符的右侧才会被计算。

稍微不那么hacky的方法使用一个单独的函数：

template <typename Functor>
void InvokeIfNamedF(const Functor &functor) {
    if (functor.GetName() == "f")
        functor();
}

template <typename... Functors>
void ForEachFunctor(const Functors&... functors)
{
    (InvokeIfNamedF(functors), ...);
}

参数包的元素使用逗号运算符组合。然而，在这个例子中，我们在调用每个仿函数时没有参数。如果所有仿函数都有不同的签名，那么将它们作为一个包传递并一次有条件地调用它们可能是不可能的。

如果满足条件，则调用可变模板参数包中的可变模板仿函数

Call a variadic template functor in a variadic template parameter pack if it satisfies a condition

c++

variadic

variadic-functions

functor

variadic-templates