# Regulære udtryk

    Dette appendix indeholder en kort men forhåbentlig tilstrækkelig og
    dækkende introduktion til verden af regulære
    udtryk. Det dokumenterer regulære udtryk af den form
    der er tilgængelig indenfor &kate;, som hverken er kompatibel med de  regulære
    udtryk i perl, eller med dem for eksempel i
    grep.

## Indledning

Regulære udtryk giver os en måde at beskrive noget muligt indhold af en tekststreng på en måde der kan forstås af et lille program, så det kan undersøge om en tekst matcher, og også i tilfælde af avancerede programmer, med muligheden for at gemme dele eller den matchende tekst.

Et eksempel: Lad os sige du ønsker at gennemsøge en tekst for paragraffer der starter med enten navnet Henrik eller navnet Pernille fulgt af en form af udsagnsordet sige.

Med en normal søgning, vil du begynde med at søge efter det første navn, Henrik måske fulgt af s sådan her: `Henrik s`, og mens du kigger efter matcher, vil du skulle kassere dem der ikke er begyndelsen af en paragraf, så vel som dem hvor ordet der starter med bogstaverne s ikke var siger, sagde eller sådan. Og derefter skal du selvfølgelig gentage dethele med det andet navn...

Med Regulære udtryk, overstås denne opgave med en enkel søgning, og med en større grad af præcision.

For at opnå dette definerer regulære udtryk regler for at udtrykke i detalje en generalisation af at en streng matcher. Vort eksempel, som vi bogstaveligt kunne udtrykke sådan her: En linje der begynder med enten Henrik eller Pernille (muligvis fulgt af op til 4 blanke eller tab-tegn) fulgt af mellemrum fulgt af s og så enten iger eller agde kan udtrykkes med følgende regulære udtryk:

`^[ \t]{0,4}(Henrik|Pernille) s(iger|agde)`

Ovenstående eksempel demonstrerer alle fire hovedbegreber i moderne regulære udtryk, nemlig:

- Mønstre

- Påstande

- Kvantifikatorer

- Tilbagereferencer

karet (`^`)-tegnet der begynder udtrykket er en påstand, der kun er sand hvis følgende matchende streng er i begyndelsen af en linje.

Strengene `[ \t]` og `(Henrik|Pernille) s(iger|agde)` er mønstre. Den første er en tegnklasse der matcher enten et blankt eller en (vandret) tab-tegn; det andet mønster indeholder først et undermønster der matcher enten `Henrik` eller `Pernille`, og så et stykke der matcher den nøjagtige streng `s` og endelig et undermønster der matcher enten `iger` eller `agde`

Strengen `{0,4}` er en kvantor der siger hvadsomhelst fra 0 op til 4 af de foregående.

Programmer der understøtter det regulære udtryk begreb tilbagereferencer gemmer hele den matchende del af strengen så vel som undermønstre i parenteser. Givet en metode til at få adgange til disse referencer, kunne vi få fat på enten hele matchningen (når der søges i et tekstdokument i en editor med et regulært udtryk, som ofte er markeret som udvalgt) eller navnet der er fundet, eller den sidste del af verbet.

Alt i alt vil udtrykket matche der hvor vi ønskede det og kun der.

Følgende afsnit vil beskrive i detalje hvordan man konstruerer og bruger mønstre, tegnklasser, påstande, kvantorer og tilbagereference, og det afsluttende afsnit vil give nogle få nyttige eksempler.

## Mønstre

Mønstre består af bogstavelige strenge og tegnklasser. Mønstre kan indeholde under-mønstre, som er mønstre omgivet af parenteser.

### Escape-tegn

I mønstre så vel som i tegnklasser er der nogle tegn der har en speciel betydning. For bogstaveligt at matche disse tegn, skal de være markerede eller escaped for at lade programmer for regulære udtryk vide at de skal fortolke sådanne tegn i deres bogstavelige betydning.

