> -- Драконограф писал(а):
> Т.е. код проверки всё же включается в проверяемый процесс - а выход из него только в случае невыполнения инварианта? И всё-таки требуется уточнение вещей, обсуждавшихся в ?

Всё происходит в рамках одного процесса. Почитайте что-нибудь про SEH в Windows. Например, в книге Джеффри Рихтера.