SQL中空数组的类型定义：ANSI规范、实现共识及方案探讨

一、ANSI SQL规范情况 #

ANSI SQL标准中没有针对零非空元素数组（如[]、[null, null]、[[], [], []]、[[null],[null]]这类无法推导元素类型的数组）的明确类型定义。标准要求数组必须绑定明确的元素类型，这类数组因无法通过现有元素确定类型，属于未定义范畴。

二、主流数据库的实现共识 #

目前行业内没有完全统一的实现标准，但有一些常见处理逻辑：

• PostgreSQL：空数组[]直接报错（无法推导元素类型）；仅含null的数组[null, null]会默认推断为text[]类型；嵌套空数组[[], [], []]因无法确定最内层元素类型报错；[[null],[null]]会被推断为text[][]类型。
• MySQL：未指定类型的空数组或全null数组均会报错，必须显式声明元素类型才能创建。
  整体来看，多数数据库的核心共识是：数组必须有明确的元素类型，无法自动推导时优先报错，少数实现会默认 fallback 到文本类型。

三、返回"undefined"而非报错的可行性 #

这个方案是可行的，但需要注意以下几点：

• 兼容性：与主流数据库的报错行为存在差异，使用该逻辑的应用需明确告知使用者这一特殊处理规则，避免下游系统出现预期外的异常。
• 后续处理：返回"undefined"后，需配套下游逻辑，比如允许用户后续补充指定数组类型，或者将该值作为无类型数组的特殊标记进行统一处理。
• 一致性：确保所有无法推导类型的零非空元素数组（包括嵌套结构）都统一返回"undefined"，避免出现处理逻辑不一致的情况。

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