¿Cómo probar si la clase B se deriva de la clase A?
Más específicamente, digamos que tengo una plantilla de clase con parámetrosA yB, y me gustaría tener un error de compilación (cuando se está instanciando la plantilla) si B no se deriva de A.
template<class A, class B>
class Foo
{
// static_assert(B is derived from A)
};