[英]Variadic templates type traits resolution
假设我有一个枚举,并且我希望每个枚举值都与特定类型相关联。 假设标准类型是 double,如果我希望它是其他类型,我需要明确指定它。
Q1:这是实现这种事情的首选方式吗?
enum A {
v1,
v2,
v3
};
// for every value of A, the standard type is double
template<A a>
struct A_info {
typedef double type;
};
// other types for certain values can be specified using specialization
template<>
struct A_info<v2> {
typedef size_t type;
};
然后,假设我有一些 function 模板,并且我想根据与枚举值关联的类型调用 function:
template<typename T>
void foo() { /* do something */ }
template<A a>
void bar() {
foo< typename A_info<a>::type >();
}
这很好用。 现在假设,我有另一个 function 取决于可变参数模板列表,我想做一些与上面类似的事情......
template<typename ... T>
void foo_multiple() { /* stuff */ }
template<A ... a>
void bar_multiple() {
foo_multiple< /* ??? */ > ();
}
Q2:如何实现? 无论如何,这可能吗?
只需使用您想要的模式扩展可变参数包:
template<A ... a>
void bar_multiple() {
foo_multiple<typename A_info<a>::type...> ();
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.