Отсутствующие значения

Отсутствующие (missing) значения распространяются автоматически при передаче в стандартные математические операторы и функции. Для этих функций неопределенность значения одного из операндов вызывает неопределенность результата. На практике это означает, что математический оператор, в котором используется отсутствующее (missing) значение, обычно возвращает missing:

Так как missing — это обычный объект Julia, это правило распространения работает только для функций, которые явным образом согласились реализовать это поведение. Этого можно достичь следующими способами:  — добавив конкретный метод, определенный для аргументов типа Missing;  — приняв аргументы этого типа и передав их функциям, которые распространяют их (например, стандартным математическим операторам). Пакеты должны учитывать, есть ли смысл распространять отсутствующие значения при определении новых функций и, если это так, соответствующим образом определять методы. Передача отсутствующего (missing) значения в функцию, которая не имеет метода, принимающего аргументы типа Missing, выдает MethodError точно так же, как и для любого другого типа.

Функции, которые не распространяют отсутствующие (missing) значения, можно заставить делать это, обернув их в функцию passmissing, предоставляемую пакетом Missings.jl. Например, f(x) становится passmissing(f)(x).

Стандартные операторы равенства и сравнения следуют представленному выше правилу распространения: если любой из операндов отсутствует (missing), результат отсутствует (missing). Вот несколько примеров:

В частности, обратите внимание, что missing == missing возвращает missing, поэтому == нельзя использовать для проверки, является ли значение отсутствующим. Чтобы проверить, является ли x отсутствующим (missing), используйте ismissing(x).

Специальные операторы сравнения isequal и === являются исключением из правила распространения. Они всегда будут возвращать значение Bool, даже при наличии отсутствующих (missing) значений, рассматривая missing как равное missing и как отличное от любого другого значения. Следовательно, их можно использовать для проверки, является ли значение отсутствующим (missing):

Другое исключение — оператор isless: missing считается большим, чем любое другое значение. Этот оператор используется sort, который вследствие этого помещает отсутствующие (missing) значения после всех других значений:

Логические (или булевы) операторы |, & и xor — это другой особый случай, так как они распространяют отсутствующие (missing) значения, только когда это логически требуется. Для этих операторов то, является ли результат неопределенным или нет, зависит от конкретной операции. Это следует из твердо установленных правил трехзначной логики, которые реализуются, например NULL в SQL и NA в R. Это абстрактное представление соответствует относительно естественному поведению, которое лучше всего объяснять на конкретных примерах.

Проиллюстрируем этот принцип логическим оператором «или» |. Следуя правилам булевой логики, если один из операндов имеет значение true, значение другого операнда не влияет на результат, который всегда будет true:

Основываясь на этом наблюдении, мы можем заключить, что если один из операндов имеет значение true, а другой — missing, мы знаем, что результат — true, несмотря на неопределенность о фактическом значении одного из операндов. Если бы мы могли наблюдать фактическое значение второго операнда, его возможными значениями могли бы быть true или false, и в обоих случаях результат был бы true. Поэтому, в данном конкретном случае, отсутствие значения не распространяется:

И наоборот, если один из операндов имеет значение false, результат может быть либо true, либо false, в зависимости от значения другого операнда. Поэтому, если операнд имеет значение missing, результат тоже должен иметь значение missing:

Поведение логического оператора «и» & аналогично поведению оператору |, с той разницей, что отсутствие значения не распространяется, когда один из операндов имеет значение false. Например, если это так для первого операнда:

С другой стороны, отсутствие значения распространяется, когда один из операндов имеет значение true, например первое:

Наконец, логический оператор исключающее «или» xor всегда распространяет отсутствующие (missing) значения, так как оба операнда всегда влияют на результат. Также обратите внимание, что операция логического отрицания ! возвращает значение missing, когда операнд также отсутствует (missing), как и любой другой унарный оператор.

Операторы порядка выполнения, в том числе if, while и тернарный оператор x ? y : z, не допускают отсутствующих значений. Это происходит из-за неопределенности в отношении того, будет ли фактическое значение true или false, если бы мы могли наблюдать это. Это подразумевает, что мы не знаем, как должна вести себя программа. В этом случае выдается TypeError, как только встречается значение missing в этом контексте:

По той же причине, в отличие от представленных выше логических операторов, логические операторы вычисления по сокращенной схеме && и || не допускают отсутствующих (missing) значений в ситуациях, в которых значение операндов определяет, вычислен следующий операнд или нет. Пример:

Напротив, ошибка не выдается, когда результат можно определить без отсутствующих (missing) значений. Это случай, когда код использует вычисления по сокращенной схеме до вычисления отсутствующего (missing) операнда и когда отсутствующий (missing) операнд является последним:

Можно создавать массивы, содержащие отсутствующие значения, так же, как и другие массивы:

Как показывает этот пример, тип элементов таких массивов — Union{Missing, T}, с типом T неотсутствующих значений. Это отражает факт, что записи этого массива могут иметь либо тип T (здесь Int64), либо тип Missing. Этот тип массива использует эффективное хранилище памяти, аналогичное Array{T}, которое содержит фактические значения в сочетании с Array{UInt8}, указывающим тип записи (то есть является ли оно отсутствующим (Missing) или T).

Массивы, допускающие отсутствующие значения, можно конструировать с помощью стандартного синтаксиса. Используйте Array{Union{Missing, T}}(missing, dims) для создания массивов, заполненных отсутствующими значениями:

Массив с типом элементов, допускающим отсутствующие (missing) записи (например, Vector{Union{Missing, T}}), который не содержит отсутствующих (missing) записей, может быть преобразован в тип массива, который не допускает отсутствующих (missing) записей (например, Vector{T}) с помощью convert. Если массив содержит значения missing, при преобразовании выдается MethodError:

Так как отсутствующие (missing) значения распространяются со стандартными математическими операторами, функции редукции возвращают missing при вызове для массивов, содержащих отсутствующие значения:

В этой ситуации используйте функцию skipmissing для пропуска отсутствующих значений:

Эта вспомогательная функция возвращает итератор, который эффективно фильтрует отсутствующие (missing) значения. Следовательно, ее можно использовать с любой функцией, которая поддерживает итераторы:

Объекты, создаваемые путем вызова skipmissing для массива, можно индексировать с помощью индексов из родительского массива. Индексы, соответствующие отсутствующим значениям, недопустимы для этих значений, и при попытке их использования выдается ошибка (они также пропускаются keys и eachindex):

Это позволяет функциям, которые работают с индексами, работать в сочетании с skipmissing. Это, в значительной мере, случай поиска и нахождения функций. Эти функции возвращают индексы, допустимые для объекта, возвращаемого skipmissing, а также являются индексами совпадающих записей в родительском массиве:

Используйте collect для извлечения не отсутствующих (non-missing) значений и хранения их в массиве:

Трехзначная логика для логических операторов, описанная выше, также используется логическими функциями, применяемыми к массивам. Таким образом, проверки равенства массивов с помощью оператора == возвращают missing во всех случаях, когда результат невозможно определить, не зная фактическое значение отсутствующей (missing) записи. На практике это означает, что missing возвращается, если все неотсутствующие значения сравниваемых массивов равны, но один или оба массива содержат отсутствующие значения (возможно, в разных позициях):

Что касается отдельных значений, используйте isequal, чтобы обрабатывать отсутствующие (missing) значения как к равные другим отсутствующим (missing) значениям, но отличные от неотсутствующих значений:

Функции any и all также следуют правилам трехзначной логики. Таким образом, возвращается missing, когда результат не может быть определен: