Binder e modello variadic finisce in un errore di segmentazione

Question

Ho scritto il seguente programma

#include <iostream>
template<typename C, typename Res, typename... Args>
class bind_class_t {
private:
  Res (C::*f)(Args...);
  C *c;
public:
  bind_class_t(Res (C::*f)(Args...), C* c) : f(f), c(c) { }
  Res operator() (Args... args) {
    return (c->*f)(args...);
  }
};

template<typename C, typename Res, typename... Args>
bind_class_t<C, Res, Args...>
bind_class(Res (C::*f)(Args...), C* c) {
  return bind_class<C, Res, Args...>(f, c);
}

class test {
public:
  int add(int x, int y) {
    return x + y;
  }
};

int main() {
  test t;
  // bind_class_t<test, int, int, int> b(&test::add, &t);
  bind_class_t<test, int, int, int> b = bind_class(&test::add, &t);
  std::cout << b(1, 2) << std::endl;
  return 0;
}

compilato con gcc 4.3.3 e ottenuto un segmentation fault. Dopo aver trascorso qualche tempo con gdb e questo programma mi sembra che gli indirizzi della funzione e la classe si confondono e una chiamata dell'indirizzo dei dati della classe non è permesso. Inoltre se uso la linea commentato invece tutto funziona bene.

Can chiunque altro riprodurre questo comportamento e / o spiegare che cosa sta andando male qui?

Answer 1

È necessario forse

return bind_class_t<C, Res, Args...>(f, c);

anziché

return bind_class<C, Res, Args...>(f, c);

In caso contrario si otterrà infinita ricorsione.