Lambda izteiksmes C ++

Kāpēc Lambda Expression?

Apsveriet šādu paziņojumu:

Šeit myInt ir identifikators, vērtība. 52 ir burtiski, prvalue. Mūsdienās ir iespējams īpaši kodēt funkciju un ievietot to pozīcijā 52. Šādu funkciju sauc par lambda izteiksmi. Apsveriet arī šādu īsu programmu:

Mūsdienās ir iespējams īpaši kodēt funkciju un ievietot to 5 argumenta, funkcijas izsaukuma fn (5) pozīcijā. Šādu funkciju sauc par lambda izteiksmi. Lambda izteiksme (funkcija) šajā pozīcijā ir vērtība.

Jebkurš literālis, izņemot virkņu literālu, ir prvalue. Lambda izteiksme ir īpašs funkciju dizains, kas kodā iederētos burtiski. Tā ir anonīma (nenosaukta) funkcija. Šajā rakstā ir izskaidrota jaunā C ++ primārā izteiksme, ko sauc par lambda izteiksmi. Pamatzināšanas par C ++ ir prasība, lai saprastu šo rakstu.

Raksta saturs

• Lambda izteiksmes ilustrācija
• Lambda izteiksmes daļas
• Uzņem
• Klasiskā atzvanīšanas funkciju shēma ar Lambda izteiksmi
• Trailing-return-tips
• Slēgšana
• Secinājums

Lambda izteiksmes ilustrācija

Šajā programmā funkcija, kas ir lambda izteiksme, tiek piešķirta mainīgajam:

Rezultāts ir šāds:

Ārpus galvenās () funkcijas ir mainīgais fn. Tās tips ir auto. Automātisks šajā situācijā nozīmē, ka faktisko tipu, piemēram, int vai float, nosaka piešķiršanas operatora pareizais operands (=). Piešķiršanas operatora labajā pusē ir lambda izteiksme. Lambda izteiksme ir funkcija bez iepriekšējā atgriešanās veida. Pievērsiet uzmanību kvadrātiekavu izmantošanai un novietojumam, []. Funkcija atgriež 5, int, kas noteiks fn veidu.

Galvenajā () funkcijā ir paziņojums:

Tas nozīmē, ka fn ārpus galvenā () beidzas kā funkcijas identifikators. Tās netiešie parametri ir lambda izteiksmes parametri. Mainīgā veids ir automātisks.

Ņemiet vērā, ka lambda izteiksme beidzas ar semikolu, tāpat kā klases vai struktūras definīcija beidzas ar semikolu.

Šajā programmā funkcija, kas ir lambda izteiksme, atgriež vērtību 5, ir arguments citai funkcijai:

Rezultāts ir šāds:

Šeit ir divas funkcijas - lambda izteiksme un funkcija otherfn (). Lambda izteiksme ir otrais arguments otherfn (), ko sauc par galveno (). Ņemiet vērā, ka lambda funkcija (izteiksme) šajā zvanā nebeidzas ar semikolu, jo šeit tas ir arguments (nevis atsevišķa funkcija).

Funkcijas lambda funkcijas otherfn () definīcijā ir rādītājs uz funkciju. Rādītājam ir nosaukums, ptr. Nosaukums ptr tiek izmantots definīcijā otherfn (), lai izsauktu lambda funkciju.

Paziņojums,

Definīcijā otherfn () tas izsauc lambda funkciju ar argumentu 2. Zvanu atgriešanas vērtība '(*ptr) (2)' no lambda funkcijas tiek piešķirta no2.

Iepriekš minētā programma arī parāda, kā lambda funkciju var izmantot C ++ atzvanīšanas funkciju shēmā.

Lambda izteiksmes daļas

Tipiskas lambda funkcijas daļas ir šādas:

• [] ir uztveršanas klauzula. Tajā var būt priekšmeti.
• () ir parametru sarakstam.
• {} ir funkcijas pamatteksts. Ja funkcija darbojas atsevišķi, tai jābeidzas ar semikolu.

Uzņem

Funkcijas lambda definīciju var piešķirt mainīgajam vai izmantot kā argumentu citam funkcijas izsaukumam. Šādas funkcijas izsaukuma definīcijai kā parametram jābūt rādītājam uz funkciju, kas atbilst lambda funkcijas definīcijai.

Lambda funkcijas definīcija atšķiras no parastās funkcijas definīcijas. To var piešķirt mainīgajam globālajā tvērumā; šo funkciju, kas piešķirta mainīgajam, var kodēt arī citas funkcijas ietvaros. Piešķirot globālajam darbības jomas mainīgajam, tā struktūra var redzēt citus globālās darbības jomas mainīgos. Piešķirot mainīgajam normālas funkcijas definīcijā, tā pamatteksts var redzēt citus mainīgos funkciju diapazonā tikai ar uztveršanas klauzulas palīdzību [].

Uztveršanas klauzula [], kas pazīstama arī kā lambda ievads, ļauj mainīgos nosūtīt no apkārtējās (funkcijas) darbības jomas lambda izteiksmes funkciju pamattekstā. Tiek teikts, ka lambda izteiksmes funkcijas ķermenis uztver mainīgo, kad tas saņem objektu. Bez uztveršanas klauzulas [] mainīgo nevar nosūtīt no apkārtējās darbības jomas lambda izteiksmes funkciju pamattekstā. Šī programma ilustrē to ar galveno () funkciju apjomu kā apkārtējo:

Izeja ir 5 . Bez nosaukuma, id, [] iekšpusē lambda izteiksme nebūtu redzējusi main (id) galvenās () funkcijas darbības jomas.

Notveršana pēc atsauces

