Я исследую использование DbC в наших проектах Perl, и я пытаюсь найти лучший способ проверки контрактов в источнике (например, проверка предварительных / пост-условий, инвариантов и т. Д.) Написан Class :: Contract Дамиана Конвея, а сейчас...

Каков предпочтительный способ обработки следующего случая: switch (numberOfActualBytes) { case 1: return something1; case 2: return something2; case 3: return something3; case 4: return something4; } Я точно знаю, что...

Я читал о контрактах в Мысли о C++ 17 Б. Страуструпа и помог провести небольшую презентацию, рассказав о них, но я не уверен, что действительно их понял. Итак, у меня есть несколько вопросов, и если можно проиллюстрировать их некоторыми...