如果模板参数是另一个模板的某个实例,则进行类型特征测试

您可以编写一个通用特性来匹配任何专业:

template <typename T, template <typename...> class Z>
struct is_specialization_of : std::false_type { };

template <typename... Args, template <typename....> class Z>
struct is_specialization_of<Z<Args...>, Z> : std::true_type { };

在您的具体案例中:

is_specialization_of<T, Foo>::value // <== T is some kind of Foo

你可以为此创建一个特性:

template <typename T>
struct is_foo : std::false_type {};

template <typename T>
struct is_foo<Foo<T>> : std::true_type {};