类型谓词表达式

类型谓词表达式可用于验证变量、字面量、属性或其他 Cypher^® 表达式的类型。

语法

<expr> IS :: <TYPE>

其中 <expr> 是任意 Cypher 表达式，而 <TYPE> 是一个 Cypher 类型。有关所有可用的 Cypher 类型，请参阅类型及其同义词部分。

验证 Cypher 表达式的类型

UNWIND [42, true, 'abc', null] AS val
RETURN val, val IS :: INTEGER AS isInteger

值是整数

值	是整数
`42`	`true`
`true`	`false`
`'abc'`	`false`
`null`	`true`
行数: 4

42

true

false

'abc'

false

null

true

行数: 4

带有 NOT 的类型谓词表达式

也可以使用否定类型谓词表达式 IS NOT :: 来验证 Cypher 表达式不是某种特定类型。

UNWIND [42, true, 'abc', null] AS val
RETURN val, val IS NOT :: STRING AS notString

值不是字符串

值	不是字符串
`42`	`true`
`true`	`true`
`'abc'`	`false`
`null`	`false`
行数: 4

42

true

'abc'

false

null

false

行数: 4

null 的类型谓词表达式

所有 Cypher 类型都包含 null 值。从 Neo4j 5.10 开始，类型谓词表达式可以附加 NOT NULL。这意味着对于所有求值为 null 的表达式，IS :: 返回 true，除非附加了 NOT NULL。

RETURN
  NULL IS :: BOOLEAN AS isBoolean,
  NULL IS :: BOOLEAN NOT NULL AS isNotNullBoolean

是布尔值是非空布尔值

是布尔值	是非空布尔值
`true`	`false`
行数: 1

true

false

行数: 1

同样，对于所有求值为 null 的表达式，IS NOT :: 返回 false，除非类型附加了 NOT NULL。

RETURN
  (null + 1) IS NOT :: DATE AS isNotDate,
  (null + 1) IS NOT :: DATE NOT NULL AS isNotNotNullDate

不是日期不是非空日期

不是日期	不是非空日期
`false`	`true`
行数: 1

false

true

行数: 1

还可以使用 null 类型检查值是否仅为 null 值。

RETURN NULL IS :: NULL AS isNull

是 null

是 null
`true`
行数: 1

true

行数: 1

封闭动态联合类型 (INNER_TYPE_1 | INNER_TYPE_2…) 不能声明为 NOT NULL。相反，所有内部类型都应单独声明为不可为空，以实现此行为。

请注意，封闭动态联合中的所有内部类型必须要么可为空，要么不可为空。这是因为 null 值不能归因于特定类型。如果内部类型不具有相同的可空性，则会引发语法错误。

RETURN 1 IS :: INTEGER NOT NULL | FLOAT

错误消息

All types in a Closed Dynamic Union must be nullable, or be appended with `NOT NULL`.

属性的类型谓词表达式

类型谓词表达式还可以用于筛选出具有特定类型属性的节点或关系。

以下示例使用包含以下节点的图

以下查询查找所有 Person 节点，这些节点的 age 属性是 INTEGER 类型且值大于 18。

MATCH (n:Person)
WHERE n.age IS :: INTEGER AND n.age > 18
RETURN n.name AS name, n.age AS age

名称年龄

名称	年龄
`'Charlie'`	`21`
行数: 1

'Charlie'

21

行数: 1

类型 PROPERTY VALUE 也可以用于检查某个类型是否可存储为属性。不可存储为属性的类型（例如 MAP）在与 IS :: PROPERTY VALUE 检查时将返回 false。

不同大小数字的类型谓词表达式

对于作为参数传入的数值，Cypher 不考虑数字的大小。因此，Cypher 会将任何精确的数值参数视为 INTEGER，无论其声明的大小如何。例如，从语言库传入的 INT16 或 INT32 都将被 Cypher 视为 INTEGER。请注意，使用的任何精确数值参数都必须在 INT64 的范围内。

RETURN $int16param IS :: INTEGER AS isInteger

是整数

是整数
`true`
行数: 1

true

行数: 1

有关参数的更多信息，请参阅此处。