函数式模板语法

Question

我正在尝试编写一个相当简单的类，它接受一个函数和一些参数，并且可以在以后执行带有参数的函数。

目前，这是我的代码：

template<typename R, typename... Args>
class Delayed
{
public:
    using FunctionT = std::function<R(Args...)>;

    Delayed(FunctionT func, Args... args) : func(func), args(std::forward<Args>(args)...)
    {

    }

private:
    FunctionT func;
    std::tuple<Args...> args;
};

int main()
{
    std::function<double(double)> doubleMe = [](double x) { return x * 2.0; };

    //Works
    Delayed<double, double> delayed1(doubleMe, 2.0);

    //Doesn't work
    Delayed<double(double)> delayed2(doubleMe, 2.0);
}

问题在于，当我将double(double) 作为参数传递时，而不是将R 传递给double 和Args 传递给double，它将double(double) 传递给R 而没有传递给Args .

According to cppreference，std::function 的模板参数是template< class R, class... Args >。因此，如果我给它A(B,C)，它将传递A 用于参数R 和B,C 用于可变参数Args。但是，当我将它传递给我的班级时，它会将A(B,C) 传递给R，而没有传递任何可变参数Args。

这个函数语法应该如何使用，为什么它适用于std::function 而不是我的班级？

Answer 1

因此，如果我给它A(B,C)，它将通过A 为参数R 和B,C 为可变参数Args。

是的，但不是出于您认为的原因。如果仔细观察，您会发现 std::function 部分专门用于任何函数类型：

template<typename R, typename... Args>
class function<R(Args...)>;
//            ^^^^^^^^^^^^

你可以把它想象成非常原始的模式匹配。如果你用int(int, double) 实例化function，那么R 是int，Args 是int, double 是有意义的。如果（部分）特化比包罗万象的通用主模板更匹配，则选择它，这就是这里发生的情况。

记住：double(double) 是一个类型，它是一个函数。没有任何涉及它的特殊规则。所以，在你的情况下，你会这样做：

template<typename R, typename... Args>
class Delayed<R(Args...)> : public Delayed<R, Args...> {
  //         ^^^^^^^^^^^^
  //       partially specialize to decompose function types

  // We need to inherit constructors (only).
  using Delayed<R, Args...>::Delayed;
};

希望它能消除混乱。