MySQL CHECK 表达式受 sql_mode 影响时怎么保持结果一致

如果同一张表在迁移脚本、应用连接和批量导入中表现不一致，先不要急着改 CHECK 表达式。MySQL 8.4 文档明确说明：CHECK 条件是在评估时使用当前 SQL 模式；表达式中只要有依赖 sql_mode 的部分，不同会话就可能得到不同结果。

官方资料：https://dev.mysql.com/doc/refman/8.4/en/create-table-check-constraints.html

稳定做法是两件事：让约束表达式尽量使用明确的类型和比较规则；让所有写入入口在连接初始化时统一 SESSION sql_mode。这样才是在统一执行环境，而不是用某个连接的偶然结果“验证”约束。

问题现场：同一条 CHECK 为什么会出现不同结果

CHECK 约束不是只在建表那一刻判断一次。它会参与 INSERT、UPDATE、REPLACE、LOAD DATA 和 LOAD XML 等写入语句的评估。约束表达式最终必须得到 TRUE 或 UNKNOWN；得到 FALSE 时会产生约束违反。表达式涉及隐式类型转换时，当前会话的 SQL 模式就可能成为差异来源。

排查时先在出现差异的每个连接上读取会话变量，再对照约束本身：

-- 记录当前连接真正使用的 SQL 模式，避免只看全局配置
SELECT @@SESSION.sql_mode AS session_mode,
       @@GLOBAL.sql_mode AS global_mode;

-- 用 SHOW CREATE TABLE 确认约束表达式和约束名
SHOW CREATE TABLE orders;

这里要区分 SESSION 与 GLOBAL：全局值的改变不会自动把已经建立的连接改成同一值。连接池中的旧连接尤其容易保留旧模式。

先收窄表达式：减少隐式转换和模式歧义

把业务规则写在明确类型的列上，通常比依赖字符串转数字、日期宽松解析或隐式布尔转换更容易保持一致。例如金额列使用定点类型，状态列使用整数或受控字符串，并在约束中直接比较：

CREATE TABLE orders (
  id BIGINT PRIMARY KEY,
  amount DECIMAL(12, 2) NOT NULL,
  state TINYINT NOT NULL,
  -- 约束只依赖已声明类型，减少隐式转换差异
  CONSTRAINT orders_amount_state_chk
    CHECK (amount >= 0 AND state IN (1, 2, 3))
);

MySQL 允许 CHECK 表达式返回 TRUE 或 UNKNOWN；NULL 参与比较时要特别小心。如果规则要求“必须有值”，优先使用 NOT NULL 表达这一层含义，再让 CHECK 负责范围或枚举关系。

修复方案：把 sql_mode 固定在每个写入入口

迁移、应用请求和批量导入都应使用同一份模式清单。可以在每条专用连接建立后设置会话级模式：

-- 迁移或导入连接建立后先固定会话级模式
SET SESSION sql_mode = 'STRICT_TRANS_TABLES,NO_ZERO_DATE,NO_ENGINE_SUBSTITUTION';

-- 后续写入会在这条连接的同一模式下评估 CHECK
INSERT INTO orders (id, amount, state)
VALUES (1001, 18.50, 1);

应用连接池不能只在启动时设置一次全局变量。应把初始化语句放进连接创建钩子，确保新建连接和回收后重新使用的连接都得到同一配置。迁移脚本也要显式设置，不能假定执行用户的默认模式恰好一致。

上线前的简明复查清单

• 用 SHOW CREATE TABLE 确认线上约束表达式、名称和是否 ENFORCED。
• 分别在迁移、应用和导入连接读取 @@SESSION.sql_mode，不要只比较 @@GLOBAL.sql_mode。
• 检查约束中的列类型、NULL 语义和隐式转换，能拆成 NOT NULL 与明确比较的就拆开。
• 把模式清单纳入连接初始化配置，并在连接池扩容、重连和批处理任务中复用同一份配置。

总结一下：CHECK 约束的结果由表达式、字段类型和评估时的会话模式共同决定。统一 sql_mode 是兼容性方案的底座，收窄表达式则能减少对模式细节的依赖。两者配合，才不会让同一条规则在不同写入入口出现难以解释的差异。

常见问题

只设置 GLOBAL sql_mode 就够了吗？

不够。已有连接继续使用自己的 SESSION 值，连接池和长时间运行的任务必须重新初始化或重建连接。

CHECK 约束能代替 NOT NULL 吗？

不建议混用语义。MySQL 对 NULL 参与的 CHECK 结果允许 UNKNOWN；“不允许为空”应由 NOT NULL 明确表达。