C++绑定第二个问题

Question

这是我期末考试中出现的问题之一。我不知道我应该做什么。 我知道 BindSecArg 需要一个 () 运算符，但不确定里面的内容。

在这个问题中，您需要实现类似于 std::bind2nd 的东西。为了简单起见主要 使用“for”循环编写，但也可以用“foreach”和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

BindSecArg 的 operator() 需要接受一个参数（显然），它应该做的是从“bound”函子，向其传递 (a) 传入的“第一个”参数和 (b) “bound”第二个参数。

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

看起来像：

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

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

Answer 3

内部调用 Functor.operator()，将其构造函数中的 BindSecArg 值作为第二个参数传递。