包装谓词函子

Question

我想知道有关谓词函子包装的约定和最佳实践。例如，给定一个像这样的类：

class Timer
{
public:
  Timer(const std::string& name, int interval);
  bool nameIs(const std::string& name) const;
private:
  std::string name_;
  int interval_;
};

（在一种情况下）在类 TimerVec: 中使用，

class TimerVec
{
public:
  typedef std::vector<Timer>::iterator iterator;``
  <... ctors, etc ...>
  iterator findByName(const std::string& name);
private:
  std::vector<Timer> timers_;
};

并且有一个像这样的谓词函子：

class TimerNameIs
{
public:
  TimerNameIs(const std::string& name) : name_(name) {}
  bool operator()(const Timer& t) { return t.nameIs(name_); }
private:
  const std::string& name_;
};

我可以想到很多地方可以放置函子代码，其中一些是：

1. 在紧随 Timer 声明之后的头文件中
2. 嵌套在 Timer 中（即，引用变为 Timer::TimerNameIs）
3. 嵌套在 TimerVec 中（当前是唯一用户）
4. 在实现之前的匿名命名空间中TimerVec::findByName（又是唯一使用它的地方）

虽然其中任何一个都足够了，但我更喜欢#2，但这不是我见过的做法。是否有任何支持特定选项的具体原因？

Answer 1

这有待商榷。我更喜欢创建一个嵌套类。这样，仅适用于特定类型对象的函子就在该对象内的命名空间范围内。

我通常还将谓词命名为 match_xxx，其中 xxx 是我要匹配的参数。

也就是说：

class Timer
{
  // ...
public:
  class match_name : public std::unary_function<Timer, bool>
  {
  public:
    match_name(const std::string& name) : name_(name) {}
    bool operator()(const Timer& t) { return t.nameIs(name_); }
  private:
    const std::string& name_;
  };
};

...这样使用：

std::find_if( v.begin(), v.end(), Timer::match_name("Flibbidy") );

我更喜欢这种方法，因为 6 个月后查看此代码时，Timer::match_name("Flibbidy") 的语义非常清晰。

我还小心地从 std::unary_function 派生我的函子（尽管我上面的派生可能会将参数颠倒）。

Answer 2

就我个人而言，在它自己的头文件和 cpp 文件中。在 TimerNameIs 头文件中使用 #include "Timer.h"：

#include "Timer.h"
#include <string>

class TimerNameIs
{
    public:
        TimerNameIs(const std::string& name) : name_(name) {}
        bool operator()(const Timer& t) { return t.nameIs(name_); }
    private:
        const std::string& name_;
};

这样做可以将 Timer 和 TimerNameIs 相互隔离。