Введение
Управление вашим программным обеспечением всегда важнее, чем его разработка. Это требует соблюдения тысяч стандартов кодирования и обработки сотен уязвимостей и крайних случаев. Одной из особенностей языков программирования, которая помогает вам в жизненном цикле разработки программного обеспечения, являются утверждения. Утверждения — это логические функции для проверки выполнения конкретного требования перед дальнейшим выполнением кода. Если это условие не выполняется, программа завершается, выдает ошибку утверждения и не запускает дальнейшие строки кода.
Давайте углубимся в это подробнее
Вы написали код и присвоили переменной, скажем, x значение 5. После нескольких строк случайного кодирования, если значение x как-то изменится из-за неправильных математических расчетов, это может создать дополнительные проблемы.
Предположим, у вас есть потенциально опасный код, начинающийся со следующей строки, и если этот код получает значение x, отличное от 5, ваше приложение в конечном итоге будет уничтожено. Чтобы решить эту проблему, просто проверьте, действительно ли x содержит 5, прежде чем переходить к этому опасному коду.
Утверждения настолько просты
Используйте следующий синтаксис в C++ для проверки вышеприведенной логики — assert(x==5);
Если приведенная выше функция верна, код идет дальше довольно хорошо, иначе он останавливается прямо здесь и выдает ошибку утверждения.
Почему бы не использовать обработку исключений вместо утверждений
Обработка исключений не является предпочтительной для проверки логической правильности операторов. Например, при получении данных от API в вашем программном обеспечении вы можете применить обработку исключений, чтобы попробоватьчто-то, если данные получены, за исключениемделать что-то другое, в то время как утверждение будет проверять, содержит ли какой-либо объект значение, которое запрашивает дальнейший код.
