使用模板化函数作为模板参数

Question

我正在编写一个具有反复调用的函数的类，并决定将其作为模板参数来实现。 作为我正在谈论的具体示例，请考虑以下课程：

#include <array>

template<double (*func)(std::array<double,3>)>
class MyClass
{

public:
    MyClass()
    {
        std::array<double,3> v {{0.1,0.2,0.1}};
        func(v);
    }
};

然后可以用一个函数实例化，例如：

double func(std::array<double,3> x)
{
    return x[0]*x[0]+x[1];
}

int main()
{
    MyClass<func> entity;
}

但是，我需要该函数可被不同类型调用（该函数中的操作当然适用于所有类型），也就是说，我希望将此函数模板化，如下所示：

template<typename scalartype, typename vectype>
scalartype func1(vectype x)
{
    scalartype res = x[0]*x[0]+x[1];
    return res;
}

我仍然可以将其用作模板参数，但是函数参数和返回类型将在类中固定。 那么，如何在类中使用作为模板函数的函数呢？ 这样，例如，我可以用四个整数的std::vector调用它，并返回一个整数。

我尝试使用模板模板参数，但是我什至无法弄清楚如何与它们一起使用两个模板参数（因为它们似乎只允许使用模板...语法）。 如果对此措辞不清楚，我感到很抱歉，我还是新手。

Answer 1

您可以将模板函数放在一个类中，然后将该类传递给MyClass 。

#include <iostream>
#include <vector>
#include <array>

struct templateHolder {
    template <typename vectype, typename scalartype = typename vectype::value_type>
    static scalartype func(vectype x) {
        return x[0] + x[1];
    }
};

template<typename T>
class MyClass
{

public:
    MyClass()
    {
        std::vector<int> vec {1,2};
        std::cout << T::func(vec) << std::endl;

        std::array<double, 2> arr {0.5, 3.33};
        std::cout << T::func(arr) << std::endl;
    }
};

int main() {
    MyClass<templateHolder> foo;
    return 0;
}

我选择从vectype推导scalartype vectype 。 不一定是您想要的，但是可以根据您的用例进行选择。