À quoi sert '$$' dans PL / pgSQL

Étant complètement nouveau dans PL / pgSQL, quelle est la signification des signes double dollar dans cette fonction :

CREATE OR REPLACE FUNCTION check_phone_number(text)
RETURNS boolean AS $$
BEGIN
  IF NOT $1 ~  e'^\\+\\d{3}\\ \\d{3} \\d{3} \\d{3}$' THEN
    RAISE EXCEPTION 'Wrong formated string "%". Expected format is +999 999';
  END IF;
  RETURN true; 
END;
$$ LANGUAGE plpgsql STRICT IMMUTABLE;

Je suppose que, dans RETURNS boolean AS $$, $$est un espace réservé.

La dernière ligne est un peu mystérieuse: $$ LANGUAGE plpgsql STRICT IMMUTABLE;

Au fait, que signifie la dernière ligne?

Les signes dollar sont utilisés pour les cotations en dollars et ne sont en aucun cas spécifiques aux définitions de fonction . Il peut être utilisé pour remplacer les guillemets simples pratiquement n'importe où dans les scripts SQL.

Le corps d'une fonction se trouve être une chaîne littérale qui doit être placée entre guillemets simples. Les guillemets en dollars sont un substitut spécifique à PostgreSQL pour les guillemets simples pour éviter les problèmes de citation à l'intérieur du corps de la fonction. Vous pouvez également écrire la définition de votre fonction avec des guillemets simples. Mais alors vous devrez échapper à tous les guillemets simples dans le corps:

CREATE OR REPLACE FUNCTION check_phone_number(text)
RETURNS boolean AS
'
BEGIN
  IF NOT $1 ~  e''^\\+\\d{3}\\ \\d{3} \\d{3} \\d{3}$'' THEN
    RAISE EXCEPTION ''Malformed string "%". Expected format is +999 999'';
  END IF;
  RETURN true; 
END
' LANGUAGE plpgsql STRICT IMMUTABLE;

Ce n'est pas une si bonne idée. Utilisez plutôt des guillemets en dollars, plus spécifiquement, placez également un jeton entre les $$pour le rendre unique - vous pouvez également utiliser des guillemets $ dans le corps de la fonction. Je fais beaucoup ça, en fait.

CREATE OR REPLACE FUNCTION check_phone_number(text)
  RETURNS boolean  
AS
$func$
BEGIN
 ...
END
$func$  LANGUAGE plpgsql STRICT IMMUTABLE;

Détails:

• Insérer du texte avec des guillemets simples dans PostgreSQL

Quant à votre deuxième question:
lisez le plus excellent manuelCREATE FUNCTION pour comprendre la dernière ligne de votre exemple.

Le $$ est un délimiteur que vous utilisez pour indiquer le début et la fin de la définition de fonction. Considérer ce qui suit,

CREATE TABLE <name> <definition goes here> <options go here, eg: WITH OIDS>

La syntaxe de la fonction de création est similaire, mais comme vous allez utiliser toutes sortes de SQL dans votre fonction (en particulier la fin de l'instruction; caractère), l'analyseur se déclenche si vous ne la délimitez pas. Vous devriez donc lire votre déclaration comme suit:

CREATE OR REPLACE FUNCTION check_phone_number(text)
RETURNS boolean AS <code delimited by $$> LANGUAGE plpgsql STRICT IMMUTABLE;

Les éléments après la définition réelle sont des options pour donner à la base de données plus d'informations sur votre fonction, afin qu'elle puisse optimiser son utilisation.

En fait, si vous regardez sous "4.1.2.2. Constantes de chaîne à guillemets en dollars" dans le manuel, vous verrez que vous pouvez même utiliser des caractères entre les symboles du dollar et tout cela comptera comme un délimiteur.