Операторы

В данном документе рассматриваются операторы в Elixir, как они анализируются, как они могут быть определены и как они могут быть переопределены.

Порядок приоритета и ассоциативность операторов

Ниже приведен список всех операторов, которые может анализировать Elixir, упорядоченных по убыванию приоритета, вместе с их ассоциативностью:

Операторы сравнения

Elixir предоставляет следующие встроенные операторы сравнения:

• == - равенство
• === - строгое равенство
• != - неравенство
• !== - строгое неравенство
• > - больше чем
• < - меньше чем
• >= - больше или равно
• <= - меньше или равно

Единственное различие между == и === заключается в том, что === строже при сравнении целых чисел и чисел с плавающей точкой:

iex> 1 == 1.0
true
iex> 1 === 1.0
false

!= и !== действуют как отрицания == и === соответственно.

Порядок следования элементов

В Elixir различные типы данных можно сравнивать с помощью операторов сравнения:

iex> 1 < :an_atom
true

Причина, по которой мы можем сравнивать различные типы данных, заключается в прагматизме. Алгоритмы сортировки не должны беспокоиться о различных типах данных для сортировки. Для справки, общий порядок сортировки определен ниже:

number < atom < reference < function < port < pid < tuple < map < list < bitstring

При сравнении двух чисел разных типов (число — это либо целое число, либо число с плавающей точкой), всегда происходит преобразование в тип с большей точностью, если используемый оператор сравнения не === или !==. Число с плавающей точкой будет считаться более точным, чем целое число, если число с плавающей точкой не больше/меньше +/-9007199254740992.0, в противном случае все значащие цифры числа с плавающей точкой находятся слева от десятичной точки. Это поведение существует для того, чтобы сравнение больших чисел оставалось транзитивным.

Типы коллекций сравниваются по следующим правилам:

• Кортежи сравниваются по размеру, а затем по элементам попарно.
• Карты сравниваются по размеру, затем по ключам в порядке возрастания следования элементов, а затем по значениям в порядке ключей. В конкретном случае порядка ключей карт целые числа всегда считаются меньше чисел с плавающей точкой.
• Списки сравниваются попарно по элементам.
• Битовые строки сравниваются байт за байтом, неполные байты сравниваются бит за битом.

Пользовательские и переопределённые операторы

Определение пользовательских операторов

Elixir умеет анализировать предопределённый набор операторов; это означает, что невозможно определить новые операторы (в отличие от Haskell, например). Однако не все операторы, которые может анализировать Elixir, используются в Elixir: например, + и || используются Elixir для сложения и логического или, но <~> не используется (но является допустимым).

Для определения оператора можно использовать обычные def* конструкции (def, defp, defmacro, и т. д.), но с синтаксисом, аналогичным тому, как используется оператор:

defmodule MyOperators do
  # We define ~> to return the maximum of the given two numbers,
  # and <~ to return the minimum.

  def a ~> b, do: max(a, b)
  def a <~ b, do: min(a, b)
end

Для использования вновь определённых операторов, необходимо импортировать модуль, который их определяет:

iex> import MyOperators
iex> 1 ~> 2
2
iex> 1 <~ 2
1

В следующей таблице перечислены все операторы, которые Elixir умеет анализировать, но которые по умолчанию не используются:

• |
• |||
• &&&
• <<<
• >>>
• ~>>
• <<~
• ~>
• <~
• <~>
• <|>
• ^^^
• ~~~

Следующие операторы используются модулем Bitwise при импорте: &&&, ^^^, <<<, >>>, |||, ~~~. Дополнительную информацию см. в документации по Bitwise.

Переопределение существующих операторов

Операторы, используемые Elixir (например, +) могут быть определены любым модулем и использоваться вместо определённых Elixir, при условии, что они не импортированы из Kernel (который импортируется везде по умолчанию). Например:

defmodule WrongMath do
  # Let's make math wrong by changing the meaning of +:
  def a + b, do: a - b
end

Теперь, если мы попытаемся использовать этот оператор «из коробки», получим ошибку:

iex> import WrongMath
iex> 1 + 2
** (CompileError) iex:11: function +/2 imported from both WrongMath and Kernel, call is ambiguous

Поэтому, как упоминалось выше, необходимо явно не импортировать +/2 из Kernel:

iex> import WrongMath
iex> import Kernel, except: [+: 2]
iex> 1 + 2
-1

Заключительное замечание

Хотя возможно определить неиспользуемые операторы (например, <~>) и «переопределить» предопределённые операторы (например, +), сообщество Elixir в целом не рекомендует этого делать. Пользовательские операторы могут быть очень трудны для чтения и ещё труднее для понимания, так как у них нет описательного имени, как у функций. Тем не менее, в некоторых конкретных случаях или пользовательских языках доменных задач (DSL) эти практики могут быть оправданы.