根据函数指针参数拆分多个可变参数模板包
Split multiple variadic template packs based on function pointer arguments
我正在尝试创建一些基于模板的函数来打包函数指针和一些输入参数,然后调用它并将一些输出值存储在其他地方。首先,我正在尝试创建一个函数,其中包含一个用于输入参数的可变参数模板和一个用于返回值的可变参数模板。这就是我想出的,但它不起作用:
template<typename... Args, typename... Ret>
void Call(void (*func)(Args..., Ret...), Args&&... args)
{
}
void Foo(float x, int& y)
{
y = int(x * x);
}
int main(int argc, const char* argv[])
{
Call(&Foo, 2.f);
return 1;
}
IDEON 给了我以下错误:
prog.cpp: In function 'int main(int, const char**)':
prog.cpp:16:16: error: invalid conversion from 'void (*)(float, int&)' to 'void (*)(float, float, int&)' [-fpermissive]
Call(&Foo, 2.f);
^
prog.cpp:4:6: note: initializing argument 1 of 'void Call(void (*)(Args ..., Ret ...), Args&& ...) [with Args = {float}; Ret = {float, int&}]'
void Call(void (*func)(Args..., Ret...), Args&&... args)
^
为什么Ret
被推导出为{float, int&}
?函数指针参数显然在演绎中使用,但似乎没有使用Args...
。
您可以添加一个图层来修复一些模板参数:
template <typename ... Ts>
struct helper
{
template <typename ...Ret, typename ... Us>
static void Call(void (*func)(Ts..., Ret...), Us&&... args)
{
}
};
template<typename F, typename... Args>
void Call(F&& f, Args&&... args)
{
helper<Args...>::Call(std::forward<F>(f), std::forward<Args>(args)...);
}
演示
相关文章:
- 在不传递参数数量且只有3个点的情况下,如何使用变差函数
- 如何使用可变参数模板强制转换每个变体类型
- 关于如何在具有单个参数的变体构造中选择替代方案?
- 调用参数排列不变函数 f(i++, i++)
- 参数归纳与标准::变体
- 模板化回调参数的逆变,如 C# 中的逆变
- 如何在没有参数包的情况下编写变差函数
- 通过具有嵌套类的工厂类获取多个变异类模板参数包
- 获取模板参数的成员变量值列表
- 保留短 lambda 用作函数的中间参数,使用 clang 格式保持不变
- 如何定义变体<x,y,z>提取模板参数的子类型
- 正确对齐内存模板,参数顺序不变
- 递归中不同参数类型的变元模板函数
- 通过函数指针传递给变差函数的参数会更改其值
- 提升预定义为带有参数的全局 lambda 的变体访问者
- 使用可变参数模板参数提升变体访问者
- boost ::变体 - 为什么模板参数比const字符串参数具有更高的优先级
- 将变参数包中的值加载到临时数组中
- 使用额外参数提升变体访客
- 正在将动态数组元素解析为参数?(变音符)