c++ - 为什么 unary_function 不定义 operator()？

Question

我只是在为一组仿函数寻找一个方便的基类，这些仿函数基于获取和 int 并返回 void。

考虑使用 std/functional 仿函数基本上是 unary_function<int,void>与 operator() .

为什么是virtual result_type operator()(const argument_type& _Left) const = 0;未在 unary_function 模板上定义？我猜这是因为 constness 可能有变化......
有没有我错过的其他模板，其中包括 operator() ？

我已经有一段时间没有这样做了，我是不是错过了什么？

我将如何利用现有的功能，如

std::ptr_fun< HWND, void >(someFunction);
std::pointer_to_unary_function<HWND, void>(someFunction);

编辑:也许我应该包括另一半的用法以使其完整。也许是 usage half 不符合这个概念。

如何将仿函数传递给方法并使用它？

typedef unary_function<int,void> Functor;

void DoStuff(const Functor& functor) {
  int demo = 1;
  functor(demo);
}

作为 unary_function 的仿函数没有定义 operator()，因此 DoStuff 无法编译。

Answer 1

模板概念是鸭子类型的。满足 UnaryFunction 概念的类需要 operator() 这一事实在文档中指定，并从使用满足该概念的模板参数的模板中推断出来。无需拼出函数签名，或要求它是 virtual，它采用 const 引用参数，或者它是 const 成员函数。

unary_function 模板不应该被认为是一个接口(interface)(它也不是设计为一个接口(interface))。它当然不是多态基类。它是一个帮助程序，供希望实现 AdaptableUnaryFunction 概念的类使用。

来自 STL 文档，对于原始设计原理来说是可靠的:“它存在的唯一原因是使定义自适应一元函数更加方便”- http://www.sgi.com/tech/stl/unary_function.html

标准类似:“提供以下类以简化参数和结果类型的类型定义”(20.3.1/1)

高级用法 - 实际上 UnaryFunction 需要的是如果 f 是一元函数对象，并且 x 可以转换为参数类型，那么 f( x) 是结果类型的有效表达式。它根本不需要一个参数 operator()，有一个双参数 operator() 就可以了，第二个参数具有默认值。尝试将其定义为纯虚函数；-)

第二个问题，您使用ptr_fun 只是通过使用函数名称/指针调用它。它的模板参数将从函数类型中推断出来，所以你不需要指定它们。结果是相应 pointer_to_unary_function 模板类型的对象。

要直接使用来自 STL 文档的示例:

transform(first, last, first,
    compose1(negate<double>, ptr_fun(fabs)));

这大约相当于:

for (auto current = first; current != last; ++current) {
    *current = -fabs(*current);
}

(我在 C++0x 意义上使用 auto，意思是“我不会被打扰/不可能在这里写迭代器类型”)

函数名称/指针可以在 transform(采用 UnaryFunction 模板参数)中使用，但不能在 compose1 中使用(采用AdapatableUnaryFunction 模板参数)。因此，如果没有 ptr_fun，就无法将 negate 与 fabs 组合起来。

针对您的编辑，我强调，unary_function 不是多态基类。您不能将它(或其任何实例化)用作函数参数类型。

如果你想使用 UnaryFunction 或 AdaptableUnaryFunction 概念，那么你必须编写一个函数模板:

template <typename UnaryFunction>
void DoStuff(UnaryFunction &functor) {
    int demo = 1;
    functor(demo);
}

不过，这只要求仿函数采用 int 转换成的类型。它不需要完全采用 int 并完全返回 void。这通常是一个优势。

如果模板不能满足您的要求，那么 unary_function 不适合您。您没有遗漏任何东西:您可以使用虚拟 operator() 设计自己的接口(interface)，但标准库并不打算提供任何此类东西。