PostgreSQL中数组直接访问存在解析歧义的原因是什么？

PostgreSQL允许执行带括号的数组访问语句：

SELECT (ARRAY[1,2])[1] AS a

但直接写ARRAY[1,2][1]会被判定为语法错误，核心原因是语法解析时存在歧义，具体场景如下：

歧义的具体来源 #

PostgreSQL支持两种容易混淆的语法：

1. 数组构造器：用ARRAY[元素列表]生成数组，比如ARRAY[1,2]代表包含1和2的数组。
2. 函数调用的方括号写法：PostgreSQL允许用方括号代替圆括号传递函数参数，比如upper['abc']等价于upper('abc')，任何函数都可以用这种方式调用。

假设存在一个名为ARRAY的自定义函数（PostgreSQL允许创建同名函数），接受两个整数参数，那么ARRAY[1,2][1]会被解析器理解为两种完全不同的逻辑：

• 逻辑1：先构造数组ARRAY[1,2]，再取数组的第一个元素（这是用户预期的行为）。
• 逻辑2：调用函数ARRAY(1,2)（用方括号传参），再对函数的返回值执行数组访问[1]。

解析器无法在语法阶段确定你到底要执行哪种逻辑，因此直接判定该语句存在歧义，拒绝执行。

加括号的作用 #

给数组构造器加上括号(ARRAY[1,2])后，括号明确限定了ARRAY[1,2]是一个独立的数组表达式，后续的[1]只能被解析为数组访问操作，彻底消除了歧义。

和其他语言的差异 #

多数编程语言（比如Python、JavaScript）中，数组构造和函数调用的语法边界清晰：数组用方括号定义，函数调用必须用圆括号，因此[1,2][0]这种写法不会有歧义。但PostgreSQL为了兼容函数调用的方括号写法，牺牲了数组直接访问的简洁性，这是语法设计权衡的结果。

内容的提问来源于stack exchange，提问作者David542