A コーディング — Pydantic v2 model_validator(mode='after') × Annotated FieldName × StrEnum FilterOperator × match 文 SQL フラグメント生成 × Protocol FilterRenderer 依存注入（キャンペーン対象フィルタ Bad→Good Ch2/Ch3/Ch6/Ch8）

📋 コピー"""campaign_filter.py — キャンペーン配信対象フィルタ条件 → SQL フラグメント変換

良いコード・悪いコードで学ぶ設計入門（改訂新版）
  Ch2: StrEnum × Annotated 型エイリアス × 名前付き定数
  Ch3: match 文 × model_validator でフィールド間依存を宣言的に検証
  Ch6: Protocol + 依存性の注入
  Ch8: BigQueryFilterRenderer として密結合を解消
"""
from __future__ import annotations

from enum import StrEnum
from typing import Annotated, Final, Protocol
from pydantic import BaseModel, Field, model_validator


# ── 定数 ──────────────────────────────────────────────────────────────
MAX_FIELD_NAME_LEN: Final[int] = 64
FIELD_NAME_PATTERN: Final[str] = r"^[a-zA-Z_][a-zA-Z0-9_]*$"

# ── StrEnum — オペレータ種別（Ch2）─────────────────────────────────────
class FilterOperator(StrEnum):
    """フィルタ演算子。StrEnum なので str と互換。"""
    EQ     = "eq"       # 等値
    NEQ    = "neq"      # 非等値
    GT     = "gt"       # 超過
    GTE    = "gte"      # 以上
    LT     = "lt"       # 未満
    LTE    = "lte"      # 以下
    IN     = "in"       # リスト内包
    NOT_IN = "not_in"   # リスト非包含

# IN / NOT_IN 演算子セットを 1 箇所で管理
_LIST_OPS: Final[frozenset[FilterOperator]] = frozenset(
    {FilterOperator.IN, FilterOperator.NOT_IN}
)

# ── Annotated 型エイリアス（Ch2）─────────────────────────────────────
# フィールド名: 英数字・アンダースコアのみ（SQL インジェクション防止）
FieldName = Annotated[
    str,
    Field(
        min_length=1,
        max_length=MAX_FIELD_NAME_LEN,
        pattern=FIELD_NAME_PATTERN,
    ),
]
ScalarValue = str | int | float

# ── Pydantic v2 モデル（Ch2/Ch3/Ch4）────────────────────────────────
class FilterCondition(BaseModel):
    """単一フィルタ条件（値オブジェクト）。"""
    model_config = {"frozen": True}  # hashable + immutable（Ch4）

    field:    FieldName
    operator: FilterOperator
    value:    ScalarValue | None = None
    values:   tuple[ScalarValue, ...] | None = None  # listより hashable な tuple

    @model_validator(mode="after")
    def _validate_list_operator_has_values(self) -> "FilterCondition":
        """in / not_in 演算子使用時は values の非空を保証する（Ch3）。"""
        if self.operator in _LIST_OPS:
            if not self.values:  # None または空タプル
                raise ValueError(
                    f"operator='{self.operator}' requires non-empty 'values', "
                    f"but got: {self.values!r}"
                )
        return self

# ── Protocol — SQL レンダラーのインターフェース（Ch6/Ch8）────────────
class FilterRenderer(Protocol):
    """FilterCondition → SQL フラグメントへの変換インターフェース。"""
    def render(self, condition: FilterCondition) -> str: ...

# ── BigQuery 実装──────────────────────────────────────────────────────
def _quote(value: ScalarValue) -> str:
    """値を BigQuery SQL リテラルに変換する（検証済み値のみ適用）。"""
    if isinstance(value, str):
        return f"'{value.replace(chr(39), chr(92) + chr(39))}'"
    return str(value)

class BigQueryFilterRenderer:
    """BigQuery 標準 SQL 用 FilterRenderer 実装。"""
    def render(self, condition: FilterCondition) -> str:
        """match 文でオペレータ別の SQL フラグメントを生成する（Ch3）。"""
        col = f"`{condition.field}`"  # バッククォートで列名を囲む

        match condition.operator:
            case FilterOperator.EQ:
                return f"{col} = {_quote(condition.value)}"  # type: ignore[arg-type]
            case FilterOperator.NEQ:
                return f"{col} != {_quote(condition.value)}"  # type: ignore[arg-type]
            case FilterOperator.GT:
                return f"{col} > {condition.value}"
            case FilterOperator.GTE:
                return f"{col} >= {condition.value}"
            case FilterOperator.LT:
                return f"{col} < {condition.value}"
            case FilterOperator.LTE:
                return f"{col} <= {condition.value}"
            case FilterOperator.IN:
                vals = ", ".join(_quote(v) for v in condition.values)  # type: ignore[union-attr]
                return f"{col} IN ({vals})"
            case FilterOperator.NOT_IN:
                vals = ", ".join(_quote(v) for v in condition.values)  # type: ignore[union-attr]
                return f"{col} NOT IN ({vals})"
            case _:
                # 新 operator 追加時に render() 更新漏れを即検知
                raise AssertionError(f"Unhandled operator: {condition.operator!r}")

# ── ビルダー（依存注入）（Ch6）────────────────────────────────────────
class CampaignFilterBuilder:
    """複数の FilterCondition を AND 結合した WHERE 句フラグメントを生成する。

    Args:
        renderer: FilterRenderer を満たす任意の実装（テスト時はモックに差し替え可）
    """
    def __init__(self, renderer: FilterRenderer) -> None:
        self._renderer = renderer

    def build(self, conditions: list[FilterCondition]) -> str:
        """条件リストを AND 結合した SQL フラグメントに変換する。"""
        if not conditions:
            return "TRUE"  # 条件なし → 全件対象
        return " AND ".join(self._renderer.render(c) for c in conditions)