WikiDer > Неопределенное значение
 | эта статья нужны дополнительные цитаты для проверка. (Март 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В вычислительной технике (в частности, в программирование), неопределенный ценность это условие, при котором выражение не имеет правильного значения, хотя синтаксически правильный. Неопределенное значение не следует путать с пустой строки, логический «false» или другие «пустые» (но определенные) значения. В зависимости от обстоятельств оценка неопределенного значения может привести к исключение или неопределенное поведение, но в некоторых языки программирования неопределенные значения могут возникать во время нормального, предсказуемого хода программа исполнение.
Динамически набираемый языки обычно по возможности обрабатывают неопределенные значения явно. Например, Perl имеет undef оператор[1] который может «присвоить» такое значение переменной. В системах других типов неопределенное значение может означать неизвестное, непредсказуемое значение или просто сбой программы при попытке его оценки. Обнуляемые типы предлагают промежуточный подход; увидеть ниже.
Примеры
Ценность частичная функция не определено, когда его аргумент выходит за пределы область определения. Сюда входят многочисленные арифметический случаи, такие как деление на ноль, квадратный корень или логарифм из отрицательное число так далее.; увидеть NaN.
Даже некоторые математически четко определенный выражения вроде exp(100000) может быть неопределенным в плавающая точка арифметические, потому что результат настолько велик, что его невозможно представить. Если реализация поддерживает ±∞, то это значение можно вычислить как + ∞ (инф), Однако.
Элемент массив не определено, когда его индекс выходит за границы, как и значение в ассоциативный массив для ключа, которого он не содержит.
Аргумент вариативная функция который не был передан ему, не определен в теле функции.
А переменная который не инициализирован имеет неопределенное (или непредсказуемое) значение, пока не станет назначен.
Разыменования нулевые указатели приводят к неопределенным значениям и обычно немедленно вызывают исключение.
Любое выражение нижний тип не определен по определению, потому что этот тип не имеет значений.
Значение функции, которая петли навсегда (например, в случае неудачного μ оператор в частичная рекурсивная функция) может также рассматриваться как неопределенное, но представляет только теоретический интерес, поскольку такая функция никогда не возвращается.
лечение
В языке Perl определенность выражения можно проверить с помощью предиката определено (expr).[2] Использование неопределенного значения в Perl вполне безопасно, оно эквивалентно ложный в логическом контексте (под если так далее.).
В таком статически типизированный языки как C(C ++) нет конкретного понятия неопределенного значения во время выполнения. Арифметически неопределенные выражения вызывают исключения и приводят к сбою программы, если непойманный. Неопределенный (означает, непредсказуемый) данные на C и подобных языках могут появляться в плохо спроектированных программах или в результате неожиданной ошибки и представлять серьезную опасность, особенно указатели к освобожденная память и нулевые указатели в массивы или структуры. Даже попытка прочитать значение, на которое ссылается указатель мусора, может крушение программа.
![[икона]](/wiki/File:Wiki_letter_w_cropped.svg){kind=small} | Эта секция нуждается в расширении. Вы можете помочь добавляя к этому. (Март 2010 г.) |
Неопределенное значение и типы, допускающие значение NULL
Обнуляемый тип данных резервирует специальный значение NULL значение для представления неопределенного значения, поэтому нулевое значение становится своего рода значением; обратите внимание, что неопределенное значение обычно не является. В отличие от языков с динамической типизацией, переменная обнуляемого типа (как реализовано в C #) должен быть инициализирован, прежде чем его можно будет использовать.[3]
Обозначение
В теория вычислимости, неопределенность выражения обозначается как expr↑, а определенность как expr↓.
использованная литература
- ^ "undef". Документация Perl 5. 2009-09-25. Получено 2010-03-26.
- ^ "определенный". Документация Perl 5. 2009-09-25. Получено 2010-03-26.
- ^ "Числовые типы данных C #, допускающие значение NULL". Руководство по основам C #. Получено 2010-03-27.
Смотрите также
- Определенный и неопределенный (математика)
- Нулевой (SQL)