PostgreSQL中使用IN的CHECK约束为何出现双重类型转换？

当定义如下CHECK约束时：

CONSTRAINT ADR_CHECK_1 CHECK (ACTIVE IN('Y', 'N'))

PostgreSQL会将其实现为两种形式之一：

第一种实现形式：

CONSTRAINT adr_check_1 CHECK (active::text = ANY (ARRAY['Y'::character varying::text, 'N'::character varying::text]))

第二种实现形式：

CONSTRAINT adr_check_1 CHECK (active::text = ANY (ARRAY['Y'::character varying, 'N'::character varying]::text[]))

为何会出现这种双重类型转换（先转为character varying，再转为text）？

这种双重类型转换是PostgreSQL内部类型解析与逻辑统一的必然结果，核心原因可拆解为两点：

• 字符串字面量的默认类型规则：PostgreSQL中未显式指定类型的字符串字面量（如'Y'），默认会被解析为character varying（即varchar）类型，这是系统内置的类型推导规则。
• IN运算符的底层实现要求：IN条件在PostgreSQL内部会被重写为= ANY(...)的形式，而ANY运算符要求数组元素类型必须与左侧待比较的表达式类型完全一致。如果你的active列是text类型，那么数组元素必须转为text类型才能完成合法比较。

两种不同的转换形式只是内部处理路径的细微差异：

• 第一种是先将每个character varying类型的字面量单独转为text，再组成text[]数组；
• 第二种是先把字面量组成character varying[]数组，再整体转换为text[]类型。

这两种形式的执行逻辑和约束效果完全一致，都是PostgreSQL为满足类型一致性要求自动生成的。

内容的提问来源于stack exchange，提问作者Stephan van Hoof