Question

这是我期末考试中出现的问题之一。我无法弄清楚我应该做什么。我知道BindSecArg需要一个（）运算符，但不知道里面是什么。

在这个问题中，你需要实现类似于std :: bind2nd的东西。为简单起见使用“for”-loop编写，但可以用“for each”和STL容器重写。

class Functor1 {
  public:
     int operator()(const int & i, const int & j) const {
      return i+j;
     }
};

class Functor2 {
   public:
    int operator()(const int & i, const int & j) const {
       return i*j;
     }
};

template <typename T>
class BindSecArg

};

int main () {
  Functor1 f1;
  for (int i=0; i<10; ++i) std::cout << f1(i,i) << " "; //0 2 4 6 8 10
  std::cout << std::endl;

  Functor2 f2;
  for (int i=0; i<10; ++i) std::cout << f2(i,i) << " "; //0 1 4 9 16 25
  std::cout << std::endl;

  BindSecArg<Functor1> b1(4); //bind second argument of Functor1 to 4
  for (int i=0; i<10; ++i) std::cout << b1(i) << " "; //4 5 6 7 8 9
  std::cout << std::endl;

  BindSecArg<Functor2> b2(4); //bind second argument of Functor2 to 4
  for (int i=0; i<10; ++i) std::cout << b2(i) << " "; //0 4 8 12 16 20
  std::cout << std::endl;
  }

额外的信用问题：您的实施很可能无效（这没关系！）

 class Functor3 {
    public:
      std::string operator()(const std::string & i, const std::string & j) const {
        return i+j;
      }
 };

STL如何解决这个问题？

Answer 1

operator() BindSecArg需要一个参数（显然），它应该做的是从“绑定”仿函数调用operator()，传递它（a）传入的“第一”参数和（b）“约束”的第二个参数。

因此我们需要构造绑定仿函数类的实例（以便我们可以进行调用），并且我们需要记住第二个参数。我们将使用数据成员处理这两个问题。

看起来像：

template <typename T>
class BindSecArg
    T toCall;
    int second;
    public:
    // To initialize, we default-construct the bound-functor-instance, and copy the
    // constructor parameter for our bound-parameter.
    BindSecArg(int second): toCall(), second(second) {}
    // To call, see the above discussion.
    int operator() (int first) { return toCall(first, second); }
};

标准库（请不要说“STL”）bind2nd通过期望T为“AdaptableBinaryFunction”来解决这个问题，即提供一些typedef成员来识别参数和结果类型operator()，然后使用这些类型将这些typedef作为模板类型从基类继承，然后使用基类提供的typedef来模板化自己的operator()实现。这些是“模板元编程”的一些基本技术，并且它很快变得复杂。你应该为此查找一些单独的阅读资源。

Answer 2

可能有更好的实施：

template <typename T>
class BindSecArg
{
public:
   BindSecArg(int value2) : m_value2(value2){ };
   int operator()(int value1) { return T()(value1, m_value2);}
private:
   int m_value2;
};

在我在您的问题的评论中发布的链接中，您可以找到stl代码。

Answer 3

Inside调用Functor.operator（），将其构造函数中赋给BindSecArg的值作为第二个参数传递。

C ++ bind2nd问题

3 个答案: