42725 — 函数调用歧义（ambiguous_function）

速览

42725 是 ambiguous_function（函数调用歧义）：有多个可行候选却无法选出最佳候选。案例定义 uuid/jsonb 重载并传入未知类型字符串。

含义

重载解析考虑字面量类型、cast、模式可见性和签名。unknown 让两个候选都可行，报告 function %s is not unique；它不同于定义冲突 42723 和无候选的 42883。检查可见 pg_proc 与参数类型。

诊断

在 pg_proc 中列出可见候选、identity arguments 和输入类型，并检查字面量推断类型。限定模式只能缩小可见范围，不能在重载之间自动选择。

处理

转换为符合业务含义的类型，或删除非预期重载。这里用 ::uuid 选择 UUID。不要只为消除报错而加 cast，因为它可能改变校验与重载行为。显式事务中的歧义会使事务进入 INERROR，应先回滚或回到合适的 savepoint 再重试；本案例的自动提交会话保持 IDLE。

实测诊断

固定组是 ERROR：function %s is not unique，提示为 Could not choose a best candidate function. You might need to add explicit type casts.

代表案例

注册表创建两个重载，用未知字符串触发，再显式 UUID cast 并断言返回值。

CREATE FUNCTION syntax_schema.ambiguous_function(uuid) RETURNS text LANGUAGE SQL AS 'SELECT ''uuid''';
CREATE FUNCTION syntax_schema.ambiguous_function(jsonb) RETURNS text LANGUAGE SQL AS 'SELECT ''jsonb''';
SELECT syntax_schema.ambiguous_function('123e4567-e89b-12d3-a456-426614174000');
SELECT syntax_schema.ambiguous_function('123e4567-e89b-12d3-a456-426614174000'::uuid);

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

版本

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

相关

• 42723
• 42883

来源

• src.errcodes.REL_18_6 — fixed definition at 724edf9bde9d356724ad384a2e196edc3c9f80f7; SHA-256 6e8de346643ba84aa3c9c6a73360acfc7b2dfb89162c06c08ce9bf5bcd5bbcba (source).
• src.ambiguous-function.18.6 — src/backend/parser/parse_func.c lines 570–577 at 724edf9bde9d356724ad384a2e196edc3c9f80f7; blob SHA-256 48314eab022297478ac4e49786afaff2621ab7b1d7b50e156668cf477961384f (source).
• src.ambiguous-function.10.23 — src/backend/parser/parse_func.c lines 499–506 at 02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4; blob SHA-256 f1b4af88565ca01dbad2b244cd26b42f34764b3f1343b22a9231e271fb0742f2 (source).
• src.calls.REL_18_6 / src.calls.REL_10_23 — fixed call scans, SHA-256 9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf / 00d16d3eb01b71ccf1b245c8f3102f9d0ec9f36fb02777b8dd1b99fcb263040c.
• manifest.42725 / snippet-registry.42725 — hashes are recorded in evidence/42725.json and each runtime record.