一个类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++ 版本都可以。
我正在使用std::anyRTTI 并禁用异常。它可以工作并且std::any_cast<T>()能够检测类型是否正确，如std::any 中所解释的，没有 RTTI，它是如何工作的？。std::any::type()但在没有 RTTI 的情况下会被禁用。
我想检查我的std::any对象是否包含给定类型的值。有什么办法可以做到这一点吗？