B システム設計/インフラ — Terraform の count 添字を for_each と moved で直す（先頭を消すと replace 4 件 → アドレスを業務名に）

概要

問題

MOps 販促システムチームの coupon-platform（GCP Pub/Sub）の Terraform を後輩が count + リスト添字で作った。購読 issue を先頭から消したら、plan に 4 replace + 1 destroy が出た。

• 購読 5・環境 3・チーム 4 人 仮定。dlq の滞留は再生成不可 仮定
• name は ForceNew として数える 仮定。実 terraform / tofu は未実行 未検証
• versions 未固定、lock は .gitignore、backend 未設定、CI は apply -auto-approve、dev/stg/prod が 1 state

期待する回答形式: 問題点 7 点／改善後 HCL とモデル／実行例／適用パターン／迷った案と前提が変わったときの判断／扱わなかった範囲

ヒント（段階的開示）

for_each = var.subs                 # set(string)
moved { from = ...sub[0]  to = ...sub["issue"] }
lifecycle { prevent_destroy = true }

問題点分析（7点）

先頭を消したときの replace 件数（SVG）

棒の長さは replace 件数に比例。末尾だけが 1 件の destroy で済む。

Bad → Good（コード差分）

📋 コピー# Bad: 位置が鍵
resource "google_pubsub_subscription" "sub" {
  count = length(var.subs)              # アドレスは sub[0]..sub[4]
  name  = "coupon-${var.subs[count.index]}" # 先頭を消すと全添字の name がずれる
  topic = google_pubsub_topic.coupon.id
}
# moved なし・prevent_destroy なし・
# 1 state・provider 未固定・apply -auto-approve

📋 コピー# Good: 業務名が鍵
resource "google_pubsub_subscription" "sub" {
  for_each = var.subs                     # set(string)。静的な名前
  name     = "coupon-${each.value}"
  topic    = google_pubsub_topic.coupon.id
  lifecycle { prevent_destroy = true }   # 消すときは意図して外す
}
moved {                                  # 移行は宣言。plan で 0 to destroy を確認
  from = google_pubsub_subscription.sub[0]
  to   = google_pubsub_subscription.sub["issue"]
}
# 環境別 state(GCS ロック)・provider 固定・plan -out → apply tfplan

適用パターン: 安定した識別子をアドレスに／宣言的リファクタ（moved）／blast radius の分割／plan・apply の分離。書籍の章対応は無し（B の日のため）。

模範解答

versions / variables / main（HCL）

📋 コピーterraform {
  required_version = "~> 1.9"
  required_providers {
    google = { source = "hashicorp/google", version = "~> 6.0" }   # 固定し、lock をコミット
  }
  backend "gcs" {
    bucket = "mops-tfstate"
    prefix = "coupon-platform/prod"   # 環境ごとに分ける。ロック付きリモート state
  }
}

variable "subs" {
  type    = set(string)
  default = ["issue", "expire", "notify", "audit", "dlq"]
  validation {
    condition     = alltrue([for s in var.subs : can(regex("^[a-z]+$", s))])
    error_message = "購読名は英小文字のみ。"
  }
}

CI（plan を保存して同じものを apply）

📋 コピーterraform plan -out=tfplan -input=false      # PR ごと。差分をコメントへ
terraform show -no-color tfplan > plan.txt   # レビュー用
terraform apply tfplan                          # 承認後。tfplan 以外は適用不可

アドレス差分モデル（planmodel.py 抜粋）

📋 コピーdef plan_count(old: list[str], new: list[str]) -> Counter:
    c = Counter()
    for i in range(max(len(old), len(new))):
        if i >= len(new):      c["destroy"] += 1   # 末尾の添字が消える
        elif i >= len(old):    c["create"]  += 1
        elif old[i] != new[i]: c["replace"] += 1   # name が ForceNew（仮定）
    return +c

実行例

📋 コピー$ python3 planmodel.py   # 導出（実 terraform は未実行）
issue   を消す  count={'replace': 4, 'destroy': 1}  for_each={'destroy': 1}
expire  を消す  count={'replace': 3, 'destroy': 1}  for_each={'destroy': 1}
notify  を消す  count={'replace': 2, 'destroy': 1}  for_each={'destroy': 1}
audit   を消す  count={'replace': 1, 'destroy': 1}  for_each={'destroy': 1}
dlq     を消す  count={'destroy': 1}                for_each={'destroy': 1}
5 passed   # moved 無し 5 destroy+5 create / 有り 0 変更 を含む 5 テスト

迷った案と採らなかった理由

ポイント解説

1. アドレスは同一性: 位置を鍵にすると位置が動いただけで別物になる
2. リファクタは宣言する: moved で状態は付け替えのみ。0 を確認してから apply
3. 壊せないものは機械で守る: prevent_destroy は apply を止める
4. 環境は state で分ける: 1 回の apply に dev と prod を入れない
5. plan は成果物: 見たものと動かすものを一致させる

扱わなかった範囲（止め方）

• 実 terraform / tofu は未実行（tofu は未インストールのシムのみ）。replace 件数は ForceNew 仮定のモデルによる導出で、実 plan との一致は未検証
• moved の挙動・for_each の未確定鍵エラー・BSL ライセンスは記憶に基づく未確認
• 購読属性ごとの ForceNew 一覧、IAM、WIF による CI 認証、Atlantis 等の運用基盤、state 分割後の環境間参照は扱っていない

発展: state 分割後、prod から stg の topic ID を参照するには remote state と data 参照のどちらがよいか。

今日のまとめ

アドレスに位置でなく業務名を使い、書き換えは moved で宣言、壊せないものは prevent_destroy、環境は state で分け、plan は保存して同じものを apply する。

自己評価（あとで記入）