Типы и значения

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

Типы​

В языке OpenTofu для значений используются следующие типы:

• string: последовательность символов Unicode, представляющая текст, например "hello".
• number: числовое значение. Тип number может представлять как целые числа, например 15, так и дробные значения, например 6.283185.
• bool: логическое значение — true или false. Значения bool можно использовать в условной логике.
• list: последовательность значений, например ["us-west-1a", "us-west-1c"]. Элементы списка идентифицируются последовательными целыми числами, начиная с нуля.
• set: коллекция уникальных значений без дополнительных идентификаторов и порядка.
• map: группа значений с именованными метками, например {name = "Mabel", age = 52}.

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

Наконец, существует специальное значение, у которого нет типа:

• null: значение, обозначающее отсутствие или пропуск. Если задать для аргумента ресурса значение null, OpenTofu действует так, как если бы аргумент был полностью пропущен: используется значение аргумента по умолчанию, если оно задано, или возникает ошибка, если аргумент обязателен. Значение null особенно полезно в условных выражениях: с его помощью можно динамически пропустить аргумент, если условие не выполнено.

Литералы​

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

Строки​

Строки обычно представляются последовательностью символов Unicode в двойных кавычках: "like this". Для более сложных строк также предусмотрен синтаксис «heredoc».

Строковые литералы — самый сложный вид литеральных выражений в OpenTofu; им посвящена отдельная страница документации. Сведения о последовательностях escape-символов, синтаксисе heredoc, интерполяции и директивах шаблонов см. в разделе Строки.

Числа​

Числа представляются последовательностями цифр без кавычек, с десятичной точкой или без неё, например 15 или 6.283185.

Логические значения​

Логические значения представляются символами true и false без кавычек.

Null​

Нулевое значение представляется символом null без кавычек.

Списки/кортежи​

Списки/кортежи представляются парой квадратных скобок, содержащих разделённую запятыми последовательность значений, например ["a", 15, true].

Для удобства чтения литералы списков можно разбивать на несколько строк, но между значениями всегда требуется запятая. Запятая после последнего значения допустима, но необязательна. Значения в списке могут быть произвольными выражениями.

Карты/объекты​

Карты/объекты представляются парой фигурных скобок, содержащих последовательность пар <KEY> = <VALUE>:

{
  name = "John"
  age  = 52
}

Пары ключ/значение можно разделять запятыми или переносами строк.

Значения в карте могут быть произвольными выражениями.

Ключи в карте должны быть строками. Их можно указывать без кавычек, если они являются допустимыми идентификаторами, в противном случае их необходимо заключать в кавычки. Чтобы использовать в качестве ключа строковое выражение, не являющееся литералом, заключите его в круглые скобки, например (var.business_unit_tag_name) = "SRE".

Индексы и атрибуты​

Доступ к элементам списков/кортежей и значениям карт/объектов можно получить с помощью индексной записи с квадратными скобками, например local.list[3]. Выражение в скобках должно быть целым числом для списков и кортежей или строкой для карт и объектов.

К атрибутам карт/объектов, имена которых являются допустимыми идентификаторами, также можно обращаться с помощью записи атрибута через точку, например local.object.attrname. Если карта может содержать произвольные ключи, заданные пользователем, рекомендуется использовать только индексную запись с квадратными скобками (local.map["keyname"]).

Подробнее о сложных типах​

В большинстве случаев списки и кортежи ведут себя одинаково, как и карты и объекты. Когда различие несущественно, в документации OpenTofu эти пары терминов используются как взаимозаменяемые (исторически предпочтение отдаётся словам «список» и «карта»).

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

Полное описание этих типов (а также объяснение, почему различия обычно несущественны) см. в разделе Ограничения типов.

Преобразование типов​

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

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

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

• true преобразуется в "true" и наоборот
• false преобразуется в "false" и наоборот
• 15 преобразуется в "15" и наоборот