Thomas Kellerer wrote:
> I don't understand why the following two JSON Path expressions aren't doing
> the same thing in Postgres 12:
>
> with sample (data) as (
> values
> ('{"k1": {"list":[1,2,3]}}'::jsonb)
> )
> select data,
> jsonb_path_exists(data, '$.k1.list.type() ? (@ == "array")'), --
> returns true as expected
> jsonb_path_exists(data, '$.k1.list ? (@.type() == "array")') --
> returns false - not expected
> from sample;
>
>
> Apparently "@.type()" returns something different then "$.k1.list.type()"
>
> But maybe I simply don't understand how the @ is supposed to work.
This seems to be a consequence of "lax" mode:
"Besides, comparison operators automatically unwrap their operands in the lax
mode,
so you can compare SQL/JSON arrays out-of-the-box. An array of size 1 is
considered
equal to its sole element. Automatic unwrapping is not performed only when:
- The path expression contains type() or size() methods that return the type
and
the number of elements in the array, respectively.
(from https://www.postgresql.org/docs/12/functions-json.html)
with sample (data) as (
values
('{"k1": {"list":[1,2,3]}}'::jsonb)
)
select data,
jsonb_path_exists(data, '$.k1.list ? (@.type() == "number")'), --
lax mode unwraps the array
jsonb_path_exists(data, 'strict $.k1.list ? (@.type() == "array")') --
strict mode doesn't
from sample;
data | jsonb_path_exists | jsonb_path_exists
-----------------------------+-------------------+-------------------
{"k1": {"list": [1, 2, 3]}} | t | t
(1 row)
Yours,
Laurenz Albe
--
Cybertec | https://www.cybertec-postgresql.com
