Арифметические и логические операторы

Оператор — это тип выражения, который преобразует одно или несколько других выражений или объединяет их. Операторы либо каким-либо образом объединяют два значения, чтобы получить третье результирующее значение, либо преобразуют заданное значение, чтобы получить результат.

Операторы, работающие с двумя значениями, располагают символ оператора между этими значениями, как в математической записи: 1 + 2. Операторы, работающие только с одним значением, располагают символ оператора перед этим значением, например !true.

В языке OpenTofu есть набор арифметических и логических операторов, похожих на операторы в таких языках программирования, как JavaScript или Ruby.

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

1. !, - (умножение на -1)
2. *, /, %
3. +, - (вычитание)
4. >, >=, <, <=
5. ==, !=
6. &&
7. ||

Используйте скобки, чтобы изменить стандартный порядок операций. Без скобок сначала будут вычисляться операции более высокого уровня, поэтому OpenTofu интерпретирует 1 + 2 * 3 как 1 + (2 * 3), а не как (1 + 2) * 3.

Операторы можно разделить на несколько групп со схожим поведением, описанных ниже. Каждая группа операторов ожидает, что заданные значения будут иметь определённый тип. OpenTofu попытается автоматически преобразовать значения к требуемому типу или выдаст сообщение об ошибке, если автоматическое преобразование невозможно.

Арифметические операторы​

Все арифметические операторы принимают числовые значения и возвращают числовые результаты:

• a + b возвращает результат сложения a и b.
• a - b возвращает результат вычитания b из a.
• a * b возвращает результат умножения a на b.
• a / b возвращает результат деления a на b.
• a % b возвращает остаток от деления a на b. Этот оператор обычно полезен только при работе с целыми числами.
• -a возвращает результат умножения a на -1.

Для некоторых других, менее распространённых числовых операций в OpenTofu предусмотрены функции. Например, вычислять степени можно с помощью функции pow.

Операторы равенства​

Оба оператора равенства принимают два значения любого типа и возвращают логические значения.

• a == b возвращает true, если a и b имеют одинаковый тип и одинаковое значение, и false в противном случае.
• a != b противоположен оператору a == b.

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

Сравнение структурных типов может привести к неожиданным результатам, если типы аргументов вам неизвестны. Например, может показаться, что var.list == [] вернёт true, если var.list — пустой список, но на самом деле [] создаёт значение типа tuple([]), поэтому эти два значения никогда не совпадут. В такой ситуации часто понятнее написать length(var.list) == 0.

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

Все операторы сравнения принимают числовые значения и возвращают логические значения.

• a < b возвращает true, если a меньше b, и false в противном случае.
• a <= b возвращает true, если a меньше или равно b, и false в противном случае.
• a > b возвращает true, если a больше b, и false в противном случае.
• a >= b возвращает true, если a больше или равно b, и false в противном случае.

Логические операторы​

Все логические операторы принимают логические значения и возвращают логические значения.

• a || b возвращает true, если a или b равно true, либо false, если оба равны false.
• a && b возвращает true, если и a, и b равны true, либо false, если одно из них равно false.
• !a возвращает true, если a равно false, и false, если a равно true.

В OpenTofu нет оператора для операции «исключающее ИЛИ». Если вы знаете, что оба операнда являются логическими значениями, исключающее ИЛИ эквивалентно оператору != («не равно»).

Логические операторы в OpenTofu не используют вычисление по короткой схеме. Это значит, что var.foo || var.foo.bar приведёт к сообщению об ошибке, если var.foo равно null, поскольку вычисляются и var.foo, и var.foo.bar.