#define TYPE_CHECK(T, S)                                     \
    while (false) {                                              \
      *(static_cast<T* volatile*>(0)) = static_cast<S*>(0);      \
    }

Estoy leyendo Google v8l código de @ y encontró la macro anterior para la verificación de tipo.

Sin embargo, no entiendo por qué funciona. mientras que (falso) nunca se ejecuta, ¿verdad? ¿Alguien puede explicar esas líneas? Gracia