&Anders.Lund; &Anders.Lund.mail;
Luciano
Montanaro

    mikelima@cirulla.net

Traduzione

# Le espressioni regolari

    Questa appendice contiene introduzione un'essenziale al mondo delle espressioni regolari. Documenta le espressioni regolari nella forma disponibile in &kappname;, che non è compatibile con quella di perl né con quella disponibile, per esempio, in grep.

## Introduzione

Le espressioni regolari ci forniscono un modo di descrivere il contenuto richiesto di una stringa di testo in modo comprensibile dal software, al fine di verificare se una sequenza di testo corrisponde al modello fornito; nel caso di applicazioni avanzate, permettono di memorizzare parti del testo corrispondenti.

Un esempio: diciamo che vuoi cercare nel testo tutti i paragrafi che iniziano per uno dei nomi Henrik o Pernille seguiti da una qualche forma del verbo say.

In una ricerca normale cominceresti a trovare il primo nome, Henrik, magari seguito da sa, così: `Henrik sa`; esaminando le corrispondenze dovresti scartare tutte quelle in cui non si trovano all'inizio di un paragrafo, oltre a quelle in cui le parole che iniziano per sa non sono né says né said. E tutto ciò dovrà essere ripetuto con l'altro nome...

Con le espressioni regolari questo compito può essere svolto con una sola ricerca, e con una precisione più elevata.

Per farlo, le espressioni regolari definiscono delle regole per esprimere nel dettaglio una generalizzazione di una stringa da confrontare. Il nostro esempio, che potremmo esprimere in questo modo: Una riga che inizia con Henrik o Pernille (forse preceduti da fino a quattro caratteri di spazio o tabulazione) seguiti da un carattere di spaziatura seguito da sa e poi, o ys o id, può essere espresso con la seguente espressione regolare:

`^[ \t]{0,4}(Henrik|Pernille) sa(ys|id)`

L'esempio appena introdotto dimostra i quattro concetti alla base delle moderne espressioni regolari, cioè:

- I modelli

- Le asserzioni

- I quantificatori

- I riferimenti all'indietro

Il carattere di accento circonflesso (`^`) che appare all'inizio dell'espressione è un'asserzione, che è vera solo se il resto della stringa da confrontare è all'inizio di una riga.

Le stringhe `[ \t]` e `(Henrik|Pernille) sa(ys|id)` sono modelli. Il primo è una classe di caratteri che corrisponde a un carattere di spazio o di tabulazione (orizzontale); l'altro modello contiene prima un sotto-modello che corrisponde a `Henrik` o `Pernille`, poi un gruppo di caratteri che corrisponde letteralmente a `sa`, ed infine un sotto-modello che corrisponde a `ys` o `id`

La sequenza `{0,4}` è un quantificatore che indica da zero a quattro ripetizioni dell'espressione precedente.

Poiché il software per le espressioni regolari che gestisce il concetto di riferimento all'indietro salva l'intera sequenza di caratteri che corrisponde al modello oltre ai sottomodelli racchiusi fra parentesi, se ci fosse modo di accedere a tali riferimenti potremmo mettere le mani sull'intero testo corrispondente al modello (in caso di ricerca di un'espressione regolare in un editor di testo la corrispondenza è indicata come selezionata) oppure al nome trovato, o all'ultima parte del verbo.

Nell'insieme l'espressione corrisponderà a quello che vogliamo, e solo a quello.

Le sezioni seguenti descriveranno in dettaglio come costruire e usare i modelli, le classi di caratteri, le asserzioni, i quantificatori ed i riferimenti all'indietro, mentre la sezione finale fornirà qualche utile esempio.

## I modelli

I modelli consistono in sequenze di caratteri letterali e in classi di caratteri. Possono contenere sotto-modelli, che sono modelli racchiusi fra parentesi.

### I caratteri speciali

Nei modelli, così come nelle classi di caratteri, alcuni caratteri hanno un significato speciale. Per abbinare letteralmente qualcuno di questi caratteri, essi devono essere marcati, o resi di escape; questo far sapere al software di gestione delle espressioni regolari di trattare tali caratteri col loro significato letterale.

