Funzioni PostgreSQL restituite void

Question

Le funzioni scritte in PL/pgSQL o SQL possono essere definite come RETURNS void. Recentemente ho incappato in una strana differenza nel risultato.

Si consideri il seguente demo:

CREATE OR REPLACE FUNCTION f_sql() 
    RETURNS void AS 
'SELECT NULL::void' -- "do nothing", no special meaning 
    LANGUAGE sql; 

CREATE OR REPLACE FUNCTION f_plpgsql() 
    RETURNS void AS 
$$ 
BEGIN 
NULL; -- "do nothing", no special meaning 
END; 
$$ LANGUAGE plpgsql; 

_{La funzione f_sql() usa l'unica via possibile per un SELECT (come ultimo comando) in una funzione SQL che RETURNS void. Lo uso solo perché è il modo più semplice per gli scopi di questo test - qualsiasi altra funzione, con UPDATE o DELETE per esempio, mostra lo stesso comportamento.}

Ora, void è un tipo fittizio. Mentre la funzione plpgsql sembra restituire l'equivalente di una stringa vuota come tipo void, efficacemente ''::void. La funzione sql sembra restituire NULL::void.

db=# SELECT f_sql() IS NULL; 
?column? 
---------- 
t 

db=# SELECT f_sql()::text IS NULL; 
?column? 
---------- 
t 

db=# SELECT f_plpgsql() IS NULL; 
?column? 
---------- 
f 

db=# SELECT f_plpgsql()::text = ''; 
?column? 
---------- 
t 

Questo può avere effetti secondari sottili e confusi.
Qual è la ragione della differenza?

Answer 1

(io non sono un esperto in questo codice sorgente. Siete stati avvertiti.)

La fonte è in linea here. Ho omesso i nomi dei file; è possibile cercare i nomi della funzione per trovare le loro definizioni. Ho lasciato i numeri di linea (di solito) perché è più facile da tagliare e incollare, e numeri di linea diversi significano che la fonte è cambiata.

La storia breve è che alcuni ritorni "nulli" sono probabilmente cstrings vuoti (stringhe vuote terminate da null) e altri sono puntatori nulli.

Ecco le parti della sorgente che sembrano rilevanti.

00228 /* 
00229 * void_out  - output routine for pseudo-type VOID. 
00230 * 
00231 * We allow this so that "SELECT function_returning_void(...)" works. 
00232 */ 
00233 Datum 
00234 void_out(PG_FUNCTION_ARGS) 
00235 { 
00236  PG_RETURN_CSTRING(pstrdup("")); 
00237 } 

00251 /* 
00252 * void_send - binary output routine for pseudo-type VOID. 
00253 * 
00254 * We allow this so that "SELECT function_returning_void(...)" works 
00255 * even when binary output is requested. 
00256 */ 
00257 Datum 
00258 void_send(PG_FUNCTION_ARGS) 
00259 { 
00260  StringInfoData buf; 
00261 
00262  /* send an empty string */ 
00263  pq_begintypsend(&buf); 
00264  PG_RETURN_BYTEA_P(pq_endtypsend(&buf)); 
00265 } 

Abbiamo anche

00285 /* To return a NULL do this: */ 
00286 #define PG_RETURN_NULL() \ 
00287  do { fcinfo->isnull = true; return (Datum) 0; } while (0) 
00288 
00289 /* A few internal functions return void (which is not the same as NULL!) */ 
00290 #define PG_RETURN_VOID()  return (Datum) 0 

Quindi ha senso per me che una funzione definita dall'utente che restituisce attraverso PG_RETURN_VOID() non prova equivalente a quella che ritorna attraverso void_out() o void_send (). Non so ancora perché sia ​​così, ma devo fermarmi e dormire un po '.