包装谓词函子

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") );

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

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

Answer 2

我个人，在它自己的头文件和 cpp 文件中。在TimerNameIsheader 文件中使用#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 从一个隔离到另一个。