std::for_each 中的多态函子

Question

我正在尝试使用 stl 算法 for_each ，而不在整个代码中增加模板。 std::for_each 想要按值实例化 MyFunctor 类，但由于它是抽象的所以不能。 我创建了一个函子适配器类，它传递一个指针，然后在适当的时候取消引用它。

我的问题：

STL或Boost是否已经有这样的适配器类？ 我不想重新发明轮子！

 struct MyFunctor  {
     virtual ~MyFunctor() {}
     virtual void operator()(int a) = 0; 
 }

 namespace {
     template<typename FunctorType, typename OperandType> struct
 FunctorAdapter
     {
         FunctorAdapter(FunctorType* functor) : mFunctor(functor) {}
         void operator()(OperandType& subject)
         {
             (*mFunctor)(subject);
         }

         FunctorType* mFunctor;
     }; }

 void applyToAll(MyFunctor &f) {
     FunctorHelper<MyFunctor, int> tmp(&f);
     std::for_each(myvector.begin(), myvector.end(), tmp); }

干杯，

戴夫

Answer 1

您可以使用 function 中的函数适配器（及其垫片）。

#include <functional>

using namespace std;
for_each( vec.begin(), vec.end(), :mem_fun_ptr( &MyClass::f ) );

如果您的容器包含对象指针，请使用 mem_fun_ptr，否则使用 mem_fun。 除了这些之外，还有采用 1 个参数的成员函数的包装器：mem_fun1_ptr 和 mem_fun1。

@Evan：确实，您可以为每个对象调用具有相同参数的成员函数。 mem_fun1 包装器的第一个参数是 this 指针，第二个是成员函数参数：

for_each( vec.begin(), vec.end(), bind2nd( mem_fun_ptr( &MyClass::f ), 1 ) );

参数越多，自己创建循环或创建循环就变得更具可读性具有表示参数的 const 成员变量的自定义仿函数。

Answer 2

tr1::ref 可能会在这里帮助您 --- 它是一个引用包装器，以便您可以通过引用绑定或函数对象（甚至是抽象对象）通过引用标准算法来传递普通对象。

// requires TR1 support from your compiler / standard library implementation
#include <functional>

void applyToAll(MyFunctor &f) {
    std::for_each(
        myvector.begin(), 
        myvector.end(), 
        std::tr1::ref(f) 
    ); 
}

但是，请注意，不支持 decltype 的编译器可能会拒绝传递对抽象类型的引用...因此，在获得 C++0x 支持之前，此代码可能无法编译。

Answer 3

为什么不使用BOOST_FOREACH？

http://www.boost.org/doc/libs/ 1_35_0/doc/html/foreach.html

Answer 4

听起来你可以从 Boost::Function 中受益。

如果我没记错的话，它也是一个仅包含头文件的库，因此很容易使用它。

Answer 5

忘记函子指针的所有包装，而是使用怎么样？
绑定(functor_pointer,mem_fun1(&MyFunctor::operator());

作为函子？ 这样，您就不必担心以任何方式管理副本。

Answer 6

基于@xtofl的答案，由于数组包含int而不是“this”指针，我认为正确的咒语是

class MyClass
{
  virtual void process(int number) = 0;
};
MyClass *instance = ...;

for_each( vec.begin(), vec.end(), binder1st(instance, mem_fun_ptr(&MyClass::process) );

与@xtofl代码的唯一区别是binder1st而不是binder2nd。 binder2nd 允许您将相同的数字传递给各种“this”指针。 binder1st 允许您将各种数字传递给一个“this”指针。