LINUXSOFT.cz Přeskoč levou lištu
Uživatel: Heslo:  
   CZUKPL

> Perl (147) - Perl 6 - regulární výrazy, nové operátory

Perl V minulém dílu jsme opomněli dvě zásadní témata. Regulární výrazy prošly od Perlu 5 obrovskou změnou. Podobně bychom mohli mluvit o nových operátorech.

30.11.2011 00:00 | Jiří Václavík | Články autora | přečteno 4421×

Regulární výrazy (rules)

Na začátek povězme, že staré regulární výrazy lze nadále používat. Syntaxe pro to je následující.

if $p ~~ m:Perl5/^\w\d[a-d]$/ {
    say "OK";
}

Avšak regulární výrazy prošly revolučními změnami. V Perlu 5 mají dle Larryho Walla několik zásadních nedostatků. Je určitě zajímavé zamyslet se nad následujícími body.

  • too compact and cute
  • too much reliance on too few metacharacters
  • little support for named captures
  • little support for grammars
  • poor integration with real language

Perl 5 podporoval tzv. regexes, což jsou regulární výrazy rozšířené oproti jejich formální definici (my v seriálu nejsme úplně korektní a tyto pojmy zaměňujeme). Perl 6 bude obsahovat novou soustavu regulárních výrazů pod názvem rules (pravidla). Pro detailní informace je nejvhodnější nahlénout do specifikace.

V Perlu 6 je syntaxe a možnosti regulárních výrazů hodně odlišná od předchozích verzí. Mění se i filozofie, s jakou je k regulárním výrazům přistupováno. V Perlu 5 byly regulární výrazy od zbytku programu dost oddělené - byl to speciální řetězec, jehož význam se řídil vlastními pravidly a na první pohled bylo jasně vidět, že regulární výraz je něco jiného než zbytek programu. To se nyní změnilo a regulární výrazy jsou do jazyka daleko více zabudované.

Co se nezměnilo

Nejzákladnější vlastnosti se neliší.

  • Znak | pro alternativy
  • Čísla, písmena, podtržítko a escapované znaky pomocí \ matchují doslovně
  • (...) funguje jako zachycení řetězce
  • Pro kvantifikátory zde máme znaky ? * + ?? *? +?, již však nemáme kvantifikátor {od, do}

Drobné změny

Téměř vše ostatní se ale změnilo. Podívejme se, co se stalo s několika často používanými konstrukcemi.

  • Místo nezachytávacích závorek (?:...) nyní budeme používat [...], které dosud sloužily jako závorky pro množinu znaků.
  • Pro vkládání kódu použijeme <?{...}>
  • Nově nezáleží na bílých znacích uvnitř regulárního výrazu, tj. je automaticky zapnut modifikátor x
  • Mění se syntaxe pro pozitivní/negativní pohled dopředu/dozadu. Pro pozitivní resp. negativní pohled dopředu použijeme <before ...> resp. <!before ...>. Podobně pro pohled dozadu s after.
  • Kvantifikátory pro rozsahy mají tvar **{2 .. 7}, **{2 .. 7}?.
  • Místo operátorů =~ a !~ máme nově ~~ a !~~.
  • ^^ je nová kotva pro začátek řádku, $$ pro konec řádku
  • Pojmenované zachytávání se děje následující speciální konstrukcí: /Cislo: $<jmeno_promenne>:=(\d+)/. Potom budeme mít zachycená data v proměnné $jmeno_promenne a nebudeme muset používat $0. Také je vhodné zmínit, že výsledkem zachytávání bude zanořená datová struktura, nikoliv pouze seznam hodnot.
  • Tečka nově zastupuje i znak nového řádku

Formální gramatiky, modifikátory

V Perlu 6 lze daleko intuitivněji definovat pravidla pro formální gramatiky. Například, mějme jazyk, který můžeme chápat jako množinu slov L = {anbabn | n > 0} (mimochodem, nejde o regulární jazyk). To lze v Perlu přepsat do pravidla následovně pomocí deklarátoru rule (které se používá k deklaraci pojmenovaného nebo anonymního regulárního výrazu).