Iepriekš minētais uztveršanas klauzulas izmantošanas veids ir tveršana pēc vērtības (skatiet informāciju zemāk). Uztverot ar atsauci, mainīgā lieluma atrašanās vieta (uzglabāšana), piemēram, apkārt esošā tvēruma ID, ir pieejama lambda funkcijas korpusā. Tātad, mainot mainīgā vērtību lambda funkcijas korpusā, mainīsies tā paša mainīgā vērtība apkārtējā tvērumā. Lai sasniegtu šo mērķi, pirms katra mainīgā, kas atkārtots uztveršanas klauzulā, ir zīme '&'. Šī programma to ilustrē:

Rezultāts ir šāds:

Apstiprinot, ka mainīgo nosaukumi lambda izteiksmes funkcijas pamattekstā attiecas uz tiem pašiem mainīgajiem ārpus lambda izteiksmes.

Notveršana pēc vērtības

Uztverot pēc vērtības, lambda funkcijas pamattekstā ir pieejama mainīgā atrašanās vietas kopija, apkārtējā tvērums. Lai gan mainīgais lambda funkcijas korpusā ir kopija, tā vērtību pagaidām nevar mainīt ķermeņa iekšienē. Lai panāktu notveršanu pēc vērtības, pirms katra mainīšanas, kas atkārtota uztveršanas klauzulā, nekas nav priekšā. Šī programma to ilustrē:

Rezultāts ir šāds:

Ja komentāru indikators tiek noņemts, programma netiks apkopota. Kompilators izsniegs kļūdas ziņojumu, ka mainīgos mainīgās funkcijas pamatdaļas lambda izteiksmes definīcijā nevar mainīt. Lai gan mainīgos nevar mainīt lambda funkcijas iekšienē, tos var mainīt ārpus lambda funkcijas, kā redzams iepriekš minētās programmas iznākumā.

Uzņemšanas sajaukšana

Uzņemšanu ar atsauci un uztveršanu pēc vērtības var sajaukt, kā parādīta šajā programmā:

Rezultāts ir šāds:

Kad visi ir uzņemti, ir atsauce:

Ja visi tverjamie mainīgie tiek uztverti ar atsauci, tad uztveršanas klauzulā pietiek ar vienu &. Šī programma to ilustrē:

Rezultāts ir šāds:

Ja daži mainīgie ir jāreģistrē ar atsauci, bet citi pēc vērtības, tad viens & attēlo visas atsauces, bet pārējo priekšā nekas nav, kā parādīta šajā programmā:

Rezultāts ir šāds:

Ņemiet vērā, ka uztveršanas klauzulas pirmajai rakstzīmei ir jābūt tikai un vienīgi (t.i., un kam neseko identifikators).

Kad visi ir uzņemti, tie ir pēc vērtības:

Ja visi maināmie maināmie ir jāattver pēc vērtības, tad uztveršanas klauzulā pietiek ar vienu =. Šī programma to ilustrē:

Rezultāts ir šāds:

Piezīme : = pašlaik ir tikai lasāms.

Ja daži mainīgie ir jāfiksē pēc vērtības, bet citi ar atsauci, tad viens = attēlo visus tikai lasāmos mainīgos, un pārējiem katram ir &, kā parādīta šajā programmā:

Rezultāts ir šāds:

Ņemiet vērā, ka = vienai ir jābūt pirmajai rakstzīmei uztveršanas klauzulā.

Klasiskā atzvanīšanas funkciju shēma ar Lambda izteiksmi

Šī programma parāda, kā klasisko atzvanīšanas funkciju shēmu var izdarīt ar lambda izteiksmi:

Rezultāts ir šāds:

Atgādiniet, ka tad, kad lambda izteiksmes definīcija ir piešķirta mainīgajam globālajā tvērumā, tās funkciju struktūra var redzēt globālos mainīgos, neizmantojot uztveršanas klauzulu.

Trailing-return-tips

Lambda izteiksmes atgriešanas veids ir automātisks, kas nozīmē, ka kompilators nosaka atgriešanās veidu no atgriešanās izteiksmes (ja tāda ir). Ja programmētājs patiešām vēlas norādīt atgriešanas veidu, viņš to darīs tāpat kā šajā programmā:

Rezultāts ir 5. Pēc parametru saraksta tiek ierakstīts bultiņu operators. Tam seko atgriešanās veids (šajā gadījumā int).

Slēgšana

Apsveriet šādu koda segmentu:

Šeit Cla ir strukturālās klases nosaukums. Obj1 un obj2 ir divi objekti, kas tiks eksponēti no struktūras klases. Lambda izteiksme īstenošanā ir līdzīga. Lambda funkcijas definīcija ir sava veida klase. Kad tiek izsaukta (izsaukta) lambda funkcija, objekts tiek parādīts no tā definīcijas. Šo objektu sauc par slēgšanu. Tieši slēgšana veic darbu, ko lambda gaida.

Tomēr, kodējot lambda izteiksmi, piemēram, iepriekš minēto struktūru, obj1 un obj2 tiks aizstāti ar atbilstošo parametru argumentiem. Šī programma to ilustrē:

Rezultāts ir 5. Argumenti iekavās ir 2 un 3. Ņemiet vērā, ka lambda izteiksmes funkcijas izsaukums fn neņem vērā nevienu argumentu, jo argumenti jau ir kodēti lambda funkcijas definīcijas beigās.

Secinājums

Lambda izteiksme ir anonīma funkcija. Tas sastāv no divām daļām: klases un objekta. Tās definīcija ir sava veida klase. Izsaucot izteiksmi, no definīcijas tiek veidots objekts. Šo objektu sauc par slēgšanu. Tieši slēgšana veic darbu, ko lambda gaida.

Lai lambda izteiksme saņemtu mainīgo no ārējās funkcijas darbības jomas, tās pamattekstā ir nepieciešama ne tukša uztveršanas klauzula.