如何在PostgreSQL中为表添加检查约束避免数组字段为空？

当然可以实现！要让PostgreSQL表中的数组字段绝不允许是空数组，我们可以通过CHECK约束来搞定，不过你的示例建表语句里有两个小坑，我帮你梳理并修正一下：

问题分析 #

你原来的语句里有两个关键问题：

1. 既然已经给values1和values2加了not null，那CHECK约束里再判断IS NULL完全是多余的，反而让逻辑变复杂；
2. values2的默认值是空数组ARRAY []，但你又加了约束禁止空数组，这会直接导致建表失败——因为默认值本身就违反了约束！

正确的建表语句 #

这里提供两种可靠的写法，你可以按需选择：

写法1：用数组长度判断（更通用，支持多维数组）

CREATE TABLE table1 (
    id serial not null primary key,
    values1 smallint[] not null DEFAULT ARRAY [12, 20],
    -- 注意：values2的默认值改成了非空数组，符合约束要求
    values2 smallint[] not null DEFAULT ARRAY [0],
    CONSTRAINT check_non_empty_arrays
        CHECK (array_length(values1, 1) > 0 AND array_length(values2, 1) > 0)
);

写法2：直接和空数组比较（更直观）

CREATE TABLE table1 (
    id serial not null primary key,
    values1 smallint[] not null DEFAULT ARRAY [12, 20],
    values2 smallint[] not null DEFAULT ARRAY [0],
    CONSTRAINT check_non_empty_arrays
        CHECK (values1 <> '{}'::smallint[] AND values2 <> '{}'::smallint[])
);

关键说明 #

• array_length(arr, 1)会返回数组第一维的元素个数，大于0就说明数组非空，这种写法对多维数组也适用；
• 直接比较<> '{}'::smallint[]时，一定要显式指定数组类型，避免PostgreSQL出现隐式转换的歧义；
• 必须确保字段的默认值符合约束，否则建表时就会抛出错误——就像你原来的values2默认是空数组，肯定过不了约束检查。

测试验证 #

如果你尝试插入空数组，PostgreSQL会直接拒绝操作：

-- 这条插入语句会报错，因为values2是空数组，违反约束
INSERT INTO table1 (values1, values2) VALUES (ARRAY[1, 2], ARRAY[]::smallint[]);

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