c++11 bind的用法

bind函數

在c++11之前,要綁定某個函數、函數對象或者成員函數的不同參數值需要用到不同的轉換器,如bind1st、bind2nd、fun_ptr、mem_fun和mem_fun_ref等.在c++11中,綁定參數的方法得以簡化.c++11提供了”一站式”綁定模闆bind,其用法為:

#include <functional>
std::bind(待綁定的函數對象/函數指針/成員函數指針,參數綁定值,參數綁定值,...,參數綁定值n);
           

bind的第一個參數是待綁定的函數對象或者函數指針,之後跟随多個參數以設定待綁定函數的參數綁定方式。待綁定函數有多少個參數,則bind後便需要多少個參數以一一聲明其參數的綁定方法.當參數綁定為某一固定值時,則其對應參數綁定值可以使一個變量或常量.當需要将參數與綁定所生成的函數對象的某個參數相關聯時,則需要用到在标準中預定義的幾個常量_1、_2、_3等.這些常量聲明在std::placeholders命名空間内.

綁定成員函數的注意點:

在将一個R (T::*ptr)(Arg0,Arg1,…)形式的成員函數指針ptr用bind綁定參數時,bind的第一個綁定的參數是成員函數的調用者,随後跟随成員函數的參數綁定方式.例如bind(ptr,a,b,c)将會調用a.*ptr(b,c)。當采用_n常量将首參數與函數對象的參數相關聯時,所生成的函數對象自動可接受T類型的引用及指針類型,無需再進行封裝.但要想調用外部資料的成員函數,還需要用ref()、cref()來包裝或者綁定一個對該變量的指針.

#include <functional>
  #include <iostream>
  
  //一個自定義的整數類
  struct integer{
        int i;
        integer(int i):i(i){}
        void incr_by(int j){ i+=j;}
  };
 
 void mem_func_sample(){
      integer x();    //x.i=0;
      integer *y=&x;   //y指向x
      using namespace std::placeholders;
      using namespace std;
      
      auto f0=bind(&integer::incr_by,_1,_2);
      f0(x,);     //x.incr_by(2)
      cout<<x.i<<endl;
      
      f0(y,);         //y->incr_by(2)
      cout<<x.i<<endl;   //x.i=4
      
      auto f1=bind(&integer::incr_by,x,_1);
      f1();   //x在f1的副本.incr(2)
      cout<<x.i<<endl;  x.i=;
      
      auto f2=bind(&integer::ince_by,ref(x),_1);
      f2();   //x.incr_by(2)
      cout<<x.i<<endl;       //x.i=6;
      
      auto f3=bind(&integer::incr_by,&x,_1);
      f3();   //(&x)->incr_by(2)
      cout<<x.i<<endl;  //x.i=8
      
      //利用mem_fn将成員函數轉換為函數對象
      auto f4=mem_fn(&integer::incr_by);
      f4(x,);  
      cout<<x.i<<endl;//x.i=10;
      f4(y,);   
      cout<<x.i<<endl;//x.i=12
      
      
 }
           

複制代碼

上例中用不同的方式為integer類的incr_by成員函數綁定參數.對于所得的函數對象f0，由于bind的首參數與f0的第一個參數相關聯,f0将自動以integer為首參數類型,是以f0(x,2)實際調用了x.incr_by(2)，使得x的i值增加2；另外f0也自動支援integr指針,是以調用f0(y,2)相等于執行了y->incr_by(2),同樣使得x的i值增加2。而f1的調用是x在f1内的副本,不會影響x的狀态.隻有如f2或f3那樣綁定x才會真正調用x的成員函數.