CHECK约束在MySQL 8.0.16及以上版本才真正生效；此前版本（含8.0.15、5.7等）虽支持语法但完全忽略校验，插入非法值不报错，须通过SELECT VERSION()确认小版本号并实测INSERT触发报错来验证。
CHECK约束在MySQL 8.0.16之前完全不生效，哪怕建表成功、语法无误，INSERT非法值也不会报错——必须先确认版本并实测验证。
确认 MySQL 版本和 CHECK 是否真正启用
只查 SELECT VERSION() 或 SELECT @@version 不够，得看具体小版本号：结果必须是 8.0.16 或更高（如 8.0.33、8.4.0）。8.0.15 及所有 5.7、5.6 版本都忽略 CHECK。
更可靠的方式是直接测试：
- 执行
CREATE TABLE t (x INT, CONSTRAINT chk_x CHECK (x > 0)); - 再执行
INSERT INTO t VALUES (-1); - 如果报错
Check constraint 'chk_x' is violated，说明生效；否则就是“假支持”
云数据库（如阿里云 RDS）还需额外检查参数 check_constraint_enforced 是否为 ON，默认可能关着。
列级 CHECK 和表级 CHECK 的实际区别
列级写法只能校验当前字段，语法紧凑但能力受限：
CREATE TABLE orders (
id INT PRIMARY KEY,
status VARCHAR(20) CHECK (status IN ('pending', 'shipped'))
);
表级写法才能跨字段联动，比如时间逻辑或业务规则：
CREATE TABLE orders ( order_time DATETIME, ship_time DATETIME, CONSTRAINT chk_time_order CHECK (ship_time >= order_time OR ship_time IS NULL) );
注意点：
- 表达式中出现
NULL时结果为UNKNOWN，约束不触发（这是 SQL 标准行为，不是 bug） - 不能用
NOW()、CURRENT_DATE()、UUID()等非确定性函数，会直接报错Function 'now' is not allowed in check constraint - 建议显式命名约束（如
CONSTRAINT chk_status_valid），否则 MySQL 自动生成的名如orders_chk_1后续排查和删除极难定位
ALTER TABLE 添加 CHECK 时的常见失败原因
对已有表加 CHECK，MySQL 会自动扫描全表验证存量数据是否满足条件。只要有一条不满足，ALTER 就直接失败，报错 ERROR 3819 (HY000): Check constraint ... is violated。
典型场景包括：
- 执行
ALTER TABLE users ADD CHECK (email LIKE '%@%');前，表里已有空值或格式错误的email - 加
CHECK (age BETWEEN 18 AND 120)时，历史数据存在age = 0或NULL
解决方案分两步：
- 先用
SELECT * FROM users WHERE email NOT LIKE '%@%' OR email IS NULL;找出问题数据并修复 - 再执行
ALTER TABLE users ADD CONSTRAINT chk_email_format CHECK (email REGEXP '^[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\.[A-Za-z]{2,}$');
若想灰度上线，可用 NOT ENFORCED 先定义后激活：
ALTER TABLE users ADD CONSTRAINT chk_email_format CHECK (email REGEXP '...') NOT ENFORCED; -- 观察一段时间后 ALTER TABLE users ALTER CHECK chk_email_format ENFORCED;
低版本或复杂逻辑的替代方案
如果你用的是 5.7 或 8.0.15，或者 CHECK 无法覆盖的场景（如密码强度、跨表校验、调用外部服务），就别硬扛。
可行路径只有两条：
- 应用层校验：在 ORM 或业务代码中统一拦截，但需确保所有写入口都走同一套逻辑
- 触发器兜底：例如
BEFORE INSERT中用IF ... THEN SIGNAL SQLSTATE '45000' SET MESSAGE_TEXT = 'invalid age'; END IF;
注意：触发器性能开销比 CHECK 高，且容易被绕过（如直连数据库 bypass 应用层），仅作为最后防线。
真正容易被忽略的是：CHECK 表达式里所有字段必须是当前表的列，不能引用其他表、不能有子查询、不能依赖 session 变量——它只做“单行静态断言”，不是通用校验引擎。
