C ++ 0x функция <>, привязка и члены - PullRequest
Новая
       57

C ++ 0x функция <>, привязка и члены

7 голосов
/ 29 мая 2011

Я пытался следовать Bjarne Stroustups объяснение шаблона function.Я специально играл с взаимозаменяемостью c-function-pointers , функторов , lambdas и указателей на функции-члена

Учитывая определения: 

struct IntDiv { // functor
  float operator()(int x, int y) const
    { return ((float)x)/y; }
};

// function pointer
float cfunc(int x, int y) { return (float)x+y; }

struct X { // member function
  float mem(int x, int y) const { return ...; }
};
using namespace placeholders; // _1, _2, ...

Я хочу присвоить function<float(int,int)> все возможное: 

int main() {
  // declare function object
  function<float (int x, int y)> f;
  //== functor ==
  f = IntDiv{};  // OK
  //== lambda ==
  f = [](int x,int y)->float { return ((float)y)/x; }; // OK
  //== funcp ==
  f = &cfunc; // OK

  // derived from bjarnes faq:
  function<float(X*,int,int)> g; // extra argument 'this'
  g = &X::mem; // set to memer function      
  X x{}; // member function calls need a 'this'
  cout << g(&x, 7,8); // x->mem(7,8), OK.

  //== member function ==
  f = bind(g, &x,_2,_3); // ERROR
}

И последняя строка дает типичную нечитаемую ошибку шаблона-компилятора. sigh .

Я хочу связать f с существующей функцией-членом x instance, чтобы оставалась только подпись float(int,int).

Какой должна быть строка вместо 

f = bind(g, &x,_2,_3);

... или где еще ошибка?

Фон:

Вот пример Bjarnes для использования bind и function с функцией-членом: 

struct X {
    int foo(int);
};
function<int (X*, int)> f;
f = &X::foo;        // pointer to member
X x;
int v = f(&x, 5);   // call X::foo() for x with 5
function<int (int)> ff = std::bind(f,&x,_1)

I думал bind используется следующим образом: Неназначенныйместа получают placeholders, остальное заполняется bind.Должен ли _1 орех получить this, тогда`?И поэтому последняя строка будет: 

function<int (int)> ff = std::bind(f,&x,_2)

На предложении Говарда ниже я попробовал :-) order of args in bind

1 Ответ

8 голосов
/ 29 мая 2011 
f = bind(g, &x,_1,_2); // OK

Заполнители ссылаются на позиции аргумента в возвращенном объекте связывания.Параметр not index g.

...