rule S {(a+) ba (b+) <{$0.elems == $1.elems}>}

Zde je jiný způsob. Velmi přehledně lze přepisovat gramatiky. Pravidla pro tvorbu slov jsou v našem jazyku následující.

S -> a S b
S -> b a

Totéž tedy bude dělat toto pravidlo.

rule S {a S b | b a}

Dále existují také deklarátory regex, rx a token, které se liší v tom, jaké modifikátory jsou automaticky aktivní. Máme na výber z mnoha modifikátorů. Uvádějí se uvozené dvojtečkou za jméno pravidla (tj. podobně jako atributy u podprogramů) nebo před regulární výraz (je-li anonymní, například m:i:g/hledane_slovo/).

Zde je několik příkladů modifikátorů.

ModifikátorPopis
:P5, :Perl5zapne starou verzi regulárních výrazů
:ratchetbez backtrackingu
:i, :ignorecasenehledí na velikost písmen
:m, :ignoremarknehledí na různé druhy interpunkce
:g, :globalprovede porovnání vícekrát
:ov, :overlapprovede porovnávání vícekrát, ale navíc i s překrývajícími se výskyty
:s, :sigspacebílé znaky nebudou ignorovány
:7x, :x(7)matchovat 7×
:7th, :nth(7)7. match
:nth(2,4,6...*)matchuje sudé výskyty
:ex, :exhaustivematchuje všemi způsoby (přesvědčit se lze v proměnné @())

Perl 6 navíc umožňuje definici vlastních modifikátorů. Pro obsáhlejší informace o modifikátorech lze doporučit nahlédnutí do dokumentace.

Klíčové slovo grammar deklaruje jmenný prostor pro pravidla. Názorněji si představme grammar jako analogii package. package obsahuje metody, podobně grammar obsahuje nějaké regulární výrazy.

Uveďme si hodně umělý příklad na validaci emailové adresy, na kterém ale uvidíme, jak se výše uvedené používá. Používá se Backus-Naurova normální forma.

grammar Email::Simple {
    regex email {<uzivatel> @ <server> \. <koncovka>}
    token uzivatel {[\w\.\-]+}
    token server {[\w\.\-]+}
    token koncovka {cz|com|info}
}

Nyní se můžeme vně jmenného prostoru například na regex email odvolávat jako na Email::Simple::email. Jak tedy ověříme správnost emailu?

if $email ~~ /Email::Simple::email/ {
    say "OK";
}

Nové operátory

Podívejme se, jaké nové operátory nám Perl 6 přináší. Již jsme se s některými setkali v minulém dílu a nyní se věnujme dalším. Na úvod je dobré se alespoň letmo podívat na kompletní přehled operátorů, kde uvidíme desítky úplně nových.

Výraz pro vícenásobné porovnávání

Nově lze zřetězit operátory pro porovnávání. Lze tak vytvořit následující podmínku.

if (1 <= 5 < 10){
    say "OK";
}

Nové operátory pro kartézský součin a operace po složkách

Operátor X je tzv. metaoperátor, což je velmi zajímavá věc. Základní použití je následující.

say ((1, 2) X (4, 5)).perl; # tiskne ((1, 3), (1, 4), (2, 3), (2, 4))

Použití však je daleko širší, neboť lze specifikovat, jakým operátorem mají interagovat každé dva prvky. Implicitně je to čárka. Lze ale použít i jiné operátory. Operátor uvedeme za X.

say ((1, 2) X~  (3, 4)).perl   # tiskne ("13", "14", "23", "24")
say ((1, 2) X*  (3, 4)).perl   # tiskne (3, 4, 6, 8)
say ((1, 2) X== (3, 4)).perl   # tiskne (Bool::False, Bool::False, Bool::False, Bool::False)

Stojí za zamyšlení, jak bychom libovolný z uvedených příkladů napsali v Perlu 5.

