Postgres数组列CHECK约束：校验数组每个元素取值范围的方法

要给PostgreSQL的数组字段添加每个元素的取值约束，你可以用两种简洁的方式实现需求：

方法一：使用ALL操作符（简洁直观） #

ALL操作符会检查数组中的每一个元素是否满足指定条件，结合BETWEEN可以快速限定元素范围：

CREATE TABLE tab (
    day_in_mounth int[12] 
    CHECK (ALL(day_in_mounth) BETWEEN 1 AND 29)
);

这里BETWEEN 1 AND 29等价于>0 AND <30，刚好匹配你的需求。

方法二：使用NOT EXISTS结合unnest（灵活适配复杂条件） #

如果后续需要更复杂的校验逻辑（比如不同元素有不同规则），可以用unnest把数组拆成行，再检查是否存在不符合条件的元素：

CREATE TABLE tab (
    day_in_mounth int[12] 
    CHECK (NOT EXISTS (
        SELECT 1 
        FROM unnest(day_in_mounth) AS elem 
        WHERE elem <= 0 OR elem >= 30
    ))
);

这个写法的优势是可以在WHERE子句里添加任意复杂的判断逻辑，扩展性更强。

测试验证 #

• 合法插入（执行成功）：

INSERT INTO tab VALUES ('{1,2,3,4,5,6,7,8,9,10,11,12}');

• 非法插入（触发约束报错）：

INSERT INTO tab VALUES ('{0,2,3,4,5,6,7,8,9,10,11,12}'); -- 包含0，违反约束
INSERT INTO tab VALUES ('{1,2,3,4,5,6,7,8,9,10,11,30}'); -- 包含30，违反约束

另外，因为你定义了int[12]固定长度数组，PostgreSQL会自动校验数组长度，插入长度不为12的数组时会直接报错，无需额外添加长度约束。

内容的提问来源于stack exchange，提问作者Иван Павлов