什么时候需要在 Postgres 中指定文字的数据类型？

所有文字最初都被视为unknown一种类型，然后运算符类型解析规则起作用。在这些规则的最后，确实有一个优先考虑将未知作为文本，但只有在只剩下一个合适的文本时才这样。

a) 丢弃输入类型不匹配且无法转换（使用隐式转换）来匹配的候选运算符。为此目的，假定未知文字可转换为任何内容。如果只剩下一名候选者，则使用它；否则继续下一步。

b) 如果任何输入参数属于域类型，则在所有后续步骤中将其视为域的基本类型。这确保了域的行为就像其基本类型一样，以解决不明确的运算符。

c) 遍历所有候选并保留与输入类型最匹配的候选。如果没有完全匹配的候选者，则保留所有候选者。如果只剩下一名候选者，则使用它；否则继续下一步。

e) 遍历所有候选者，并将那些接受首选类型（输入数据类型的类型类别）的候选者保留在需要类型转换的最多位置。如果没有人接受首选类型，则保留所有候选人。如果只剩下一名候选者，则使用它；否则继续下一步。

d) 如果任何输入参数未知，请检查其余候选者在这些参数位置接受的类型类别。在每个位置，如果有任何候选者接受该类别，则选择该字符串类别。 （这种对字符串的偏向是适当的，因为未知类型的文字看起来像字符串。）否则，如果所有剩余的候选者都接受相同的类型类别，则选择该类别；否则就会失败，因为没有更多线索就无法推断出正确的选择。现在丢弃不接受所选类型类别的候选者。此外，如果任何候选项接受该类别中的首选类型，则丢弃接受该参数的非首选类型的候选项。如果没有人通过这些测试，则保留所有候选人。如果只剩下一名候选者，则使用它；否则继续下一步。

f) 如果同时存在未知和已知类型参数，并且所有已知类型参数都具有相同的类型，则假设未知参数也是该类型，并检查哪些候选者可以在未知参数位置接受该类型。如果恰好有一个候选人通过了此测试，请使用它。否则，失败。

在大多数情况下，您使用二元运算符，其中数据库预先知道其中一个操作数的类型（使用表字段、函数结果和类似情况）。基于运算符和已知类型的操作数之一，通常可以毫无问题地确定第二个操作数的类型。一元运算符的情况更复杂：

melkij=> select ~ 123;
 ?column? 
----------
     -124
(1 row)

melkij=> select ~ '123';
ERROR:  operator is not unique: ~ unknown
LINE 1: select ~ '123';
               ^
HINT:  Could not choose a best candidate operator. You might need to add explicit type casts.

哎呀，这里我们不再了解哪个运算符更适合使用。因为它可能不是数字文字，但是，例如inet（甚至以数字开头，但解析器不会去猜测它是否实际上是数字）。

好吧，完整列出此类情况是不可能的，这就是 postgresql 可扩展性的代价：您可以拥有自己的数据类型和自己的运算符，相应地，可以添加新的替代方案来定义类型。

通常，除非明确需要，否则不会指定类型。