将模板的模板成员类型作为模板模板参数传递

一个类WithTTMember有一个名为 的模板成员类型TT。

struct WithTTMember {
    template<typename> using TT = void;
};

另一个类ExpectTT采用模板模板参数：

template< template<typename> typename TT >
struct ExpectTT {};

ExpectTT<WithTTMember::TT> 可以成功实例化。

第三个类ExpectTWithTT需要一个模板成员类型名为 的模板参数TT，并ExpectTT使用它进行实例化：

template<typename T>
struct ExpectTWithTT {
    using X = ExpectTT<typename T::TT>;  // this doesn't compile
};

我希望ExpectTWithTT<WithTTMember>::X与ExpectTT<WithTTMember::TT>. 但是上面的代码无法编译。

我尝试在编译器消息和我的直觉之后使用template和typename关键字的组合注入错误的行，但我无法让它工作。

我怎样才能表达我想要的？

任何 C++ 版本都可以。

回答

template<typename T>
struct ExpectTWithTT {
    using X = ExpectTT<T::template TT>;
    //                    ^^^^^^^^
};