如何使可变参数模板类方法将函数指针作为参数，并使用从函数模板派生的类型？

抱歉，标题很拗口。我正在研究一个类似于所讨论的数组类here https://stackoverflow.com/questions/26766617。我想定义一个“映射”函数，它接受用户定义的函数并将其应用于数组的每个元素。出于类型检查的目的，我想定义它以便用户指定的函数must采用与传递给 map 函数相同数量的参数，以便

double f(double a, double b) { return a + b; }
Array<double,2> x, y, z; x.map(f, y, z);

会编译但是

double g(double a, double b, double c) { return a + b + c; }
Array<double,2> x, y, z;. x.map(g, y, z);

不会，因为g根据传递给映射函数的内容，采用错误数量的参数。

我尝试过如下语法：

template<typename T, size_t ... Ns> class Array
{
    template<class ... Args> inline const Array<T, Ns...>
        map(T (*fn)(decltype(Args, double)...), Args...)
    {
        // doesn't compile
    }
}

我认为这很接近，但显然是错误的，因为它无法编译。我很高兴能够学习此类操作的正确语法。

template <typename T, std::size_t ... Ns>
struct Array
{
    template <typename>
    using arg_type = T;

    template <class ... Args>
    Array<T, Ns...> map(T (*fn)(arg_type<Args>...), Args...)
    {
        return {};
    }
};

DEMO http://coliru.stacked-crooked.com/a/101885f73bbdd24c