42883 undefined_function

速览

42883 是 undefined_function（未定义函数）：按名称和输入类型没有兼容函数。解析器的未定义操作符分支也会使用该条件。本案例在函数不存在时调用模式限定的整数签名。

含义

解析器同时解析名称、模式可见性、输入类型和重载。选定函数组报告 function %s does not exist，提示没有匹配函数；同一 SQLSTATE 的 parse_oper.c 分支会报告 operator does not exist: %s 及对应操作符提示。区分 42725 的候选歧义和 42846 的表达式转换失败。函数要检查 pg_proc/identity arguments，操作符要检查 pg_operator 和两个操作数类型。扩展提供的例程或操作符也可能在当前服务器或版本不可用，因此可用性本身属于诊断范围。

诊断

记录完整名称和签名。函数用 pg_proc 与 pg_get_function_identity_arguments 查询，操作符检查 pg_operator 及两个操作数类型。核对 current_schema 与 search_path，但不要预设换路径就是正确答案；确认对象是函数、过程、操作符还是扩展提供的特性。若怀疑扩展或版本差异，先检查已安装扩展元数据和 server_version_num。

处理

显式调用预期签名；拥有 API 时在目标模式创建精确函数。若缺失对象由扩展或较新服务器特性提供，只有部署契约要求时才安装或启用该依赖，不要因为查找失败就创建替代品。不要盲目改 search_path 或加 cast，它们可能选中另一例程或操作符。案例创建 missing_function(integer) 并返回 42。显式事务中错误会使事务保持 INERROR，应先回滚或回到合适的 savepoint；自动提交错误后为 IDLE。

实测诊断

选定解析器函数组是 ERROR：主报文 function %s does not exist，提示为 No function matches the given name and argument types. You might need to add explicit type casts. 仅源码确认的操作符组同样是 ERROR：主报文 operator does not exist: %s；两个操作数类型已知时提示为 No operator matches the given name and argument types. You might need to add explicit type casts.，缺少一个操作数类型时使用单数 type 版本。这些是共享 42883 的不同产生路径。

代表案例

运行器调用缺失模式限定函数，检查展开签名与状态，创建精确整数签名后再次调用。

SELECT syntax_schema.missing_function(41);
CREATE FUNCTION syntax_schema.missing_function(integer) RETURNS integer LANGUAGE SQL AS 'SELECT $1 + 1';
SELECT syntax_schema.missing_function(41);

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

版本

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

相关

• 42723
• 42725
• 42846

来源

• 上游源码 src/backend/utils/errcodes.txt REL_18_6 724edf9bd 6e8de346
• 上游源码 src/backend/parser/parse_func.c 第 521–528 行 REL_10_23 02991e79f f1b4af88
• 上游源码 src/backend/parser/parse_func.c 第 629–636 行 REL_18_6 724edf9bd 48314eab
• 上游源码 src/backend/parser/parse_oper.c 第 706–728 行 REL_10_23 02991e79f 5802db6d
• 上游源码 src/backend/parser/parse_oper.c 第 619–644 行 REL_18_6 724edf9bd 3866ce33
• 核验材料 verify/cases/42883/cases.json 93525c5a
• 核验材料 verify/cases/42883/snippets.json 9b85f7d0
• 核验材料 raw/calls/REL_10_23.jsonl 00d16d3e
• 核验材料 raw/calls/REL_18_6.jsonl 9ee8a0e8