Pro operace po složkách lze stejným způsobem použít operátor Z. Vždy spolu interagují ntý prvek v pravém seznamu a ntý prvek v levém seznamu. Podívejme se, jak efektně můžeme v Perlu 6 sčítat vektory nebo tvořit hashe.

say ((1, 2) Z+ (3, 4)).perl                     # tiskne (4, 6)
%hash = @zavodnici Z=> @jejich_osobni_rekordy   # vytvoří hash

Definice vlastních operátorů

V Perlu 6 máme následující typy operátorů.

Operátor s operandyTyp
7 + 7infix
+7prefix
$p++postfix
<7 8 9>circumfix
@p[7]postcircumfix

Jak bychom například vytvořili a použili operátor pro zaokrouhlování (za předpokladu, že máme funkci round)?

multi sub prefix:<°> (Rat $arg) {
    return round($arg);
}
say °3.14;

Měli bychom ale také specifikovat prioritu právě definovaného operátoru a asociaci. To uděláme v případě priority pomocí slov equiv, tighter, looser vzhledem k již existujícím operátorům a pomocí assoc s parametrem left, right nebo none. Například takto.

multi sub infix:<°> is equiv(&infix:<*>){ ...  }
multi sub infix:<°> is tighter(&infix:<*>){ ... }
multi sub infix:<°> is looser(&infix:<*>){ ... }
multi sub infix:<°> is assoc("left"){ ... }

Pomocí multi můžeme také přetěžovat již existující operátory.

Generování posloupností čísel

Perl 6 zavádí nový třítečkový operátor pro rozsahy s líným vyhodnocováním. Díky němu můžeme elegantně generovat různé aritmetické a geometrické posloupnosti.

1, 2, 4 ... *     # generuje posloupnost mocnin dvou
1, 3, 9 ... *     # generuje posloupnost mocnin tří
0, 2 ... *        # generuje posloupnost sudých čísel
1, 3 ... *        # generuje posloupnost lichých čísel
5, 4 ... *        # generuje posloupnost čísel od 5 do minus nekonečna
1.1, 1.2 ... 5.3  # generuje posloupnost čísel od 1,1 do 5,3 s krokem 0.1

Co když chceme omezenou posloupnost, ale nevíme z hlavy poslední člen? Co například mocniny dvou do 10000?

1, 2, 4 ... 10000

To bohužel fungovat nebude, protože vygenerovaný člen je vždy porovnáván s posledním na rovnost. Příklad tedy vygeneruje nekonečnou posloupnost. Avšak existuje trik, který ji ukončit dokáže, i když poslední člen nevíme.

1, 2, 4 ... * >= 10000

Místo >= lze použít i jiný operátor. Tato konstrukce je zkratkou za uzávěr -> $a {$a >= 10000}. Totéž lze nezkráceně napsat takto.

1, 2, 4 ... -> $a {$a >= 10000}

Když chceme generovat posloupnost, která není ani aritmetická ani geometrická, musíme ji definovat jako lambda funkci. Vzpomeňme si, jak jsme psali podprogram na výpočet Fibonacciho posloupnosti. Takto ji přiřadíme do pole v Perlu 6.

my @fibonacci := 0, 1, -> $a, $b {$a + $b} ... *;

S trochou magie lze totéž přepsat takto.

my @fibonacci := 0, 1, * + * ...^ *

Výsledek po operaci ... lze samozřejmě přiřadit do pole.

@mocniny_dvou = 1, 2, 4 ... *;

Prvních 6 elementů vytiskneme takto.

say @mocniny_dvou[^6];

Další změny v operátorech

