Terragrunt 中空列表和空映射输入被错误解析为 null 的问题分析

问题背景

在 Terragrunt 0.64.5 版本中，用户报告了一个关于输入变量处理的严重问题。当向嵌套的对象列表变量传递空列表（[]）或向映射变量传递空映射（{}）时，系统会错误地将这些空值解析为 null。这个问题会导致 Terraform 执行失败，因为 null 值无法用于 for 循环等需要集合类型的操作。

问题表现

空列表案例

在 Terragrunt 配置中定义如下输入：

inputs = {
    myvar = [{
        items = []
    }]
}

对应的 Terraform 模块变量定义为：

variable "myvar" {
  type = list(object({
    items = list(object({
      firstname = string
      surname   = string
    }))
  }))
}

在 Terragrunt 0.64.4 版本中，这个配置可以正常工作，空列表会被正确传递。但在 0.64.5 版本中，系统会将空列表错误地转换为 null，导致 Terraform 在执行时抛出"无法对 null 值进行迭代"的错误。

空映射案例

类似的问题也出现在空映射的传递中：

inputs = {
  pod_annotations = {}
}

对应的变量定义为：

variable "pod_annotations" {
  type    = map(string)
  default = {}
}

在 0.64.5 版本中，空映射会被错误地转换为 null，导致任何尝试对映射进行操作的函数（如 keys()）都会失败。

技术分析

这个问题本质上是一个类型系统处理缺陷。在 HCL 和 Terraform 的类型系统中，空列表/映射和 null 是有明确区别的：

1. 空列表/映射表示一个确定存在的集合，只是当前没有元素
2. null 表示值不存在或未定义

这种区别在 Terraform 中尤为重要，因为许多操作（如迭代、合并等）对这两种情况的处理完全不同。Terragrunt 0.64.5 版本在类型转换过程中丢失了这一重要区分。

影响范围

这个问题会影响所有使用以下特性的场景：

1. 向列表类型变量传递空列表
2. 向映射类型变量传递空映射
3. 嵌套在复杂对象结构中的空集合

特别是在使用 for 循环、集合操作函数（如 keys()、values() 等）时，这个问题会导致执行失败。

解决方案

Terragrunt 团队在 0.66.1 版本中修复了这个问题。升级到该版本后，空列表和空映射会被正确传递，不再被错误地转换为 null。

对于暂时无法升级的用户，可以考虑以下临时解决方案：

1. 在模块中为变量设置默认值（如 default = [] 或 default = {}）
2. 使用条件表达式处理可能的 null 值：

items = var.items != null ? var.items : []

最佳实践

为避免类似问题，建议：

1. 始终为集合类型变量设置合理的默认值
2. 在使用集合变量前进行 null 检查
3. 保持 Terragrunt 和 Terraform 版本更新
4. 在复杂对象结构中特别注意集合类型的处理

这个问题提醒我们，在基础设施即代码的实践中，类型系统的精确处理至关重要，特别是当配置在不同工具间传递时。