42723 — 重复函数（duplicate_function）

速览 {#at-a-glance}

42723 是 duplicate_function（重复函数）：函数定义重复了同一模式、名称和输入参数类型，返回类型不会形成新重载。

含义 {#meaning}

固定目录路径报告 function "%s" already exists with same argument types。检查 pg_proc、pg_get_function_identity_arguments 和返回契约。它是定义冲突，不同于调用阶段候选歧义 42725；自动提交错误后为 IDLE。

诊断 {#diagnosis}

在 pg_proc 中用 pg_get_function_identity_arguments 检查，并明确模式。先判断迁移是要新增输入签名，还是替换自己拥有的函数；返回类型不能改变函数身份。

处理 {#response}

真正不同的 API 使用新的输入签名。只有在有意替换自己拥有的函数且返回契约兼容时才用 CREATE OR REPLACE FUNCTION；显式事务中的重复定义会使事务进入 INERROR，应先回滚或回到合适的 savepoint 再重试；本案例的自动提交路径回到 IDLE。

实测诊断 {#messages}

pg_proc.c 报文组明确是 ERROR，使用固定主模板，没有 DETAIL/HINT。

代表案例 {#case}

运行器创建 duplicate_function(integer)，重复签名，再有意 CREATE OR REPLACE 并验证返回 2。

CREATE FUNCTION syntax_schema.duplicate_function(integer) RETURNS integer LANGUAGE SQL AS 'SELECT $1';
CREATE FUNCTION syntax_schema.duplicate_function(integer) RETURNS integer LANGUAGE SQL AS 'SELECT $1';
CREATE OR REPLACE FUNCTION syntax_schema.duplicate_function(integer) RETURNS integer LANGUAGE SQL AS 'SELECT $1 + 1';
SELECT syntax_schema.duplicate_function(1);

选定的 18.6 与 10.21 运行均通过 SQLSTATE、严重级别、状态/恢复、修复、清理和一次性实例停止断言。详见 案例 JSON 与 作者证据；私有清单和注册表哈希也记录在其中。

版本 {#versions}

锁定目录从 7.4 存在边界起包含该条件并列出相关快照。选定自然案例已在 PostgreSQL 18.6 与 10.21 通过；这是有界观察，不能推断所有中间版本或所有源码分支。

相关 {#related}

• 42725
• 42883

来源 {#sources}

• src.errcodes.REL_18_6 — fixed definition at 724edf9bde9d356724ad384a2e196edc3c9f80f7; SHA-256 6e8de346643ba84aa3c9c6a73360acfc7b2dfb89162c06c08ce9bf5bcd5bbcba (source).
• src.duplicate-function.18.6 — src/backend/catalog/pg_proc.c lines 400–403 at 724edf9bde9d356724ad384a2e196edc3c9f80f7; blob SHA-256 77a883995e5fadf17fae68722043beb43115e685e8082b2b7256d92312528a5a (source).
• src.duplicate-function.10.23 — src/backend/catalog/pg_proc.c lines 398–401 at 02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4; blob SHA-256 96ddd186536c24018d3e29fd7e8f7384543c89ede83c81f673dc013fdd23b0fe (source).
• src.calls.REL_18_6 / src.calls.REL_10_23 — fixed call scans, SHA-256 9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf / 00d16d3eb01b71ccf1b245c8f3102f9d0ec9f36fb02777b8dd1b99fcb263040c.
• manifest.42723 / snippet-registry.42723 — hashes are recorded in evidence/42723.json and each runtime record.

来源

• 上游源码 src/backend/catalog/pg_proc.c 第 398–401 行 REL_10_23 02991e79f 96ddd186
• 上游源码 src/backend/catalog/pg_proc.c 第 400–403 行 REL_18_6 724edf9bd 77a88399
• 上游源码 src/backend/utils/errcodes.txt REL_18_6 724edf9bd 6e8de346
• 核验材料 verify/cases/42723/cases.json 471edc7e
• 核验材料 verify/cases/42723/snippets.json 72806aac
• 核验材料 raw/calls/REL_10_23.jsonl 00d16d3e
• 核验材料 raw/calls/REL_18_6.jsonl 9ee8a0e8