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

аю гуглv8код и нашел выше макрос для проверки типа.

Однако я не понимаю, почему это работает. в то время как (ложь) никогда не выполняется, верно? Может кто-нибудь объяснить эти строки? Спасибо