更新日期：2024年09月11日
函数类型解析
1.
从系统表pg_proc 中选择所有可能被选到的函数。
如果使用了一个不带模式修饰的函数
名称，
那么认为该函数是那些在当前搜索路径中的函数。
如果给出一个带修饰的函数名，
那么只考虑指定模式中的函数。
如果搜索路径中找到了多个不同参数类型的函数。将从中选择一个合适的函数。
2.
查找和输入参数类型完全匹配的函数。如果找到一个，
则用之。
如果输入的实参类型都
是unknown 类型，则不会找到匹配的函数。
3.
如果未找到完全匹配，请查看该函数是否为一个特殊的类型转换函数。
4.
寻找最优匹配。
(1)
抛弃那些输入类型不匹配并且也不能隐式转换成匹配的候选函数。unknown 文本
GBase 8c SQL 参考手册
南大通用数据技术股份有限公司
616
在这种情况下可以转换成任何东西。如果只剩下一个候选项，则用之，否则继续
下一步。
(2)
遍历所有候选函数，保留那些输入类型匹配最准确的。
此时，域被看作和它们的基
本类型相同。如果没有一个函数能准确匹配，
则保留所有候选。
如果只剩下一个候
选项，则用之，否则继续下一步。
(3)
遍历所有候选函数，保留那些需要类型转换时接受首选类型位置最多的函数。如
果没有接受首选类型的函数，则保留所有候选。如果只剩下一个候选项，则用之，
否则继续下一步。
(4)
如果有任何输入参数是unknown 类型，
检查剩余的候选函数对应参数位置的类型
范畴。在每一个能够接受字符串类型范畴的位置使用string 类型（这种对字符串的
偏爱是合适的，因为unknown 文本确实像字符串）
。另外，如果所有剩下的候选
函数都接受相同的类型范畴，则选择该类型范畴，
否则抛出一个错误（因为在没有
更多线索的条件下无法作出正确的选择）
。现在抛弃不接受选定的类型范畴的候选
函数，然后，
如果任意候选函数在那个范畴接受一个首选类型，
则抛弃那些在该参
数位置接受非首选类型的候选函数。
如果没有一个候选符合这些测试则保留所有候
选。如果只有一个候选函数符合，则使用它；否则，继续下一步。
(5)
如果同时有unknown 和已知类型的参数，
并且所有已知类型的参数有相同的类型，
假设unknown 参数也是这种类型，检查哪个候选函数可以在unknown 参数位置接
受这种类型。如果正好一个候选符合，那么使用它。否则，产生一个错误。
示例
示例1：圆整函数参数类型解析。只有一个round 函数有两个参数（第一个是numeric，
第二个是integer）
。
所以下面的查询自动把第一个类型为integer 的参数转换成numeric 类型。
gbase=#SELECT round(4, 4); round
--------