c++ - 如何仅当类型 T 派生自类型 X 时才允许模板类实例化？

Question

template <typename T>
class Test
{
};

class A : public X;

class B;

Test<A> a; // OK
Test<B> b; // NOT OK

我想完成这样的事情。

也许这可以更容易地完成。基本上，我需要它的原因是:模板类 T 应该能够锁定类型 T 对象中的 std::mutex 成员 m_mutex(如果存在)。

Answer 1

使用静态断言和适当的 type trait class :

#include <type_traits>

template <typename T>
class Test
{
    static_assert( std::is_base_of<X,T>::value, "T doesn't derive from X!"); 
};

Live example .