Ну хорошо. Давайте так. Я не против контрактов в случае,

Question

Ну хорошо. Давайте так. Я не против контрактов в случае,

когда они используются в месте UB. Например обращение к элементу за пределы массива - это UB. И добавление контракта на это не помешает, а может даже поможет программистам.

Я против возникновения UB, как я сказал в первом сообщении, "на ровном месте". То есть UB небыло, небыло, а потом он взял и появился. Согласитесь, это сама по себе очень нехорошая ситуация. А вы хотите это в стандарт пропихнуть.

То есть предположим у нас была база данных версии 1.0.1. В котором проверялись пришедшие в запросе поля и если что не так, клиенту посылался ответ с ошибкой. А в версии 1.0.2 разработчики решили заменить все эти проверки на контракты. Решились бы вы обновить у себя эту базу данных?

#c++ #embedded #programming #russian

0

17.07.2019