При программировании по контракту функция или метод сначала проверяют, выполнены ли их предварительные условия, прежде чем приступить к выполнению своих обязанностей, верно? Два наиболее известных способа сделать эти проверкиassert и поexception.

assert fails only in debug mode. To make sure it is crucial to (unit) test all separate contract preconditions to see whether they actually fail. exception fails in debug and release mode. This has the benefit that tested debug behavior is identical to release behavior, but it incurs a runtime performance penalty.

Какой из них вы считаете предпочтительным?

Смотрите опубликованный вопросВот