Postgres不在数组中

我正在使用Postgres的本机数组类型，并尝试查找ID不在数组收件人ID中的记录。

我可以找到他们的位置：

SELECT COUNT(*) FROM messages WHERE (3 = ANY (recipient_ids))

但这不起作用：

SELECT COUNT(*) FROM messages WHERE (3 != ANY (recipient_ids))
SELECT COUNT(*) FROM messages WHERE (3  = NOT ANY (recipient_ids))

测试这种情况的正确方法是什么？

SELECT COUNT(*) FROM "messages" WHERE NOT (3 = ANY (recipient_ids))

您可以随时WHERE (condition)与否定WHERE NOT (condition)

您可以稍微转一下，然后说“ 3不等于所有ID”：

where 3 != all (recipient_ids)

从精美的手册中：

9.21.4。全部（数组）

expression operator ALL (array expression)

右边是带括号的表达式，必须产生一个数组值。将使用给定的运算符评估左侧表达式并将其与数组的每个元素进行比较，该运算符必须产生布尔结果。ALL如果所有比较都得出true（包括数组中元素为零的情况），则结果为“ true”。如果找到任何错误结果，则结果为“ false”。

扩大ALL/ANY答案

我更喜欢使用all或any达到结果的所有解决方案，感谢其他注释（例如，有关NULL的注释）。作为另一个补充，这是一种考虑这些运算符的方法。

您可以将它们视为短路操作员：

• all(array)遍历数组中的所有值，并使用提供的运算符将每个值与参考值进行比较。比较产生后false，该过程以false结束，否则为true。（相当于短路逻辑and。）
• any(array)遍历数组中的所有值，并使用提供的运算符将每个值与参考值进行比较。比较产生后true，该过程以true结束，否则以false结束。（相当于短路逻辑or。）

这就是为什么3 <> any('{1,2,3}')未产生预期结果的原因：对于不等式，该过程将3与1进行比较，这是正确的，并立即返回true。数组中一个不同于3的值足以使整个条件成立。最后一个数组位置中的3是prob。没用过。

3 <> all('{1,2,3}')另一方面，请确保所有值都不相等。3将对所有产生true的比较进行运算，直到产生出false的元素（在本例中为最后一个）返回总结果为false的元素。这就是OP想要的。

not (3 = any(recipient_ids))？

更新：

从postgres 9.3开始，

您也可以NOT与@> （contains运算符）配合使用来实现此目的。

IE浏览器

SELECT COUNT(*) FROM "messages" WHERE NOT recipient_ids @> ARRAY[3];

当心NULL

两者ALL：

(some_value != ALL(some_array))

和ANY：

NOT (some_value = ANY(some_array))

只要some_array不为null，就可以使用。如果数组可能为空，则必须使用Coalesce（）进行解释，例如

(some_value != ALL(coalesce(some_array, array[]::int[])))

要么

NOT (some_value = ANY(coalesce(some_array, array[]::int[])))

从文档：

如果数组表达式产生一个空数组，则ANY的结果将为空

如果数组表达式产生一个空数组，则ALL的结果将为空

请注意，ANY / ALL运算符不适用于数组索引。如果考虑到索引：

SELECT COUNT(*) FROM "messages" WHERE 3 && recipient_ids

和负面的：

SELECT COUNT(*) FROM "messages" WHERE NOT (3 && recipient_ids)

然后可以像这样创建索引：

CREATE INDEX recipient_ids_idx on tableName USING GIN(recipient_ids)