C++ 11 个模板,参数包的别名
C++ 11 Templates, Alias for a parameter pack
在个人项目中,我有这样的东西:
template <typename T>
class Base {
//This class is abstract.
} ;
template <typename T>
class DerivedA : public Base<T> {
//...
} ;
template <typename T>
class DerivedB : Base<T> {
//...
} ;
class Entity : public DerivedA<int>, DerivedA<char>, DerivedB<float> {
//this one inherits indirectly from Base<int>, Base<char> & Base<float>
};
"Base"类是一种适配器,让我将"实体"视为整数,字符,浮点数或任何我想要的东西。 DerivedA和DerivedB有不同的转换方式。 然后我有一个类,让我存储我的实体的不同视图,如下所示:
template <typename... Args>
class BaseManager {
public:
void store(Args*... args){
//... do things
}
};
我有很多不同的"实体"类,它们有不同的"基本"集合。 我希望能够在别名中存储类型列表,例如:
class EntityExtra : public DerivedA<int>, DerivedA<char>, DerivedB<float>{
public:
using desiredBases = Base<int>, Base<char>, Base<float>; /* here is the problem */
};
所以我可以这样使用它:
EntityExtra ee;
BaseManager<Base<int>, Base<char>, Base<float> > bm; // <- I can use it this way
BaseManager<EntityExtra::desiredBases> bm; // <- I want to use it this way
bm.store(&ee,&ee,&ee); // The first ee will be converted to a Base<int>, the second to Base<char> and so on
有没有办法为任意类型列表创建别名,然后在模板参数包中使用它?
你可能想要这个:
template <typename ...P> struct parameter_pack
{
template <template <typename...> typename T> using apply = T<P...>;
};
// Example usage:
struct A {};
struct B {};
struct C {};
template <typename...> struct S {};
using my_pack = parameter_pack<A, B, C>;
my_pack::apply<S> var; // Equivalent to `S<A, B, C> var;`.
在您的情况下,它可以像这样使用:
class EntityExtra : public DerivedA<int>, DerivedA<char>, DerivedB<float>{
public:
using desiredBases = parameter_pack<Base<int>, Base<char>, Base<float>>;
};
// ...
EntityExtra::desiredBases::apply<BaseManager> bm;
// Creates `BaseManager<Base<int>, Base<char>, Base<float>> bm;`.
相关文章:
- 部分定义/别名模板模板参数
- 告诉c++编译器该参数没有别名
- 为什么我们不能重复使用具有不同模板参数的别名模板标识符?
- C++模板/别名 - 模板参数列表中参数 1 处的类型/值不匹配
- 模板模板参数和模板别名:编译器错误?
- 为模板参数包添加别名
- C++使用默认模板参数键入别名和转发声明
- 缺少别名模板C++参数列表
- 使用外部定义的模板类型作为模板参数的更通用模板的模板别名
- 必须非常量别名参数及其默认参数常量
- 作为模板参数 c++ 给出的类的别名模板
- 使用其他模板类型参数作为要在函数签名中使用的类型别名声明
- 参数化类的别名(或类型定义)内部类
- C++别名的模板参数包扩展
- 如何简化模板模板参数中的enable_if别名
- 包含可变参数包的第一个可转换类型的别名的结构
- C++ 11 个模板,参数包的别名
- 为什么模板引用类型不能用作模板类型别名参数?
- 具有模板类默认参数的 C++17 别名模板
- 如何用可变数量的参数别名一个函数