Ciò si fa inserendo come prefisso del carattere una barra inversa (`\`).

Il software per la gestione delle espressioni regolari ignora silenziosamente l'uso di un carattere di escape prima di un carattere senza particolari significati, quindi se viene anteposto, ad esempio, a j (`\j`) non è dannoso. Se hai dei dubbi sul fatto che un dato carattere possa avere significati speciali, puoi anteporvi il carattere di escape per sicurezza.

Per inserire un carattere di barra inversa devi ripetere il carattere stesso, scrivendo `\\`.

### Classi di caratteri ed abbreviazioni

Una classe di caratteri è un'espressione regolare che corrisponde ad uno di un gruppo di caratteri particolare. Nelle espressioni regolari le classi di caratteri sono definite inserendo i caratteri legali per la classe fra parentesi quadre, `[]`, o usando una delle classi predefinite descritte più avanti.

Classi di caratteri semplici contengono solo uno o più caratteri letterali, come ad esempio `[abc]` (che corrisponde ad una delle lettere a, b o c) o `[0123456789]` (che corrisponde ad una delle cifre decimali).

Poiché le lettere e i numeri hanno un ordine logico, puoi abbreviare le definizioni delle classi che li contengono specificando degli intervalli: `[a-c]` è equivalente a `[abc], e` [0-9] equivale a scrivere `[0123456789]`. Sono ammesse anche le combinazioni di questi costrutti, ad esempio, `[a-fynot1-38]` corrisponde ad un carattere fra a, b, c, d, e, f, y, n, o, t, 1, 2,3 e 8.

Poiché le lettere maiuscole vengono distinte da quelle minuscole, per creare una classe di caratteri che corrisponda ad a o b, senza distinguere fra maiuscole e minuscole, devi scrivere `[aAbB]`.

È anche possibile creare una classe di caratteri negativa, che corrisponde ad un qualunque carattere tranne quelli elencati. Per far ciò inserisci un carattere di accento circonflesso ^ all'inizio della classe:

`[^abc]` corrisponderà ad un carattere qualsiasi che non sia a, b o c.

Oltre ai caratteri letterali sono definite alcune abbreviazioni, che rendono la vita un po' più semplice:

`\a`

  Questo corrisponde al carattere campanella &ASCII; (BEL, 0x07).

`\f`

  Corrisponde al carattere di avanzamento carta &ASCII; (FF, 0x0C).

`\n`

  Corrisponde al carattere &ASCII; di avanzamento riga (LF, 0x0A, newline in Unix).

`\r`

  Corrisponde al carattere &ASCII; ritorno carrello (CR, 0x0D).

`\t`

  Corrisponde ad un carattere &ASCII; di tabulazione orizzontale (HT, 0x09).

`\v`

  Corrisponde ad un carattere &ASCII; di tabulazione verticale (VT, 0x0B).

`\xhhhh`

  Questo corrisponde ad un carattere Unicode che ha la rappresentazione esadecimale hhhh (tra 0x0000 e 0xFFFF). \Oooo (&ie; \zero ooo) corrisponde al carattere &ASCII;/Latin-1 rappresentato dal numero ottale 000 (compreso tra 0 e 0377).

`.` (punto)

  Corrisponde ad un carattere qualsiasi (anche ad un nuova riga).

`\d`

  Questo corrisponde ad una cifra decimale. Equivale a `[0-9]`

`\D`

  Corrisponde ad un carattere non numerico. Equivale a `[^0-9]` o `[^\d]`

`\s`

  Corrisponde ad un carattere di spaziatura. Equivale a `[ \t\n\r]`

`\S`

  Corrisponde ad un carattere che non è di spaziatura. Equivale a `[^ \t\n\r]`, ed è uguale a `[^\s]`

`\w`

  Corrisponde ad un carattere di parola - in questo caso a qualsiasi lettera o numero. Equivale a `[a-zA-Z0-9_]`

`\W`

  Corrisponde ad un carattere di non-parola - qualsiasi carattere che non sia una lettera, un numero o un carattere di sottolineatura. Equivale a `[^a-zA-Z0-9_]` o a `[^\w]`

È anche supportata la notazione POSIX delle classi, `[:<nome della classe>:]`; per esempio, `[:numero:]` è equivalente a `\d`, e `[:spazio:]` a `\s`. Vedi qui la lista completa delle classi di caratteri.

Le classi abbreviate possono essere inserite all'interno di classi personalizzate, ad esempio per richiedere la corrispondenza di n carattere di parola, di uno spazio o di un punto, puoi scrivere `[\w \.]`

#### Caratteri con un significato speciale all'interno delle classi di caratteri

I seguenti caratteri hanno un significato particolare all'interno del costrutto [] delle classi di caratteri, e devono essere preceduti dal carattere di escape per essere inclusi letteralmente in una classe:

`]`

  Termina la classe di caratteri. Deve essere preceduto dal carattere di escape, a meno che non sia esattamente il primo della classe (può seguire un carattere ^, che indica la negazione della classe).

`^` (simbolo di accento circonflesso)

  Denota una classe negativa, se è il primo carattere. Deve essere preceduto dal carattere di escape per corrispondere letteralmente se è il primo carattere della classe.

`-` (trattino)

  Denota un intervallo logico di caratteri. Deve sempre essere preceduto dal carattere di escape per essere interpretato alla lettera in una classe di caratteri.

`\` (barra inversa)

  Il carattere di escape. Deve sempre essere raddoppiato per essere interpretato letteralmente.

### Alternative: corrispondenza del tipo uno fra

Se vuoi controllare se il testo corrisponde ad uno fra una serie di modelli alternativi, puoi separare ciascuna alternativa con un carattere `|` (barra verticale).

Ad esempio, per trovare uno fra John ed Harry devi usare l'espressione `John|Harry`.

### I sotto-modelli

I sotto-modelli sono modelli racchiusi fra parentesi, ed hanno molti usi nel mondo delle espressioni regolari.

#### Specificare delle alternative

Puoi usare un sotto-modello per raggruppare un insieme di alternative all'interno di un modello più grande. Le alternative sono separate dal carattere | (barra verticale).

Ad esempio, per cercare una parola fra int, float e double, puoi usare il modello `int|float|double`. Se vuoi trovare la parole solo se è seguita da un po' di spazi e delle lettere, inserisci le alternative in un sotto-modello: `(int|float|double)\s+\w+`.

#### Cattura del testo corrispondente (riferimenti all'indietro)

Se vuoi usare un riferimento all'indietro, usa un sotto-modello `(PATTERN)` per ricordare la parte desiderata del modello. Per fare in modo che il sotto-modello non venga invece ricordato, usa un gruppo non di acquisizione `(?:PATTERN)`.

Per esempio, se vuoi trovare due ripetizioni della stessa parola separate da una virgola ed eventualmente da qualche spazio bianco puoi scrivere `(\w+),\s*\1`. Il sotto-modello `\w+` troverà una sequenza di caratteri di parola, e l'intera espressione corrisponderà se gli stessi caratteri saranno seguiti da una virgola, zero o più caratteri di spaziatura, e da un'identica sequenza di caratteri di parola (La stringa `\1` si riferisce al primo sotto-modello racchiuso fra parentesi).

Per evitare ambiguità nell'uso di `\1` quando è seguito da alcune cifre (&eg; `\12` può essere il dodicesimo sotto-modello, o anche il primo con `2`), usiamo `\{12}` come sintassi per un sotto-modello con più cifre.

Esempi:

- `\{12}1` vuol dire usa il sotto-modello 12

- `\123` vuol dire usa l'1 catturato, quindi 23 come testo normale

#### Asserzioni di lookahead

Un'asserzione di lookahead è un sotto-modello che inizia con `?=` o con `?!`.

Per esempio, per trovare la stringa letterale Bill ma solo se non è seguita da Gates, puoi usare questa espressione: `Bill(?! Gates)`. (Verrà trovato Bill Clinton ed anche Billy the kid, ma verranno ignorate silenziosamente le altre corrispondenze.)

I sotto-modelli usati per le asserzioni non sono catturati.

Vedi anche Le asserzioni.

#### Asserzioni di Lookbehind

Un'asserzione di lookbehind è un sotto-modello che inizia con `?<=` o con `?<!`.

Lookbehind ha lo stesso effetto di lookahead, ma funziona al contrario. Ad esempio, per abbinare la stringa letterale fruit ma solo quando non preceduta da grape puoi usare questa espressione: `(?<!grape)fruit`.

I sotto-modelli usati per le asserzioni non sono catturati.

Vedi anche Le asserzioni

### Caratteri con un significato speciali in un modello

I seguenti caratteri hanno un significato all'interno di un modello, e devi farli precedere da un carattere di escape se vuoi controllarne la presenza letterale:

`\` (barra inversa)

  Il carattere di escape.

`^` (simbolo di accento circonflesso)

  Asserisce l'inizio della stringa.

`$`

  Asserisce la fine della stringa.

`()` (parentesi aperta e chiusa)

  Denotano un sotto-modello.

`{}` (parentesi graffe aperta e chiusa)

  Denotano quantificatori numerici.

`[]` (parentesi quadre aperta e chiusa)

  Denotano classi di caratteri.

`|` (barra verticale)

  OR logico. Separa le alternative.

`+` (segno più)

  Quantificatore, uno o più.

`*` (asterisco)

  Quantificatore, zero o più.

`?` (punto interrogativo)

  Carattere facoltativo. Può essere interpretato come un quantificatore, zero o uno.

## Quantificatori

I quantificatori permettono ad un'espressione regolare di corrispondere ad un numero specificato di caratteri o di caratteri di una classe, o di sotto-modelli.

I quantificatori sono racchiusi da parentesi graffe (`{` e `}`), ed hanno la forma generale `{[ripetizioni-minime][,[ripetizioni-massime]]}`

L'uso è spiegato meglio con degli esempi:

`{1}`

  Esattamente una ripetizione

`{0,1}`

  Zero o una ripetizione

`{,1}`

  La stessa cosa, ma con meno lavoro...

`{5,10}`

  Almeno cinque ripetizioni, ma meno di dieci.

`{5,}`

  Almeno cinque ripetizioni, nessun massimo.

Inoltre esistono alcune abbreviazioni:

`*` (asterisco)

  simile a `{0,}`, trova un numero qualsiasi di ripetizioni.

`+` (segno più)

  simile a `{1,}`, almeno una presenza.

`?` (punto interrogativo)

  simile a `{0,1}`, presente al massimo una volta.

### Ingordigia

Quando si usano quantificatori senza massimo, le espressioni regolari cercano normalmente di adattarsi all'estensione più lunga di caratteri della stringa esaminata; questo comportamento è normalmente noto come ingordigia.

IL software per le espressioni regolari moderno fornisce dei metodi per eliminare l'ingordigia, anche se in un ambiente grafico è l'interfaccia a fornire il metodo di accesso a questa funzione. Per esempio, una finestra di ricerca che permette l'uso di espressioni regolari potrebbe avere una casella marcata Corrispondenza minimale per indicare se l'ingordigia è il comportamento predefinito.

### Esempi in contesto

Ecco alcuni esempi che usano quantificatori:

`^\d{4,5}\s`

  Corrisponde ai numeri in 1234 vai e 12345 ora, ma non a 567 undici, né a 223459 qualcosa.

`\s+`

  Corrisponde ad uno o più caratteri di spaziatura.

`(bla){1,}`

  Corrisponde a tutta la stringa blablabla e a bla in blasone o in cablato.

`/?>`

  Corrisponde a /> in <closeditem/> ed anche a > in <openitem>.

## Le asserzioni

Le asserzioni permettono ad un'espressione regolare di corrispondere solo a certe condizioni.

Un'asserzione non corrisponde necessariamente a un carattere, piuttosto impone delle restrizioni sulle condizioni della possibile corrispondenza prima di riconoscerla. Ad esempio, l'asserzione confine parola non cerca di trovare un carattere non-parola di fianco ad uno di parola, si assicura solo che non ci sia un carattere parola. Quindi l'asserzione corrisponde dove non c'è un carattere, &ie; alla fine della stringa in esame.

Alcune asserzioni hanno effettivamente modelli da confrontare, ma la parte di stringa a cui corrispondono non farà parte del risultato del confronto dell'espressione regolare intera.

Le espressioni regolari qui documentate permettono di usare le seguenti asserzioni:

`^` (accento circonflesso: inizio della stringa)

  Corrisponde all'inizio della stringa cercata.

  L'espressione `^Peter` corrisponderà a Peter nella stringa Peter, hey!, ma non in Hey, Peter!

`$` (fine della stringa)

  Corrisponde alla fine della stringa cercata.

  L'espressione `you\?$` corrisponde all'ultimo you della frase You didn't do that, did you? man non a You didn't do that, right?

`\b` (confine parola)

  Corrisponde se c'è un carattere di parola su un lato, ed un carattere che non fa parte di una parola sull'altro.

  È utile per trovare le estremità di una parola. Come esempio, all'espressione `\bin\b` corrisponde l'in in He came in through the window, ma non l'in di window.

`\B` (non confine parola)

  Corrisponde a tutto quello che non corrisponde a \b.

  Ciò significa che corrisponderà ad esempio all'interno di parole: L'espressione `\Bin\B` corrisponde in window ma non in integer o in I'm in love.

`(?=MODELLO)` (Lookahead positivo)

  Un'asserzione di lookahead controlla la parte della stringa che segue una potenziale corrispondenza. Il lookahead positivo impedirà che la stringa corrisponda se il testo che segue non corrisponde al MODELLO dell'asserzione, ma il testo a cui corrisponde non sarà incluso nel risultato.

  L'espressione `handy(?=\w)` corrisponderà a handy in handyman ma non in That came in handy!

`(?!MODELLO)` (Lookahead negativo)

  Il lookahead negativo impedisce una potenziale corrispondenza se la parte seguente della stringa in esame non corrisponde al MODELLO.

  L'espressione `const \w+\b(?!\s*&)` corrisponde a const char nella stringa const char* foo, mentre non corrisponde a const QString in const QString& bar perché & corrisponde al modello dell'asserzione di lookahead negativo.

`(?<=MODELLO)` (lookbehind positivo)

  Un'asserzione lookbehind ha lo stesso effetto di una di lookahead, ma funziona al contrario. Il lookbehind cerca una possibile corrispondenza in una parte della stringa precedente, mentre il lookbehind positivo assocerà una stringa solo se è preceduta dal MODELLO dell'asserzione, ma il testo a cui corrisponde non sarà incluso nel risultato.

  L'espressione `(?<=cup)cake` corrisponderà a cake se è seguita da cup (in cupcake ma non in cheesecake o solo in cake).

`(?<!MODELLO)` (lookbehind negativo)

  Il lookbehind negativo impedisce una potenziale corrispondenza se la parte precedente della stringa in esame non corrisponde al MODELLO.

  L'espressione `(?<![\w\.])[0-9]+` corrisponderà a 123 nelle stringhe =123 e -123, ma non a 123 in .123 oppure in parola123.

`(MODELLO)` (Gruppo di cattura)

  Il sotto-modello tra parentesi viene catturato e ricordato, in modo che possa venire usato nei riferimento all'indietro. Per esempio, l'espressione `(&quot;+)[^&quot;]*\1` corrisponde a `""""testo""""` e a `"testo"`.

  Vedi la sezione Catturare il testo corrispondente (riferimenti all'indietro) per ulteriori informazioni.

`(?:MODELLO)` (Gruppo non di cattura)

  Il sotto-modello tra parentesi non viene catturato e non viene ricordato. È preferibile usare sempre un gruppo non di acquisizione se le catture non vengono usate.