Cast json array to postgres array and preserve order of elements

Поиск
Список
Период
Сортировка
От otar shavadze
Тема Cast json array to postgres array and preserve order of elements
Дата
Msg-id CAG-jOyDBeXpiuztbB8RWnK6W5uEx1s_SJQ=wgu7c1AqAd33Fjg@mail.gmail.com
обсуждение исходный текст
Ответы Re: Cast json array to postgres array and preserve order of elements  (Andrew Dunstan <andrew.dunstan@2ndquadrant.com>)
Список 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 по дате отправления:

Предыдущее
От: Michael Paquier
Дата:
Сообщение: Re: Should smgrdounlink() be removed?
Следующее
От: Tomas Vondra
Дата:
Сообщение: Re: [PATCH] Incremental sort (was: PoC: Partial sort)