Podívejme se v bodech na několik zajímavých změn.

  • Je zaveden nový feed operátor <==, který dělá současné používání příkazů typu map, grep atd. podstatně čitelnější.
  • Operátor := se používá k ztotožnění dvou proměnných.
  • Operátor =:= rozhodne, zda dvě proměnné ukazují na totéž.
  • Operátor ~ se používá pro zřetězení.
  • Podmínkový operátor má nyní novou syntaxi: podmínka ?? v_případě_true !! v_případě_false.
  • Operátor pro identitu: ===, eqv.
  • Nové relační operátory pro negaci: !===, !=:=, !==, !eq, !eqv.
  • Zaujmout by mohly též operátory pro minimum a maximum, které lze použít následovně: 5 min 7 max 2. Samozřejmě existují i odpovídající max= a min=.
  • Máme dva replikační operátory: x je pro skaláry a xx pro seznamy.

Verze pro tisk

pridej.cz

 

DISKUZE

Nejsou žádné diskuzní příspěvky u dané položky.



Příspívat do diskuze mohou pouze registrovaní uživatelé.
> Vyhledávání software
> Vyhledávání článků

30.7.2014 7:18 /MaReK Olšavský
O roli svobodného software ve vzdělávání se začalo mluvit především v souvislosti s nástupem online školení/kurzů. F/L/OSS jako klíčovou součást vzdělávání vyzdvihujá i Anant Agarwal, CEO EDx.
Přidat komentář

30.7.2014 7:18 /MaReK Olšavský
Do Debianu 8 by se nejspíše mohl vrátit FFmpeg. „Válka“ FFmpeg vs. Libav tak bude pokračovat i na „území Debianu“.
Přidat komentář

30.7.2014 7:18 /MaReK Olšavský
VLC je mocný nástroj pro práci s A/V daty, ale většina uživatelů používá pouze přehrávač. Sílu VLC, ve spojení s dalšími svobodnými nástroji, poodkrývá článek Sama Deana, doplněný odkazy na podrobnosti o jednotlivých nástrojích.
Přidat komentář

28.7.2014 7:06 /MaReK Olšavský
Dalším úspěšným příkladem nemalé finanční úspory díky F/L/OSS se stalo francouzské město Toulouse, jež má ušetřeno 1 mil. € po přechodu na LibreOffice. Změnili jen kancelářský balík, příklad Mnichova, kompletní přechod na F/L/OSS, by určitě znamenal vyšší úsporu.
Přidat komentář

28.7.2014 7:06 /MaReK Olšavský
Těžba bitcoinů s Raspberry Pi zní jako nesmysl, ale článek na webu Linux User ukazuje, že to jde. Velké množství vytěžených bitcoinů však nečekejte, vzhledem k výkonu RPi.
Přidat komentář

28.7.2014 7:06 /MaReK Olšavský
Vyšlo 87. číslo měsíčníku Full Circle Magazine (pdf, ePub) určeného nejen uživatelům Ubuntu. Vedle pravidelných seriálů je hlavním tématem náhrada Truecryptu.
Přidat komentář

25.7.2014 7:17 /MaReK Olšavský
Miguel de Icaza rozšiřuje tým vyvíjejíci Mono a hodlají se na výkon Mono, svobodné implementace .NETu. Mono není jen pro GNU/Linux, ale i pro Android, nebo iOS.
Přidat komentář

25.7.2014 7:17 /MaReK Olšavský
Firma PredictionIO, jež připravuje software pro výuku, získala investici US$ 2.5 mil. do vývoje. Na jejich platformě údajně pracuje 4 000 vývojářů.
Přidat komentář

   Více ...   Přidat zprávičku

> Poslední diskuze

27.7.2014 17:55 / Jabu
Re: instalace modemu Huawei E352 v Ubuntu 14.04

25.7.2014 7:06 / MaReK Olšavský
Re: ksplice

24.7.2014 8:06 / Stanislav David
ksplice

15.7.2014 6:16 / MaReK Olšavský
2017

25.6.2014 19:04 / Petr Ježek
více argumentů

Více ...

ISSN 1801-3805 | Provozovatel: Pavel Kysilka, IČ: 72868490 (2003-2014) | mail at linuxsoft dot cz | Design: www.megadesign.cz | Textová verze | zákony online