访问嵌套的模板类型

Question

假设有A类和MyType的

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

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

当我我怎么可以访问内部的模板int类型创建一个与A<MyType<int>>的实例？

Answer 1

另一种方法是这样的：

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

template<typename X>   // template parameter name changed for clarity 
class A;      // intentionally left undefined 

template<typename Y> 
class A<MyType<Y>> { ...Y... }; // a specialisation 

... A<MyType<int>> ...   // Y in the definition of A is int 

这种方法只能用MyType的实例实例化A。

如果有一个需要实例化一个与任何模板类型，一个使用有点不同的分工：

template<template<typename...> X, typename Y> 
class A<X<Y>> { ...X<Y>... }; // a specialisation 

... A<MyType<int>> ...   // X in the definition of A is MyType, Y is int 
... A<OtherType<double>> ... // X is OtherType, Y is double 

这种方法，人们可以通过不具有非类型模板参数的任何模板类型。

Answer 2

公开一个type alias给用户：

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>{}); 

live example on wandbox