Dette gøres ved at sætte en baglæns skråstreg foran tegnet (`\`).

Programmer for regulære udtryk vil så i det stille ignorere at escape et tegn som ikke har nogen speciel betydning i sammenhængen, så escape for eksempel af et j (`\j`) er problemløst. Hvis du er i tvivl om et tegn kunne have en speciel betydning, kan du derfor escape det uden problemer.

Escape inkluderer naturligvis den baglæns skråstreg selv, så for bogstaveligt at matche den, skal du skrive `\\`.

### Tegnklasser og forkortelser

En tegnklasse er et udtryk der matches en af et defineret sæt tegn. I regulære udtryk, er tegnklasser definerede ved at putte de lovlige tegn for klassen i forkantede parenteser, `[]`, eller ved at bruge en af de forkortede klasser beskrevet nedenfor.

Simple tegnklasser indeholder kun ét eller flere bogstavelige tegn, for eksempel `[abc]` (der matcher et vilkårligt af bogstaverne a, b eller c) eller `[0123456789]` (der matcher et vilkårligt ciffer).

Fordi bogstaver og cifre har en logisk rækkefølge, kan du forkorte dem ved at angive områder af dem: `[a-c]` er lig med `[abc]` og `[0-9]` er lig med `[0123456789]`. En kombination af disse konstruktioner, for eksempel `[a-fynot1-38]` er fuldstændig lovlig (denne sidste ville selvfølgelig matche en vilkårlig af a,b,c,d, e,f,y,n,o,t, 1,2,3 eller 8).

Idet versaler ikke er de samme tegn som deres tilsvarende ikke-versal-ækvivalente. For at lave tegnklasser der ikke er versalfølsomme der matcher a eller b, uanset versaltype, må du skrive det som `[aAbB]`.

Det er naturligvis muligt at lave en negativ klasse der matcher som alt undtagen For at gøre dette putter man en karet (`^`) i begyndelsen af klassen:

`[^abc]` vil passe med alle tegn undtagen a, b eller c.

Foruden disse bogstavelige tegn, er der visse forkortelser der er definerede, hvilket gør livet en smule nemmere:

`\a`

- Dette matche ASCII-klokketegnet (BEL, 0x07).

`\f`

- Dette matcher ASCII-form-feed-tegnet (FF, 0x0C).

`\n`

- Dette matcher ASCII-line-feed-tegnet (LF, 0x0A, Unix ny-linje).

`\r`

- Dette matcher ASCII-vognretur-tegnet (CR, 0x0D).

`\t`

- Dette matcher ASCII-vandret-tab-tegnet (HT, 0x09).

`\v`

- Dette matcher ASCII-lodret-tab-tegnet (VT, 0x0B).

`\xhhhh`

- Dette matcher Unicode-tegnet der svarer til det hexadecimale tal hhhh (mellem 0x0000 og 0xFFFF). \0ooo (&ie;, \zero ooo) matcher ASCII/Latin-1-tegnet der svare til det oktale tal ooo (mellem 0 og 0377).

`.` (punktum)

- Dette matcher et vilkårligt tegn (inklusive ny-linje).

`\d`

- Dette matcher et ciffer. Lig med `[0-9]`

`\D`

- Dette matcher et ikke-ciffer. Lig med `[^0-9]` eller `[^\d]`

`\s`

- Dette matcher et hvidt tegn. Næsten det samme som `[ \t\n\r]`

`\S`

- Dette matcher et ikke-hvidt tegn. Næsten det samme som `[^ \t\r\n]`, og lig med `[^\s]`

`\w`

- Matcher et vilkårligt ord-tegn - i dette tilfælde et vilkårligt bogstav eller ciffer. Bemærk at understregning (`_`) ikke matches, ligesom det er tilfældet med perl regulær udtryk. Lig med `[a-zA-Z0-9]`

`\W`

- Matcher et vilkårligt ikke-ord-tegn - alt undtagen bogstaver og tal. Lig med `[^a-zA-Z0-9]` eller `[^\w]`

De forkortede klasser kan puttes ind i hjemmelavede klasser, for eksempel for at matche et ord-tegn, et blankt eller et punktum, kan du skrive `[\w \.]`

POSIX-notation for klasser, `[:<class name>:]` bliver ikke understøttet for øjeblikket.

#### Tegn med specielle betydninger indenfor tegnklasser

Følgende tegn har en speciel betydning indenfor [] tegnklassekonstruktionen, og skal escapes for bogstaveligt at blive inkluderet i en klasse:

`]`

- Afslutter tegnklassen. Skal escapes med mindre det er det allerførste tegn i klassen (kan efterfølge et ikke-escaped karet-tegn)

`^` (karet)

- Angiver en negativ klasse, hvis det er det første tegn. Skal escapes for at matche bogstaveligt hvis det er det første tegn i en klasse.

`-` (bindestreg)

- Angiver et logisk område. Skal altid escapes indenfor en tegnklasse.

`\` (baglæns skråstreg)

- Escape-tegnet. Skal altid escapes.

### Alternativer: matcher én af

Hvis du ønsker at matche en af et sæt alternative mønstre, kan du adskille dem med `|` (lodret-streg-tegn).

For eksempel for at finde enten Jesper eller Emil skal du bruge udtrykket `Jesper|Emil`.

### Undermønstre

Undermønstre er mønstre der er omgivet af parenteser, og de bruges på forskellige måder indenfor verden af regulære udtryk.

#### Angivelse af alternativer

Du kan bruge et undermønster for at gruppere et sæt alternativer indenfor et større mønster. Alternativerne er adskilt af tegnet | (lodret streg).

For eksempel for at matche et vilkårligt af ordene int, float eller double, kan du bruge mønstret `int|float|double`. Hvis du kun ønsker at finde en, hvis den efterfølges af noget hvidt, og derpå nogle bogstaver, puttes de alternative muligheder indenfor et undermønster: `(int|float|double)\s+\w+`.

#### Indfangning af matchende tekst (tilbagereferencer)

Hvis du ønsker at bruge en tilbagereference, så brug et undermønster for at få den ønskede det af mønstret til at blive husket.

For eksempel, hvis du ønsker at finde to forekomster af det samme ord adskilt af et komma og muligvis noget hvidt, skal du skrive `(\w+),\s*\1`. Undermønstret `\w+` vil finde en stump af ord-tegnene, og hele udtrykket vil matche hvis de bliver efterfulgt af et komma, 0 eller mere hvidt og så den samme stump ord-tegn. (Strengen `\1` refererer tildet første undermønster omgivet af parenteser)

#### Fremadskuende påstande

En fremadskuende påstand er et undermønster, der starter enten med `?=` eller `?!`.

For eksempel for at matche den bogstavelige streng Rasmussen men kun hvis det ikke er Poul Nyrup Rasmussen, vil du skulle bruge dette udtryk: `(?!Poul Nyrup )Rasmussen`. (Dette vil finde Anders Fogh Rasmussen og også Halfdan Rasmussen, men ignorere en matchning med Poul Nyrup Rasmussen.)

Undermønstre brugt til påstande bliver ikke indfangede.

Se også Påstande

### Tegn med en speciel betydning indenfor mønstre

Følgende tegn har en betydning indenfor et mønster, og skal escapes hvis du ønsker at matche dem bogstaveligt:

`\` (baglæns skråstreg)

- Escape-tegnet.

`^` (karet)

- Betyder begyndelsen af strengen.

`$`

- Betyder slutningen af strengen.

`()` (venstre og højre parenteser)

- Angiver undermønstre.

`{}` (venstre og højre tuborg-parenteser)

- Angiver numeriske kvantorer.

`[]` (venstre og høje firkantede parenteser)

- Angiver tegnklasser.

`|` (lodret streg)

- logisk OR. Adskiller alternativer.

`+` (plus-tegn)

- Kvantor, 1 eller flere.

`*` (stjerne)

- Kvantor, 0 eller flere.

`?` (spørgsmålstegn)

- Et frivilligt tegn. Kan fortolkes som en kvantor, 0 eller 1.

## Kvantifikatorer

Kvantorer tillader et regulært udtryk at matche et bestemt angivet antal gange eller et område af tal af enten tegn, tegnklasser eller undermønstre.

Kvantorer er omgiver af tuborg-parenteser (`{` og `}`) og har den generelle form `{[minimum-antal][,[maksimum-antal]]}`

Brugen forklares bedst ved et eksempel:

`{1}`

- Nøjagtig én forekomst

`{0,1}`

- Nul eller én forekomst

`{,1}`

- Det samme, med mindre arbejde;)

`{5,10}`

- Mindst 5 men højst 10 forekomster.

`{5,}`

- Mindst 5 forekomster, intet maksimum.

Derudover er der nogle forkortelser:

`*` (stjerne)

- ligesom `{0,}`, find et vilkårligt antal forekomster.

`+` (plus-tegn)

- ligesom `{1,}`, mindst én forekomst.

`?` (spørgsmålstegn)

- ligesom `{0,1}`, nul eller én forekomst.

### Grådighed

Når kvantorer bruges uden maksimum, vil regulære udtryk som standard matche så meget af den søgte streng som muligt, hvilket er almindelig kendt som grådig opførsel.

Programmer til moderne regulære udtryk giver metoder til at slå grådighed fra, selvom det i et grafisk miljø er op til grænsefladen at give dig adgang til denne egenskab. For eksempel kan en søgningsdialog der giver adgang til en regulær-udtryk-søgning have et afkrydsningsfelt der hedderMinimal matchning ligesom den bør indikere om grådighed er standardopførslen.

### Eksempler i sammenhæng

Her er nogle få eksempler der bruger kvantorer

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

- Matcher cifrene i 1234 gå og 12345 nu, men hverken i 567 elleve eller i 223459 et eller andet sted

`\s+`

- Matcher et eller flere blanke tegn

`(bla){1,}`

- Matcher hele blablabla og bla i blandt andet eller indblandet

`/?>`

- Matcher /> i <lukket punkt/> så vel som > i <åbentpunkt>.

## Påstande

Påstande tillader et regulært udtryk kun at match under visse kontrollerede betingelser.

En behøver ikke et tegn for at matche, den undersøger snarere omgivelserne for en mulig match før den anerkender den. For eksempel ordgrænse-påstanden forsøger ikke at finde et ikke ord-tegn overfor et på dens plads, i stedet sørger den for at der ikke er et ord-tegn. Dette betyder at påstanden kan matche hvor der ikke er noget tegn, &ie; ved slutningen af en søgt streng.

Visse påstande har rent faktisk ikke noget mønster at matche, men den del af strengmatchningen vil ikke blive en del af resultatet af matchningen for det fulde udtryk.

Regulære udtryk som dokumenteret her understøtter følgende udtryk:

`^` (karet: begyndelsen af streng)

- Matcher begyndelsen af den søgte streng.

  Udtrykket `^Inger` vil matche ved Inger i strengen Inger, hej! men ikke i Hej, Inger!

`$` (slutning af streng)

- Matcher slutningen af den søgte streng.

  Udtrykket `du\?$` vil matche ved det sidste du i strengen Du gjorde det ikke, gjorde du? men ingen steder i Du gjorde det ikke, vel?

`\b` (ordgrænse)

- Matcher hvis der er et ord-tegn på den ene side og et ikke-ord-tegn på den anden.

  Dette er nyttigt for at finde ord-afslutninger, for eksempel begge ender for at finde et helt ord. Udtrykket `\ben\b` vil matche det en der er for sig selv i strengen Der var en der kom ind gennem vinduet, men ikke det en der er i gennem.

`\B` (ikke-ord-grænse)

- Matcher hvor \b ikke gør.

  Det betyder at det for eksempel vil matche inde i ord: Udtrykket `\Bel\B` vil matche ved el i heldig men ikke i alligevel eller Mon du elsker mig.

`(?=PATTERN)` (Positiv fremadskuen)

- En fremadskuende påstand kigger på den del af strengen der følger en mulig match. Den positive fremadskuen vil forhindre strengen i at matche hvis teksten der følger den mulige match ikke matcher et PATTERN i påstanden, men den tekst der matches derved vil ikke blive inkluderet i resultatet.

  Udtrykket `skole(?=\w)` vil matche ved skole i skolelærer men ikke ved Skulker du fra din skole?

`(?!PATTERN)` (Negativ fremadskuen)

- Den negative fremadskuen forhindrer en mulig match i at blive anerkendt hvis den følgende del af den søgte streng ikke matcher dens PATTERN.

  Udtrykket `const \w+\b(?!\s*&)` vil matche ved const char i strengen const char* foo men den ikke kan matche const TQString i const TQString& bar fordi & matcher den negative fremadskuen påstandsmønster.