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

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，或許這是值得的指針代替引用防止誤報的轉換構造和運營商。