是否可以編寫一個僅用於類類型的部分模板專業化，例如，從特定類繼承或遵守可以通過類型特徵表達的其他約束？ 即是這樣的： class A{}
class B : public A{}
template<typename T>
class X{
int foo(){ return 4; }
};
//Insert some magic that allows this part
如何在編譯時測試B類是否源自std :: vector？ template<class A>
struct is_derived_from_vector {
static const bool value = ????;
};
如何在編譯時測試B類是否來自模板族？ template<class A, template<class> class Family>
struct is
我目前正在嘗試編寫一些靈活的編譯時數學庫，並剛剛遇到替代失敗，我無法擺脫。這是問題： 首先，我正在寫一個理性的類，我會把唯一需要的部分。 template<typename T>
class rational
{
static_assert(std::is_integral<T>::value, "Can only contain integral values.");