Cast json array to postgres array and preserve order of elements - Mailing list pgsql-hackers

From otar shavadze
Subject Cast json array to postgres array and preserve order of elements
Date
Msg-id CAG-jOyDBeXpiuztbB8RWnK6W5uEx1s_SJQ=wgu7c1AqAd33Fjg@mail.gmail.com
Whole thread Raw
Responses Re: Cast json array to postgres array and preserve order of elements
List pgsql-hackers
When I want t to convert json array into postgres array, I do:

with t(j) as(
    select '{"my_arr":[3,1,2]}'::json
)
SELECT ARRAY(SELECT json_array_elements_text(j->'my_arr')) from t

It works like a charm and I never noticed any problem, but I'm asking here just to make sure,  order of elements will be preserved always? 
Is that guaranteed in above example, or not?

Thanks.

pgsql-hackers by date:

Previous
From: Michael Paquier
Date:
Subject: Re: Should smgrdounlink() be removed?
Next
From: Tomas Vondra
Date:
Subject: Re: [PATCH] Incremental sort (was: PoC: Partial sort)