如何在编译时确定类型是否从模板类派生？

Question

假设我有一些模板类：

template<class T>
class Foo{}

template<class T>
class Bar{}

现在，我想确保（在编译时）Bar 中使用的类型派生自Foo。我已经找到了this 答案，它显示了如何在运行时执行此操作，但我想在编译时检查，可能使用static_assert 或其他东西。
有没有办法做到这一点？

Answer 1

现在，我想确保（在编译时）Bar 中使用的类型是从 Foo 派生的。

你可以这样做：

#include<type_traits>
#include<utility>

template<class T>
class Foo{};

template<typename T>
std::true_type test(const Foo<T> &);

std::false_type test(...);

template<class T>
class Bar {
    static_assert(decltype(test(std::declval<T>()))::value, "!");
};

struct S: Foo<int> {};

int main() {
    Bar<S> ok1;
    Bar<Foo<int>> ok2;
    // Bar<int> ko;
}

在wandbox上查看。
基本思想是，如果T 派生自Foo 的特化，则无论U 是什么，您都可以将T 类型的临时绑定到const Foo<U> &。因此，您可以声明（无需定义）几个函数，如示例中的函数来测试它，然后在 static_assert 或任何其他常量上下文中使用声明的返回类型。

---

编辑

正如@Quentin 在 cmets 中所建议的那样，可能值得用指针替换引用以防止转换构造函数和运算符的误报。