如何使variadic模板类方法以函数指针为参数,类型派生自函数模板
How to make variadic template class method take function pointer as argument with type derived from function template?
对不起,标题有点晦涩。我正在处理一个类似于这里讨论的数组类。我想定义一个"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
}
}
我认为这很接近,但显然是错误的,因为它没有编译。如果能学习到这样操作的正确语法,我将不胜感激。
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
相关文章:
- 扩展C++生成的代码的模板参数类型名称
- 如何在 c++ 中定义接受不同参数类型的函数向量?
- 在 C++ 中运行时调用模板时,是否可以切换模板的参数类型?
- 将函数参数类型声明为 auto
- 将函数的参数 - 签名从使用 'std::function<T>' 转换为模板参数类型
- 在 C++17 中调用具有不同参数类型的构造函数
- 具有先前参数类型匹配的参数包
- 我想知道为什么"std::unique_ptr<int> foo(新 int)"是合法的,因为"std::<int>unique_ptr"要求输入参数类型应该是"int"?
- 将可变参数类型列表的扩展打包为复杂类型的初始值设定项列表 - 合法吗?
- MSVC 错误:4 个重载中的任何一个都无法转换所有参数类型
- 使用constexpr + auto作为返回和参数类型的奇怪类型推导
- 如何从第一个参数推断第二个参数类型?
- C++模板函数中,指定回调函子/lambda 的参数类型,同时仍允许内联?
- 如何用不同的参数类型和数字回调函数
- C++stoi:这两个重载都无法转换所有参数类型
- 为什么std::{container}::template不能推导其参数类型
- 为模板参数类型中的新对象分配内存
- 为指向成员模板参数的指针推导额外模板参数类型的紧凑方式
- 使用std::conditional中的模板来确定函数参数类型
- C++中的短参数类型