Здравствуйте, niXman, Вы писали:

X>Здравствуйте, VTT, Вы писали:

VTT>>А вообще библиотека в таком виде совершенно бесполезная, лучше обычный ассерт.
X>есть желание поведать о своих мыслях по этому поводу? буду рад выслушать.

А о чем тут говорить?
Да, было бы хорошо иметь толковые средства контрактного программирования. Как в D, или даже как в ada.
Но комитет страдает фигней со всякими "If and switch with initializer".
Так что в обозримом будущем таких средств не предвидится.
Ну а пока я ставлю ассерты, много ассертов, и SAL.