Question

我写了以下程序

#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;
}

用gcc 4.3.3编译它并得到了一个分段错误。在花了一些时间与gdb和这个程序之后，在我看来，函数和类的地址被混淆，并且不允许调用类的数据地址。此外，如果我使用注释行代替一切正常。

其他人可以重现这种行为和/或解释我这里出了什么问题吗？

Answer 1

你可能需要

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

而不是

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

否则你会得到无休止的递归。

Binder和可变参数模板最终出现在分段错误中

1 个答案: