如何在Terraform模块变量中确保二选一且不同时存在？

要确保模块的app1_version和app2_version必须且只能设置其中一个，你可以通过变量可选性配置加模块级前置验证来实现，具体步骤如下：

1. 修改模块变量定义 #

首先把两个变量改为可选（允许其中一个不设置），同时保留类型约束：

# modules/app_function/variables.tf
variable "app1_version" {
  description = "APP1 Version"
  type        = optional(string) # Terraform 1.3+ 支持，低版本可用 default = null
}

variable "app2_version" {
  description = "APP2 Version"
  type        = optional(string)
}

2. 添加模块级验证规则 #

在模块根目录添加验证逻辑，强制检查“必须且只能选一个”的约束：

# modules/app_function/main.tf
locals {
  # 逻辑：两个变量的非空状态必须完全相反（一个有值，一个无值）
  exactly_one_app_specified = (var.app1_version != null) != (var.app2_version != null)
}

# 模块级前置检查，不符合约束时直接报错
terraform {
  precondition {
    condition     = local.exactly_one_app_specified
    error_message = "必须且只能指定 app1_version 或 app2_version 中的一个，不能同时设置或都不设置。"
  }
}

3. 验证效果 #

• 有效配置（myapp1）：只设置了app2_version，符合约束，Terraform会正常执行：

  module "myapp1" {
    source          = "../modules/app_function/"
    app2_version    = "v4.4"
    other_variable  = "abc"
  }
  

• 无效配置（myapp2）：两个变量都未设置，触发验证错误，Terraform会终止执行并提示你指定其中一个变量：

  module "myapp2" {
    source          = "../modules/app_function/"
    other_variable  = "abc"
  }
  

补充说明 #

如果你的Terraform版本低于1.2（不支持模块级precondition），可以用null_resource的precondition替代，逻辑完全一致：

resource "null_resource" "app_validation" {
  precondition {
    condition     = local.exactly_one_app_specified
    error_message = "必须且只能指定 app1_version 或 app2_version 中的一个。"
  }
}

内容的提问来源于stack exchange，提问作者TPS