4

下面这个传递函数对象的小程序有什么问题？

#include <iostream>
#include <functional>

void foo(const std::unary_function<const std::string&, void>& fct) {
  const std::string str = "test";
  fct(str); // error
}

class MyFct : public std::unary_function<const std::string&, void> {
public:
  void operator()(const std::string& str) const {
    std::cout << str << std::endl;
  }
};

int main(int argc, char** argv){
  MyFct f;
  foo(f);
  return 0;
}

我在第 6 行收到以下错误：

 no match for call to 
`(const std::unary_function<const std::string&, void>) (const std::string&)'
4

1 回答 1

12

一个常见的错误。unary_function并且binary_function只是添加 typedef 的两个结构

argument_type
result_type

和分别

first_argument_type
second_argument_type
result_type

不多。它们是为了方便函数对象类型的创建者，所以他们不必自己做这些。但它们的行为不是多态的。你想要的是函数对象包装器。boost::function想到：

void foo(boost::function<void(const std::string&)> const& fct) {
  const std::string str = "test";
  fct(str); // no error anymore
}

或者让它成为一个模板

template<typename FunctionObject>
void foo(FunctionObject const& fct) {
  const std::string str = "test";
  fct(str); // no error anymore
}

您可以按值获取它，然后返回副本，foo如果使用它将其应用于某个序列。这将允许函数对象更新其成员之间的一些状态变量。for_each是一个这样做的例子。一般来说，无论如何，我会按价值接受它们，因为它们通常很小，复制它们可以提供更大的灵活性。所以我愿意

template<typename FunctionObject>
void foo(FunctionObject fct) {
  const std::string str = "test";
  fct(str); // no error anymore
}

然后，您将能够获取 fct 的副本并将其保存在某处，并且fct' 的 operator() 可以是非常量并更新一些成员（这是整个观点的一部分operator()）。请记住，如果您通过 const 引用获取函数对象，通常不能复制它，因为用户可能已经传递了一个函数。然后复制它会尝试在本地声明一个函数而不是本地函数指针。但是，当传递函数时，按值接受将接受函数指针，可以安全地复制。

于 2009-03-29T01:21:20.753 回答