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

> C++ Funktory neboli funkční objekty

V tomto článku je vysvětlena problematika funktorů v C++. Je tedy ukázáno, co se pojmem funktor rozumí. Dále jsou zmíněny koncepty funktorů, předdefinované funktory a přizpůsobivé, neboli adaptabilní funktory.

28.3.2011 12:00 | Petr Sklenička | Články autora | přečteno 12847×

Úvod

Používáte-li při programování algoritmy, které nabízí knihovna STL, jistě jste zjistili, že mnoho těchto algoritmů používá tzv. funkční objekty, jinak řečeno funktory. Pokud nevíte, co to je, nebo jak se funktory používají, pak je článek určen právě pro Vás.

Funktor (v angl. function object) je objekt, který je možné použít po vzoru funkce s kulatými závorkami. Funktorem je tedy reference nebo ukazatel na obyčejnou funkci, nebo objekt třídy, která má přetížený operátor (). Nejprve si ukážeme jednoduchý příklad s použitím for_each. Předpokládejme, že máme nějaké pole čísel. Naším úkolem bude vypsat pouze čísla, která jsou větší než třeba číslo 5. S pomocí for_each je možné to provést tímto způsobem.


const int N = 7;
int myArray[N] = {3, 4, 9, 3, 6, 1, 9};
for_each(myArray, myArray + N, Print);

void Print(int value)
{
  if (value > 5) cout << value;
}

Třetím parametrem algoritmu for_each je identifikátor funkce Print, který se automaticky převede na pointer na funkci Print.
Pokud bychom pro vykonání funktoru potřebovali další parametry, bylo by nutné místo obyčejné funkce použít instanci třídy. Parametry, které by byly potřebné pro vykonání funktoru by pak byly atributy třídy a jejich inicializace by se prováděla v konstruktoru (nejvhodnější varianta). Ukážeme si i tento případ. Z pole, které bylo v předchozím příkladu, chceme vypsat ty čísla, jež spadají do intervalu (2, 6) (pozn. jde o otevřený interval, čili číslo 2 ani 6 v něm nejsou).


class Period
{
  private:
    int min, max;
  public:
    Period(const int min, const int max)
    {
      this->min = min;
      this->max = max;
    }
    void operator()(const int value) const
    {
      if (value > min && value < max) cout << value;
    }
};

for_each(myArray, myArray + N, Period(2, 6));

Pokud bychom třídu Period chtěli používat i pro jiné prvky než jen celá čísla, stačilo by ji definovat jako šablonu s jedním typovým parametrem, který by udával typ parametru value a typ atributů min a max. Nyní, když jsme si udělali lehký úvod do funktorů, se podíváme na koncepty funktorů a na předdefinované funktory.

Koncepty funktorů

Knihovna STL definuje následující koncepty funktorů:

  • Generátor - jedná se o funktor, který je možno volat bez parametrů
  • Unární funkce - jedná se o funktor, který je možno volat s jedním parametrem
  • Binární funkce - jedná se o funktor, který je možno volat se dvěma parametry

V souvislosti s touto terminologií se také můžete setkat s pojmy jako predikát a binární predikát. Pojmem predikát se rozumí unární funkce, vracející hodnotu typu bool. Binární predikát je binární funkce, která vrací hodnotu typu bool.

V knihovně STL jsou již některé funktory definovány - jedná se o funkční objekty, které provádějí banální operace jako je sčítání, odčítání, dělení apod. Představte si nějaké dva vektory, v nichž máme uložena nějaká celá čísla. Tyto dva vektory budeme chtít od sebe odečíst. Velmi vhodným řešením bude použít funkci transform. Jako parametry funkce zadáme postupně iterátory rozsahu prvního vektoru, poté iterátor, který identifikuje začátek druhého vektoru. Dalším parametrem bude iterátor, který bude určovat místo, kam se zkopíruje výsledek. Dejme tomu, že budeme chtít výsledky vypsat, proto bude náš iterátor vypadat takto:


ostream_iterator<int> it(cout, " ");

