从模板参数中获取可变参数
Get the variadic arguments from template argument
我有两个模板,一个作为参数传递给另一个。我希望能够使用主模板中参数中的参数。或者如果我有:
template <typename T, typename... Args>
class Foo
{
typedef T Type;
static void foo(Args... args)
{
}
};
template <typename C>
class Bar
{
void bar(Args... args)
{
// do something
C::foo(args...);
}
};
我怎样才能使Args
在模板Bar
中可见.请注意,对于typedef T Type
,我可以在Bar
中使用C::Type
。如果可能的话,可变参数的语法是什么?
这里有一个基于模板模板参数的可能解决方案:
template<typename T>
class Bar;
template <template<typename...> class C, typename... Args>
class Bar<C<Args...>> {
void bar(Args... args) {
// do something
C<Args...>::foo(args...);
}
};
您可以按如下方式使用它:
Bar<Foo<int, double>> v;
您不会直接从 C
类获取Args
参数。相反,这个想法是利用C
类本身是一个可变参数模板化类的事实,从而从Bar
模板专用化的参数列表中获得Args
。
你可以
有一个 typedef 来包装Args...
的"类型列表"。下面是使用 tuple
执行类型列表角色的示例:
#include <tuple>
#include <experimental/tuple>
template <typename T, typename... Args>
class Foo
{
public:
using Type = T;
using Arguments = std::tuple<Args...>;
static void foo(Args... args)
{
}
};
template <typename C>
class Bar
{
public:
void bar(typename C::Arguments &&args)
{
// do something
std::experimental::apply(C::foo, args);
}
};
int main() {
Bar<Foo<int, double, float>> b;
b.bar(std::make_tuple(2.0, 1.0f));
}
通过更多的元编程,应该可以生成一个直接基于C::Arguments
获取参数的Bar::bar
函数。
相关文章:
- 在不传递参数数量且只有3个点的情况下,如何使用变差函数
- 如何使用可变参数模板强制转换每个变体类型
- 关于如何在具有单个参数的变体构造中选择替代方案?
- 调用参数排列不变函数 f(i++, i++)
- 参数归纳与标准::变体
- 模板化回调参数的逆变,如 C# 中的逆变
- 如何在没有参数包的情况下编写变差函数
- 通过具有嵌套类的工厂类获取多个变异类模板参数包
- 获取模板参数的成员变量值列表
- 保留短 lambda 用作函数的中间参数,使用 clang 格式保持不变
- 如何定义变体<x,y,z>提取模板参数的子类型
- 正确对齐内存模板,参数顺序不变
- 递归中不同参数类型的变元模板函数
- 通过函数指针传递给变差函数的参数会更改其值
- 提升预定义为带有参数的全局 lambda 的变体访问者
- 使用可变参数模板参数提升变体访问者
- boost ::变体 - 为什么模板参数比const字符串参数具有更高的优先级
- 将变参数包中的值加载到临时数组中
- 使用额外参数提升变体访客
- 正在将动态数组元素解析为参数?(变音符)