访问嵌套模板类型

Question

假设有一个A类和MyType

template<typename DataType>
class MyType {
...
}

template<typename MyType>
class A {
...
}

当我创建A的实例时A<MyType<int>>如何在A中访问模板类型int？

Answer 1

向用户公开类型别名:

template<typename DataType>
class MyType {
public:
    using InnerDataType = DataType;
};

template<typename MyType>
class A {
public:
    using InnerType = MyType;
};

用法:

using MyA = A<MyType<int>>;
static_assert(std::is_same<
    typename MyA::InnerType::InnerDataType,
    int>{});

wandbox上的实例