Posledním parametrem funkce transform je funkce, která bude určovat, co se s danými prvky má stát - v našem případě je budeme chtít odečíst. Zde je drobný problém - nelze použít operátor " - ", protože je to operátor a ne funkce. Proto bychom si tedy mohli napsat funkci, která od sebe odečte dvě čísla - to je ovšem zbytečné řešení, správný postup je právě v použítí předdefinovaných funktorů. Stačí tedy tento řádek kódu:


transform(v1.begin(), v1.end(), v2.begin(), it, minus<int>());

V následující tabulce uvádím přehled operátorů a jim odpovídající funkční objekty.

OperátorOdpovídající funktor
+plus
-minus
*multiplies
/divides
%modulus
>greater
<less
>=greater_equal
<=less_equal
==equal_to
!=not_equal_to
&&logical_and
||logical_or
!logical_not

Přizpůsobivé funktory

Všechny výše uvedené, předdefinované funktory, jsou přizpůsobivé. Pokud je objekt funktoru přizpůsobivý, znamená to, že obsahuje položky, které jsou vytvořené pomocí příkazu typedef. Mezi tyto položky patří first_argument_type, second_argument_type a result_type. Jinak řečeno, například návratovým typem objektu minus<double> je minus<double>::result_type. Pro lepší pochopení opět uvedu jednoduchý příklad.
Mějme vektor v1, jehož každý prvek chceme vynásobit číslem 3.14. K tomu budeme potřebovat opět verzi funkce transform, které mimo jiných parametrů musíme předat i unární funkci. Z předchozí tabulky už víme, že o násobení se postará funktor multiplies, nicméně jde o binární funkci, která se pro náš případ nehodí. Potřebujeme tedy tzv. funkční adaptér, který nám převede funktor se dvěma parametry na funktor, která má jeden parametr. K řešení tohoto problému se v C++ používají třídy binder1st a binder2nd. Na následujícím ukázce je kód, který vynásobí každý prvek vektoru číslem 3.14.


#include <iostream>
#include <vector>
#include <iterator>
#include <algorithm>

using namespace std;

int main()
{
  const double pi = 3.14;
  const int N = 5;
  double myArray[N] = {1, 3, 5, 7, 9};
  
  vector<double> v1(myArray, myArray + 5);
  ostream_iterator<double> it(cout, " ");
  transform(v1.begin(), v1.end(), it, bind1st(multiplies<double>(), pi));
  return 0;
}

Třída binder1st obsahuje námi použitou funkci bind1st, díky níž jsme binární funkci multiplies převedli na unární funkci a mohli jsme ji potom použít na vyřešení našeho problému. Myslím, že již není nutné uvádět příklad na použítí bind2nd, neboť funguje analogicky funkci bind1st.

Závěr

To by bylo k funktorům zhruba vše. Doufám, že jste jim porozuměli, neboť některé věci se na první pohled mohou jevit jako poněkud těžkopádné, přitom to není nic složitého a je dobré funktorům rozumět.

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ů

15.5.2017 23:50 /František Kučera

Máš rád svobodný software a hardware nebo se o nich chceš něco dozvědět? Zajímá tě DIY, CNC, SDR nebo morseovka? Přijď na sraz spolku OpenAlt, který se bude konat ve čtvrtek 18. května od 18:00 v Radegastovně Perón (Stroupežnického 20, Praha 5).


Přidat komentář

12.5.2017 16:42 /Honza Javorek
PyCon CZ, česká konference o programovacím jazyce Python, se po dvou úspěšných ročnících v Brně bude letos konat v Praze, a to 8. až 10. června. Na konferenci letos zavítá např. i Armin Ronacher, známý především jako autor frameworku Flask, šablon Jinja2/Twig, a dalších projektů. Těšit se můžete na přednášky o datové analytice, tvorbě webu, testování, tvorbě API, učení a mentorování programování, přednášky o rozvoji komunity, o použití Pythonu ve vědě nebo k ovládání nejrůznějších zařízení (MicroPython). Na vlastní prsty si můžete na workshopech vyzkoušet postavit Pythonem ovládaného robota, naučit se učit šestileté děti programovat, efektivně testovat nebo si v Pythonu pohrát s kartografickým materiálem. Kupujte lístky, dokud jsou.
Přidat komentář

