将bind1st 用于通过引用获取参数的方法

Question

我有一个像这样的结构：

struct A {
    void i(int i) {}
    void s(string const &s) {}
};

现在当我尝试这个时：

bind1st(mem_fun(&A::i), &a)(0);
bind1st(mem_fun(&A::s), &a)("");

第一行编译正常，但第二行生成错误：

c:\program files (x86)\microsoft visual studio 10.0\vc\include\xfunctional(299): error C2535: 'void std::binder1st<_Fn2>::operator ()(const std::basic_string<_Elem,_Traits,_Ax> &) const' : member function already defined or declared
          with
          [
              _Fn2=std::mem_fun1_t<void,A,const std::string &>,
              _Elem=char,
              _Traits=std::char_traits<char>,
              _Ax=std::allocator<char>
          ]
          c:\program files (x86)\microsoft visual studio 10.0\vc\include\xfunctional(293) : see declaration of 'std::binder1st<_Fn2>::operator ()'
          with
          [
              _Fn2=std::mem_fun1_t<void,A,const std::string &>
          ]
          c:\work\sources\exception\test\exception\main.cpp(33) : see reference to class template instantiation 'std::binder1st<_Fn2>' being compiled
          with
          [
              _Fn2=std::mem_fun1_t<void,A,const std::string &>
          ]

可能是什么问题？我该如何解决它？

编辑：

似乎任何参考参数都是一个问题。因此，如果我将 i 方法更改为 void i(int &i) {} 我会收到类似的错误。

Answer 1

std::bind1st 和 std::bind2nd 不接受采用引用参数的函子，因为它们本身形成对这些参数的引用。您可以

1. 使用指针作为函数输入而不是引用，
2. 使用 boost::bind
3. 接受复制字符串的性能成本

Answer 2

该问题是库规范中的缺陷。

查看针对 gcc 的错误报告以及由此产生的讨论： Bug 37811 - bind1st 失败带有引用参数的 mem_fun

C++03 缺乏构建完美绑定库的工具。此问题已在 C++11 中通过完美转发和 std::bind 修复。

Answer 3

看看这篇帖子，其中解释了模板参数的要求。
正如您已经假设对 std::string 的引用是问题所在。它不是有效的模板参数。

Answer 4

通过指针更改引用

#include <functional>
#include <string>

struct A {
    void i(int i) {}
    void s(const std::string *s) {}
};


int main(void)
{
    A a;
    std::bind1st(std::mem_fun(&A::i), &a)(0);
    const std::string s("");
    std::bind1st(std::mem_fun(&A::s), &a)(&s);
}