Question

下面讲解的过程解释了如何在一次函数调用中确定所使用的究竟是哪个函数。

函数类型解析

1. 从系统表 pg_proc 中选择要考虑的函数。如果使用了一个不带修饰的函数名字，那么认为该函数是那些在当前搜索路径中名字和参数个数都正确的函数(参阅节5.7.3)。如果给出一个带修饰的函数名，那么只考虑指定模式中的函数。

   1. 如果搜索路径中找到了多个相同参数类型的函数，那么只考虑最早出现在路径中的那一个。但是不同参数类型的函数将被平等看待，而不管它们在路径中的位置如何。

2. 查找精确接受输入参数类型的函数。如果找到一个(在一组被考虑的函数中，可能只存在一个精确匹配的)，则用之。包含 unknown 类型的函数调用绝不会在此处找到匹配。

3. 如果没有找到精确的匹配，则看看函数调用是否需要一个类型转换。如果函数调用只有一个参数并且函数名与某些数据类型的内部名称相同，那么就会出现这种情况。另外，该函数的参数必须是一个未知类型的文本或者与某个已命名数据类型二进制兼容。如果符合这些条件，则该函数的参数在不做任何实际函数调用的情况下转换成这个已命名的数据类型。

4. 寻找最优匹配。

   1. 抛弃那些输入类型不匹配并且也不能隐式转换成匹配的候选函数。unknown 文本在这种情况下可以转换成任何东西。如果只剩下一个候选项，则用之，否则继续下一步。

   2. 遍历所有候选函数，保留那些输入类型匹配最准确的。此时，域被看作和他们的基本类型相同。如果没有一个函数能被保留，则保留所有候选。如果只剩下一个候选项，则用之，否则继续下一步。

   3. 遍历所有候选函数，保留那些需要类型转换时接受(属于输入数据类型的类型范畴的)首选类型位置最多的函数。如果没有接受首选类型的函数，则保留所有候选。如果只剩下一个候选项，则用之，否则继续下一步。

   4. 如果有任何输入参数是 unknown 类型，检查剩余的候选函数对应参数位置的类型范畴。在每一个能够接受字符串类型范畴的位置使用 string 类型(这种对字符串的偏爱是合适的，因为 unknown 文本确实像字符串)。另外，如果所有剩下的候选函数都接受相同的类型范畴，则选择该类型范畴，否则抛出一个错误(因为在没有更多线索的条件下无法作出正确的选择)。现在抛弃不接受选定的类型范畴的候选函数，然后，如果任意候选函数在某个给定的参数位置接受一个首选类型，则抛弃那些在该参数位置接受非首选类型的候选函数。

   5. 如果只剩下一个函数，则用之。如果还有多个候选函数或者没有候选函数，则产生一个错误。

请注意，"最佳匹配"规则对操作符和对函数的类型分析都是一样的。下面是一些例子。

例10-4. 圆整函数参数类型解析

只有一个 round 函数有两个参数(第一个是 numeric ，第二个是 integer)。所以下面的查询自动把第一个类型为 integer 的参数转换成 numeric 类型：

SELECT round(4, 4);

 round
--------
 4.0000
(1 row)

实际上它被分析器转换成：

SELECT round(CAST (4 AS numeric), 4);

因为带小数点的数值常量初始时被赋予 numeric 类型，因此下面的查询将不需要类型转换，并且可能会略微高效一些：

SELECT round(4.0, 4);

例10-5. 子字符串函数类型解析

有好几个 substr 函数，其中一个接受 text 和 integer 类型。如果用一个未声明类型的字符串常量调用它，系统将选择接受 string 类型范畴的首选类型(也就是 text 类型)的候选函数。

SELECT substr('1234', 3);

 substr
--------
     34
(1 row)

如果该字符串声明为 varchar 类型，就像从表中取出来的数据一样，分析器将试着将其转换成 text 类型：

SELECT substr(varchar '1234', 3);

 substr
--------
     34
(1 row)

被分析器转换后实际上变成：

SELECT substr(CAST (varchar '1234' AS text), 3);

【注意】分析器从 pg_cast 表中了解到 text 和 varchar 是二进制兼容的，意思是说一个可以传递给接受另一个的函数而不需要做任何物理转换。因此，在这种情况下，实际上没有做任何明确的类型转换。

而且，如果以 integer 为参数调用函数，分析器将试图将其转换成 text 类型：

SELECT substr(1234, 3);

 substr
--------
     34
(1 row)

实际上是这样执行的：

SELECT substr(CAST (1234 AS text), 3);

这种自动转换能够成功是因为存在一个从 integer 到 text 的隐含转换可以调用。