2.5.2017 9:20 /Eva Rázgová
Putovní konference československé Drupal komunity "DrupalCamp Československo" se tentokrát koná 27. 5.2017 na VUT FIT v Brně. Můžete načerpat a vyměnit si zkušenosti z oblasti Drupalu 7 a 8, UX, SEO, managementu týmového vývoje, využití Dockeru pro Drupal a dalších. Vítáni jsou nováčci i experti. Akci pořádají Slovenská Drupal Asociácia a česká Asociace pro Drupal. Registrace na webu .
Přidat komentář

1.5.2017 20:31 /Pavel `Goldenfish' Kysilka
PR: 25.5.2017 proběhne v Praze konference na téma Firemní informační systémy. Hlavními tématy jsou: Informační systémy s vlastní inteligencí, efektivní práce s dokumenty, mobilní přístup k datům nebo využívání cloudu.
Přidat komentář

15.4.2017 15:20 /František Kučera
Máš rád svobodný software a hardware nebo se o nich chceš něco dozvědět? Zajímá tě IoT a radiokomunikace? Přijď na sraz spolku OpenAlt, který se bude konat ve středu 19. dubna od 18:30 v Šenkovně (Sokolská 60, Praha 2).
Přidat komentář

5.3.2017 19:12 /Redakce Linuxsoft.cz
PR: 23. března proběhne v Praze konferenci na téma Cloud computing v praxi. Hlavními tématy jsou: Nejžhavější trendy v oblasti cloudu a cloudových řešení, Moderní cloudové služby, Infrastruktura současných cloudů, Efektivní využití cloudu, Nástrahy cloudových řešení a jak se jim vyhnout.
Přidat komentář

27.2.2017 22:12 /František Kučera
Pozvánka na 137. sraz OpenAlt – Praha: Tentokrát jsme si pro vás připravili neobvyklou akci. Ve středu 1.3. v 17:30 nás přivítá sdružení CZ.NIC ve svých prostorách v Milešovské ulici číslo 5 na Praze 3, kde si pro nás připravili krátkou prezentaci jejich činnosti. Následně navštívíme jejich datacentrum pod Žižkovskou věží. Provedou nás prostory, které jsou běžnému smrtelníkovi nedostupné!
Po ukončení prohlídky se všchni odebereme do hostince U vodoucha, Jagelonská 21, Praha 3 pochutnat si na některém z vybraných piv či dát si něco na zub. Rezervaci máme od 19:30, heslo je OpenAlt.
Ale pozor! Do prostor datového centra máme omezený přístup, dostane se tam pouze 10 lidí! Takže kdo přijde dříve, ten má přednost, a občanky s sebou! Kdo nebude chtít na prohlídku datového centra, může se pomalu přesunout do hostince U vodoucha a u nepřeberné nabídky piv počkat na ostatní.
Přidat komentář

18.1.2017 0:49 /František Kučera
Členové a příznivci spolku OpenAlt se pravidelně schází v Praze a Brně. Fotky z pražských srazů za uplynulý rok si můžete prohlédnout na stránkách spolku. Příští sraz se koná už 19. ledna – tentokrát je tématem ergonomie ovládání počítače – tzn. klávesnice, myši a další zařízení. Také budete mít příležitost si prohlédnout pražský hackerspace Brmlab.
Přidat komentář

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

> Poslední diskuze

15.6.2017 9:34 / Ondřej Havlas
php,

10.6.2017 10:39 / Temple
sell home for cash

11.5.2017 23:32 / lelo
Re: Problém se správcem balíčků

11.5.2017 5:45 / davd mašek
Re: Problém se správcem balíčků

10.5.2017 22:54 / lelo
Re: Problém se správcem balíčků

Více ...

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