public inbox for [email protected]  

help / color / mirror / Atom feed

From: Michael Herold <[email protected]>
To: Tom Lane <[email protected]>
To: [email protected]
Subject: Re: ARRAY[1] || NULL <> array_append(ARRAY[1], NULL)
Date: Mon, 26 Oct 2015 11:04:40 +0100
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
	<[email protected]>
List-Unsubscribe: <mailto:[email protected]?body=unsub%20pgsql-docs>

I just got confused by another behavior of the || operator. I thought it 
might be appropriate to report it here.

The docs say "the result retains the lower bound subscript of the 
left-hand operand’s outer dimension" [1]. That's again not true for 
corner cases.

Expected:
# SELECT '{0}'::int[] || '[15:16]={1,2}';
----------
  {0,1,2}

Unexpected (lower bound is untouched):
# SELECT '{}'::int[] || '[15:16]={1,2}';
---------------
  [15:16]={1,2}

Actually, I was looking for a way to reset the index lower bound of an 
array to the default. I didn't found a solution documented anywhere, [2] 
only works for known array sizes. So, it might also be worth stating 
ARRAY(SELECT UNNEST(...)) as a solution?

[1]: <http://www.postgresql.org/docs/9.5/static/arrays.html;
[2]: <http://www.postgresql.org/message-id/[email protected];


-- 
Sent via pgsql-docs mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-docs

view thread (7+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected]
  Subject: Re: ARRAY[1] || NULL <> array_append(ARRAY[1], NULL)
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox