如何確定在編譯時是否從模板類派生類型？

Question

說我有一些模板類：

template<class T>
class Foo{}

template<class T>
class Bar{}

現在，我想確保（在編譯時） Bar使用的類型是從Foo派生的。 我已經找到了顯示如何在運行時執行此操作的答案，但是我想在編譯時進行檢查，也許使用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的臨時對象綁定到const Foo<U> &如果T是從Foo派生的，那么無論U是什么。 因此，您可以聲明（無需定義）幾個函數，如示例中的函數進行測試，然后在static_assert或任何其他常量上下文中使用聲明的返回類型。

---

編輯

正如@Quentin在評論中所建議的那樣，可能值得用指針替換引用，以防止轉換構造函數和運算符產生誤報。