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

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

Типы​

В языке 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, поэтому им посвящена отдельная страница документации. Сведения о последовательностях экранирования, синтаксисе heredoc, интерполяции и директивах шаблонов см. в разделе Строки.

Числа​

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

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

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

Null​

Значение 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", и наоборот