@Curry

Т.е. в описании типа указывается условие валидности, и это условие проверяется, обычно при присваивании значения переменной или аргументу функции. Чаще всего используется проверка на попадание в границы диапазона - Range checking или Bounds checking, хотя, условие может быть любым. Проще показать примеры на языках, где такая проверка встроена.
Ада Результат работы : - заметим, что Ада конкретизировала строчку, где была ошибка. Правда, если это исключение перехватить, то, кажется, эта информация потеряется (я плохо знаю Аду, могу ошибиться).
Delphi - - Почти то же самое (в данном случае).
Результат работы : - в отличии от Ады, вместо номера строки в файле шестнадцатеричная цифирь.
Но, по крайней мере, не нужно вставлять своих проверок в код.
(Следует отметить, что только Ада производит валидацию выражений, до которых может дотянуться, в compile-time.)
На С++ можно соорудить проверку, например, так http://stackoverflow.com/quest... types-in-c
Правда, не будет имени и номера строки вызвавшей ошибку. Можно проверять ручками вписывая макросы assert (_ASSERT).
Подобную проверку, без ручной вставки функций, на Haskell (и скорее всего на всех ML языках), кажется, сделать нельзя. Haskell Результат работы : Конкретизирую: речь идёт об «автопроверках» зависящих только от одного аргумента – проверяемого значения и расставляемых компилятором в коде по некоторым правилам. Границы диапазона и подобное жёстко задаются в исходном коде. Да, такие проверки, скорее нужны в программах жёстко привязанных к версии железа. В дровах, во встраиваемых системах (число разделяющихся боеголовок фиксировано), в микроконтроллерах. Однако, нужны языки и для таких задач. Однако, в большинстве языков (насколько я знаю) таких проверок нет. Включая и свежевылупившийся rust. А большинство создателей языков … ну ладно не большинство, но многие, не полные идиоты. Видимо есть причина, почему мода на Bounds checking прошла?
p.s. Проверки на выход индекса за границу массива, или другого индексируемого контейнера, встречается в более многих языках. Я не об этом.

Вернуться к обсуждению:
Нужна ли валидация чисел встроенная в язык? Священные войны

0