(sizeof(Test(CrearInstancia())) == sizeof(S_True) )

fíjate que no estamos comparando el tamaño de las clases, estamos comparando el tamaño de dos tipos que sirven de estados booleanos con el resultado de un método sobrecargado que funciona de una forma según si el tipo hereda o no hereda de uno dado.

Ya te digo, hace falta calma y leerlo muy despacio.

class A
{
char a; // 1
int b, c; // 4 + 4
double d; // 8
}; // 17 bytes

class B
{
char a, b, c, d, e; // 5
int f, g, h; // 4 + 4 + 4

}; // 17 bytes

y no se parecen en nada…. y diria que son compatibles, me equivoco?