Исходное сообщение
"Дрю ДеВолт представил язык системного программирования Hare" Отправлено Аноним, 27-Апр-22 16:11
Я вообще-то писал о том что коррекность можно обеспечивать и менее тупыми способами чем проверка каждой операции. Еще раз: я могу ДО основного цикла проверить что ХУЧШИЙ СЛУЧАЙ операции в цикле точно никогда не переполняется с данным размером, допустим, integer'ов, при вообще совсем любых аргументах на вход алгоритма. При этом мне будет очень кстати знать ТОЧНЫЙ размер типа. Упрощает понимание краевых случаев. Если я доказал это и проверил потребные критерии еще ДО входа в цикл, проверять переполнение в цикле избыточно и только обрушивает его скорость зазря. Да, это требует аккуратности, зато воздает скоростью недостижимой при указанном подходе с неотключаемой проверкой все и вся. В лучшем случае это даже автоматизировать можно, какой-нибудь развесовкой static assert'ов на этапе сборки еще, но катит не всегда, конечно.