接触 STL 算法、lambda、局部类和其他方法

Question

使用 STL 似乎必需的事情之一是指定局部函数的方法。 我通常提供的许多函数无法使用STL函数对象创建工具（例如bind）创建，我必须手动滚动我的函数对象。

由于 C++ 标准禁止将本地类型用作模板实例化中的参数，因此我能使用的最好方法是创建一个小型库（仅显示相关部分），

// library header
class MyFunctionBase<R,T>  
{  
 public:  
   virtual ~MyFunctionBase();  
   virtual R operator()(const T &) const=0;  
};    


class  MyFunction<R,T> 
{   
    MyFunctionBase<R,T> *b; 
 public: 
    ~MyFunction()
    {
       delete b;
    }
    virtual R operator()(const T &) const
    {
        return (*b)(T);
    } 
};


// source file
....

    class func: public MyFunctionBase  ...
    std::stl_alg(....    MyFunction(new funct));

这对我来说总是显得笨拙。 我想 ISO 委员会的人也这么认为，并在 C++ 中添加了 lambda。

与此同时，编译器如何解决这个问题？ （尤其是 Windows 编译器。）

可能会澄清一点的更正。 变更日志： 11 月 2 日 替换以澄清 由于 C++ 标准禁止局部类作为函数对象

Answer 1

标准方式是“函子” - 基本上是一个提供 operator() 的 struct

例如：

struct MyMinFunctor {
  bool operator()(const int& a, const int& b) { return a > b; }
};

vector<int> v;
sort(v.begin(), v.end(), MyMinFunctor());

因为它是一个 struct/类，所以您可以对任何像“binary_operator”之类的东西以及维护更高级函子的状态。

Answer 2

Boost.Bind、Boost.Function 和 Boost.Lambda 是您的朋友。

Answer 3

对于 C++0x，您可以使用 lambda（如您所提到的）：

for_each(container.begin(), container.end(),
  [](auto item) {
    // do something with item
  }
  );

这已经在 MS Visual C++ 2010（当前在社区技术预览中）和 GCC 4.3.x（带有 -std=c++0x 编译器标志）中可用。 但是，如果没有 lambda，您只需要提供一个类型：

1. 可默认构造
2. 可复制构造
3. 定义函数运算符重载

有些算法需要二元函数对象，而有些则需要一元函数对象。 请参阅供应商的 STL 文档，准确了解哪些算法需要二进制函数对象，哪些算法需要一元函数对象。

您可能还想研究的一件事是 TR1 中 bind 和 function 的较新实现（基于 Boost.Bind 和 Boost.Function）。