对不起,标题是满口的。我正在研究类似于here所讨论的数组类。我想定义一个“map”函数,它接受用户定义的函数并将其应用于数组的每个元素。出于类型检查的目的,我想定义它,使得用户指定的函数必须获取与传递给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
根据传递给map函数的内容获取错误数量的参数。
我尝试过这样的语法:
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
}
}
我认为这很接近,但显然是错误的,因为它没有编译。我很高兴能为这样的操作学习正确的语法。
答案 0 :(得分:3)
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 {};
}
};