验证模板参数是其他定义的模板

Question

如何测试 OtherFoo 模板参数（对于我的 TT 别名）是 Foo 与其他模板参数：

template <class... Pack>
class Foo
{

    class SomeClass {};

    template <class OtherFoo> // OtherFoo = Foo with other template parameters
    using TT = typename OtherFoo::SomeClass;
};

假设不可能进行欺骗。

Answer 1

部分特化，像这样：

template <class... Pack>
class Foo
{
    class SomeClass {};

    template <class OtherFoo>  // OtherFoo = anything, but undefined
    struct TT_t;

    template <class... P> // OtherFoo = Foo with other template parameters
    struct TT_t <Foo <P...> > { using type = typename Foo <P...>::SomeClass };

    template <class OtherFoo> // OtherFoo = Foo with other template parameters
    using TT = typename TT_t <OtherFoo>::type;
};

因此，如果您尝试使用除另一个Foo 之外的任何参数来实例化TT，编译器将发出错误，指出TT_t 是不完整的类型。我希望这就是你所追求的。