std :: is_base_of用于模板类（非类型模板参数）

Question

我正在尝试为模板类实现std :: is_base_of的扩展，例如，如果我具有以下内容：

template <typename X, typename Y, int Z> class A {};

template <typename X> class B : public A<X, char, 2> {};

我可以使用类似的东西

std::is_base_of_ext<A, B<int>>

静态地检查An是B的基类，而不依赖于特定的模板参数以及B从A专门化的方式。

“ std::is_base_of for template classes ”为此提供了一个非常好的解决方案，但它仅适用于类型模板参数；也可以使其与非类型参数一起使用吗？