Funkcja powiązania i symbole zastępcze w C++

Czasami musimy zmodyfikować działanie funkcji w zależności od potrzeb, np. zmienić niektóre argumenty na domyślne itp. Wstępne zdefiniowanie funkcji, która ma mieć domyślne argumenty ogranicza wszechstronność funkcji i zmusza nas do używania domyślnych argumentów i to za każdym razem z podobnymi wartościami. Począwszy od C++ 11, wprowadzenie funkcji wiązania ułatwiło to zadanie. 

Jak działa bind()?  

Funkcja wiązania za pomocą symboli zastępczych pomaga manipulować pozycją i liczbą wartości używanych przez funkcję oraz modyfikuje funkcję w zależności od żądanego wyniku. 

Co to są symbole zastępcze?  

Symbole zastępcze to przestrzenie nazw, które kierują pozycją wartości w funkcji. Są reprezentowani przez _1 _2 _3 ... 

Przykład:

CPP
   // C++ code to demonstrate bind() and   // placeholders   #include          #include         // for bind()   using     namespace     std  ;   // for placeholders   using     namespace     std  ::  placeholders  ;   // Driver function to demonstrate bind()   void     func  (  int     a       int     b       int     c  )   {      cout      < <     (  a     -     b     -     c  )      < <     endl  ;   }   int     main  ()   {      // for placeholders      using     namespace     std  ::  placeholders  ;      // Use of bind() to bind the function      // _1 is for first parameter and assigned      // to 'a' in above declaration.      // 2 is assigned to b      // 3 is assigned to c      auto     fn1     =     bind  (  func       _1       2       3  );      // 2 is assigned to a.      // _1 is for first parameter and assigned      // to 'b' in above declaration.      // 3 is assigned to c.      auto     fn2     =     bind  (  func       2       _1       3  );      // calling of modified functions      fn1  (  10  );      fn2  (  10  );      return     0  ;   }   

Wyjście:

5 -11 

W powyższym kodzie funkcja bind() zmodyfikowała wywołanie funkcji tak, aby przyjmowało 1 argument i zwracało żądany wynik. 

Właściwości symboli zastępczych

1. Pozycja symbolu zastępczego określa pozycję wartości w instrukcji wywołania funkcji 

CPP
   // C++ code to demonstrate placeholder   // property 1   #include          #include         // for bind()   using     namespace     std  ;   // for placeholders   using     namespace     std  ::  placeholders  ;   // Driver function to demonstrate bind()   void     func  (  int     a       int     b       int     c  )   {      cout      < <     (  a     -     b     -     c  )      < <     endl  ;   }   int     main     ()   {      // for placeholders      using     namespace     std  ::  placeholders  ;      // Second parameter to fn1() is assigned      // to 'a' in fun().      // 2 is assigned to 'b' in fun      // First parameter to fn1() is assigned      // to 'c' in fun().      auto     fn1     =     bind  (  func       _2       2       _1  );      // calling of function      cout      < <     'The value of function is : '  ;      fn1  (  1       13  );      // First parameter to fn2() is assigned      // to 'a' in fun().      // 2 is assigned to 'b' in fun      // Second parameter to fn2() is assigned      // to 'c' in fun().      auto     fn2     =     bind  (  func       _1       2       _2  );      // calling of same function      cout      < <     'The value of function after changing'      ' placeholder position is : '  ;      fn2  (  1       13  );      return     0  ;   }   

Wyjście:

The value of function is : 10 The value of function after changing placeholder position is : -14 

W powyższym kodzie, mimo że pozycje 1 i 13 były takie same w wywołaniu funkcji, zmiana pozycji symboli zastępczych zmieniała sposób wywoływania funkcji.   

2. Liczba symboli zastępczych określa liczbę argumentów wymaganych do przekazania funkcji.

Możemy użyć dowolnego nr. symboli zastępczych w instrukcji wywołania funkcji (oczywiście mniej niż maksymalna liczba argumentów). Pozostałe wartości są zastępowane wartościami domyślnymi zdefiniowanymi przez użytkownika. 

CPP
   // C++ code to demonstrate placeholder   // property 2   #include         // for bind()   #include          using     namespace     std  ;   // for placeholders   using     namespace     std  ::  placeholders  ;   // Driver function to demonstrate bind()   void     func  (  int     a       int     b       int     c  )   {      cout      < <     (  a     -     b     -     c  )      < <     endl  ;   }   int     main  ()   {      // for placeholders      using     namespace     std  ::  placeholders  ;      // 1 placeholder      auto     fn1     =     bind  (  func       _1       2       4  );      // calling of function with 1 argument      cout      < <     'The value of function with 1 '      'placeholder is : '  ;      fn1  (  10  );      // 2 placeholders      auto     fn2     =     bind  (  func       _1       2       _2  );      // calling of function with 2 arguments      cout      < <     'The value of function with 2'      ' placeholders is : '  ;      fn2  (  13       1  );      // 3 placeholders      auto     fn3     =     bind  (  func       _1       _3       _2  );      // calling of function with 3 arguments      cout      < <     'The value of function with 3 '      'placeholders is : '  ;      fn3  (  13       1       4  );      return     0  ;   }   

Wyjście:

The value of function with 1 placeholder is : 4 The value of function with 2 placeholders is : 10 The value of function with 3 placeholders is : 8 

W powyższym kodzie wyraźnie nie. symboli zastępczych równa liczbie argumentów wymaganych do wywołania funkcji. Wiązanie funkcji zależy od liczby i położenia symboli zastępczych.