SQL CHECK 約束中 CASE WHEN 為什麼要加 =1？布林表達式與數值比較的區別

在 SQL Server / Oracle 等資料庫中定義 CHECK 約束時，常見寫法：

ALTER TABLE Salary
ADD CONSTRAINT check_salary CHECK (
    CASE WHEN sex = '2' THEN CASE WHEN salary > 1000 THEN 1 ELSE 0 END
    ELSE 1 END = 1
)

初學者常問：為什麼最後要加 = 1？不加不行嗎？

核心原因：CHECK 約束要求布林表達式

1. CASE 表達式返回的是「數值」，不是「布林值」

• CASE ... END 的結果類型取決於 THEN/ELSE 返回值類型
• 此處返回 1 或 0，屬於 數值類型 (INT)
• 資料庫不會自動將非零數值視為 TRUE，零視為 FALSE

2. CHECK 條件必須評估為 TRUE/FALSE/UNKNOWN

• SQL 標準規定 CHECK (condition) 中的 condition 必須是**布林表達式**
• CASE ... END 本身是數值表達式 → 報錯：An expression of non-boolean type specified in a context where a condition is expected
• 加上 = 1 將其轉為**比較表達式** → 結果為布林值 → 合法

等價改寫方式

方式一：直接使用邏輯運算子（推薦，更易讀）

-- 邏輯等價：sex != '2' OR salary > 1000
ALTER TABLE Salary
ADD CONSTRAINT check_salary CHECK (
    sex <> '2' OR salary > 1000
);

方式二：CASE 返回布林字面值（支援的資料庫）

-- PostgreSQL、SQL Server (部分版本) 支援
ALTER TABLE Salary
ADD CONSTRAINT check_salary CHECK (
    CASE WHEN sex = '2' THEN salary > 1000 ELSE TRUE END
);

方式三：保留 CASE 但加比較（通用標準寫法）

ALTER TABLE Salary
ADD CONSTRAINT check_salary CHECK (
    CASE WHEN sex = '2' THEN CASE WHEN salary > 1000 THEN 1 ELSE 0 END
    ELSE 1 END = 1
);

業務邏輯解讀

該約束含義：「若性別為 '2'（女），則薪資必須大於 1000；其他性別不限制」

• sex = '2' AND salary <= 1000 → 返回 0 → 0 = 1 為 FALSE → **違反約束**
• 其他情況 → 返回 1 → 1 = 1 為 TRUE → **滿足約束**

最佳實踐建議

1. 優先使用邏輯運算子：CHECK (sex <> '2' OR salary > 1000) 簡潔、效率高、可讀性強
2. 複雜條件才用 CASE：多層嵌套、需返回不同常數值時
3. 記住原則：CHECK 後必須跟**布林表達式**，數值表達式需透過比較運算子（=, <>, > 等）轉換

總結：= 1 不是多餘，而是將數值結果強制轉為布林值以滿足 CHECK 約束的語法要求。理解「表達式類型」與「上下文期望類型」的匹配關係，是寫出正確 SQL 約束的關鍵。