23514 check_violation

速览

23514 表示 CHECK 或相关行约束计算为假。本案例中的约束名为 amount_positive，报文带出表、约束和失败行。

含义

普通表行由执行器计算 CHECK 表达式，结果为假时报告 23514；CHECK 表达式为 NULL 时在 PostgreSQL 中通过，若 NULL 本身不允许，需要另加 NOT NULL。分区路由可能返回 no partition of relation ... found for row 及分区键 DETAIL，分区约束校验则使用分区约束报文；域校验有“values that violate the new constraint”模板，空的 WITHOUT OVERLAPS 值也有独立源码路径。它们使用同一 SQLSTATE，但机制和报文不同。

诊断

记录约束名、表名和失败行或分区键 DETAIL，按实际类型、隐式类型转换、触发器改写和 NULL 规则重算表达式。遇到分区错误时检查分区边界及该键的路由结果；域或校验时错误则确认实际执行的是哪个模式对象规则。本案例自动提交错误后为 IDLE；显式事务仍须按调用边界回滚。

处理

修正值或业务规则后重试。修改约束前先校验既有数据，不要为了掩盖坏数据而禁用 CHECK；分区场景应选择允许该值的分区，而不是把错误当作普通重复提交。

实测诊断

18.6 (Homebrew) / latest：SQLSTATE 23514；primary new row for relation "items" violates check constraint "amount_positive"；DETAIL Failing row contains (2, -1).；status_after_error IDLE。 10.21 (Debian 10.21-1.pgdg90+1) / pg10：SQLSTATE 23514；primary new row for relation "items" violates check constraint "amount_positive"；DETAIL Failing row contains (2, -1).；status_after_error IDLE。

代表案例

本例第一次插入因 amount 为 -1 违反命名 CHECK；改为 1 即为具体修复。完整 setup、断言与清理见案例导出：

-- create
CREATE TABLE items(id integer PRIMARY KEY, amount integer CONSTRAINT amount_positive CHECK (amount > 0));
-- seed
INSERT INTO items VALUES (1, 10);
-- trigger
INSERT INTO items VALUES (2, -1);
-- repair
INSERT INTO items VALUES (2, 1);
-- verify
SELECT id, amount FROM items ORDER BY id;

本案例对应的 SQLSTATE、诊断、事务状态和修复断言均来自经核对的案例 registry；见结构化证据和案例导出。

作者证据 ID：identity, row-path, schema-path, runtime。选定运行记录：runtime.23514-batch1-latest-20260909.latest, runtime.23514-batch1-pg10-20260909.pg10。

版本与边界

锁定目录在 7.4 已观察到该条件，并在列出的正式快照中均存在。选定运行覆盖 18.6 与 10.21 的立即 named CHECK INSERT；未覆盖分区路由、域校验、校验时错误或 WITHOUT OVERLAPS 路径。固定 DDL 文档说明 CHECK 在表达式为真或 NULL 时通过，没有定义 DEFERRABLE CHECK 路径。

相关

对比 23502 非空约束冲突、23P01 排除约束冲突 和 23505 唯一约束冲突。

来源

• 上游源码 doc/src/sgml/ddl.sgml REL_18_6 724edf9bd ce1919d9
• 上游源码 src/backend/utils/errcodes.txt REL_18_6 724edf9bd 6e8de346
• 上游源码 src/backend/executor/execIndexing.c 第 1176–1181 行 REL_18_6 724edf9bd 24c80553
• 上游源码 src/backend/executor/execMain.c 第 2076–2081 行 REL_18_6 724edf9bd 33b97337
• 上游源码 src/backend/executor/execPartition.c 第 328–335 行 REL_18_6 724edf9bd 97951428
• 上游源码 src/backend/commands/tablecmds.c 第 6502–6532 行 REL_18_6 724edf9bd 422dc8e8
• 上游源码 src/backend/commands/typecmds.c 第 3288–3293 行 REL_18_6 724edf9bd 60d1e975
• 核验材料 raw/calls/REL_18_6.jsonl 9ee8a0e8