MySQL 8.0.16+中CHECK约束才真正生效，但必须配合严格模式（如STRICT_TRANS_TABLES）；否则违反约束将静默处理而非报错。
MySQL 8.0 的 CHECK 约束是否真正生效
默认开启，但必须确认 SQL 模式中没有禁用。MySQL 8.0+ 默认启用 STRICT_TRANS_TABLES 或 STRICT_ALL_TABLES，这是 CHECK 生效的前提；如果服务器运行在非严格模式（如仅含 NO_ENGINE_SUBSTITUTION），INSERT 或 UPDATE 遇到违反 CHECK 的值时**不会报错，而是静默截断或转为默认值**——这极易造成逻辑漏洞。
验证方式：
SELECT @@sql_mode;确保输出包含
STRICT_TRANS_TABLES（推荐用于 InnoDB 表）或 STRICT_ALL_TABLES。
- 建表时显式指定严格模式更可靠：
SET sql_mode = 'STRICT_TRANS_TABLES,NO_ENGINE_SUBSTITUTION'; - 若已有表，修改 CHECK 不会自动重验历史数据，只约束后续写入
- CHECK 表达式不能包含子查询、存储函数、参数化变量或不确定函数（如
NOW()、UUID()）
定义 CHECK 约束的两种写法及适用场景
可以在列级（inline）或表级（out-of-line）声明 CHECK，语义一致，但可读性和维护性差异明显。
列级写法适合单字段简单校验：
CREATE TABLE users ( id INT PRIMARY KEY, age TINYINT CHECK (age >= 0 AND age <= 150) );
表级写法更适合多字段联合校验（例如“结束时间必须晚于开始时间”）：
CREATE TABLE events ( id INT PRIMARY KEY, start_time DATETIME, end_time DATETIME, CHECK (end_time > start_time) );
- 列级 CHECK 名称由 MySQL 自动生成（如
users_chk_1），不易追踪；表级可自定义名称：CONSTRAINT chk_valid_age CHECK (age BETWEEN 0 AND 150) - ALTER TABLE 添加 CHECK 必须用表级语法：
ALTER TABLE users ADD CONSTRAINT chk_age_range CHECK (age BETWEEN 0 AND 150); - 删除时需指定约束名：
ALTER TABLE users DROP CHECK chk_age_range;（MySQL 8.0.16+ 支持）
CHECK 失败时的真实错误信息与调试方法
违反 CHECK 时 MySQL 报错格式统一：Check constraint 'xxx' is violated.。注意这个提示里 'xxx' 是约束名，不是字段名，初学者容易误判问题来源。
常见误配场景：
- 插入
NULL到带 CHECK 的字段：CHECK 表达式对NULL返回UNKNOWN，不触发失败（即允许 NULL，除非你显式写age IS NOT NULL AND age > 0） - 使用枚举等效逻辑但写成
CHECK (status IN ('active','pending'))：合法，但不如ENUM存储高效；且变更值需 ALTER 修改 CHECK，而 ENUM 可直接MODIFY扩展 - 字符比较忽略大小写：默认校验按列的 collation 执行，
'ABC' = 'abc'在utf8mb4_0900_as_cs下为 false，在utf8mb4_0900_ai_ci下为 true
与应用层校验的关系：为什么不能只靠 CHECK
CHECK 是数据库端最后防线，不是替代应用校验的理由。它无法捕获以下情况：
- 批量导入（
LOAD DATA INFILE）在禁用唯一性检查时可能绕过 CHECK（取决于sql_mode和foreign_key_checks设置） - 触发器中修改的字段值，CHECK 在触发器执行后才校验，若触发器逻辑有误，CHECK 只能事后拦截
- 权限受限用户绕过应用直连 DB 执行 DML —— 这时 CHECK 才真正起作用，但也暴露了权限设计缺陷
实际项目中，CHECK 应和应用层 Schema 校验（如 JSON Schema、Joi、Pydantic）保持表达一致，并在 CI 中用测试用例覆盖边界值（如年龄传 -1、邮箱传超长字符串），避免约束名和业务语义脱节。
最易被忽略的一点：CHECK 不会阻止 UPDATE 中未涉及该字段的语句——哪怕其他字段更新导致业务规则失效（比如把订单状态从 shipped 改回 pending，但发货时间已填），这种跨字段业务一致性必须靠触发器或应用逻辑兜底，CHECK 无能为力。
