使用shared_ptr增强lambda

Question

如果我有一个名为 Base 的多态基类以及从 Base 继承的类 Derived1 和 Derived2。然后我可以使用 boost::lambda 创建某种工厂。类似于：（

typedef boost::function<Base *()> Creator;
std::map<std::string,Creator> map1;
map1["Derived1"] = boost::lambda::new_ptr<Derived1>();
map1["Derived2"] = boost::lambda::new_ptr<Derived2>();

这不是真正的代码，我只是想说明问题。）

这是有效的，因此我可以使用字符串在映射中进行查找，然后调用 lambda 函数来实例化该类。一切都好。

问题在于它处理的是原始指针，我更喜欢使用智能指针（std::shared_ptr）。

因此，如果我从： 更改

typedef boost::function<Base *>() Creator;

为：

typedef boost::function<std::shared_ptr<Base> >() Creator;

那么我就会从这里陷入困境。我尝试过将 boost::lambda::bind 与 boost::lambda::new_ptr 结合使用，但我运气不佳，无法克服编译错误。 （大量与模板相关的错误输出。）

我检查了 StackOverflow 中的其他类似消息，使用 boost::bind 和 boost::lambda::new_ptr 返回一个shared_ptr构造函数 是接近的，但是如果我尝试应用其解决方案，但出现上述模板错误。

如果有帮助的话，我很乐意提供示例代码和实际错误，但希望上述信息足够了。我在 GCC 4.6 上使用 boost 1.47.0，在 Fedora 15 上使用 4.7 快照。

Answer 1

class Base { 
public:
    virtual ~Base() = 0;
};
Base::~Base() {}

class Derived1 : public Base {};
class Derived2 : public Base {};

typedef boost::shared_ptr<Base> BasePtr;

typedef boost::function<BasePtr()> Creator;
template <typename T>
Creator MakeFactory()
{
    namespace la = boost::lambda;
    return la::bind( 
        la::constructor<BasePtr>(), 
        la::bind(la::new_ptr<T>()));
}

int _tmain(int argc, _TCHAR* argv[])
{
    std::map<std::string,Creator> map1;    
    map1["Derived1"] = MakeFactory<Derived1>();
    map1["Derived2"] = MakeFactory<Derived2>();
    BasePtr p1 = map1["Derived1"]();
    BasePtr p2 = map1["Derived2"]();

    return 0;
}

然而，当你可以写时为什么要这么麻烦：

template <typename T>
BasePtr MakeFactoryImpl()
{
    return BasePtr(new T());
}
template <typename T>
Creator MakeFactory()
{
    return Creator(&MakeFactoryImpl<T>);
}

Answer 2

这是一个常见问题。两种类型相关（在您的情况下是通过继承）这一事实并不意味着具有这两种类型的模板的实例化保持相同的关系。

解决方案是始终返回 shared_ptr，因为它可以保存指向 Base 或任何派生类型的指针，这将在语义上与您当前的版本兼容（即在两个版本的调用者都会获得一个指向Base的（智能）指针

顺便说一句，我会避免从工厂返回shared_ptr，因为你在强迫你的我更愿意返回一个原始指针（用户可以选择，但在某些情况下这是危险的）或一个 unique_ptr 甚至 auto_ptr< /code>，这是安全的，并且仍然允许用户选择不同的机制（即，如果您的函数返回 auto_ptr，用户仍然可以通过执行以下操作来使用 shared_ptr shared_ptrp( f().release() );，而相反的情况是不可能的（shared_ptr 管理的内存不能释放 用于不同的智能指针。

Answer 3

这个快速而肮脏的返回类型适配器不仅适用于将返回类型从 Derived* 转换为 Base*，而且适用于任何可转换类型之间。为了简单起见，函数对象不带参数。使用 C++11 可变参数模板，应该可以轻松添加任意参数处理。请随意以任何您希望的方式改进这一点。

template <typename ToType>
class return_type_adapter
{    
    template <typename toType>
    class return_type_adapter_impl_base
    {
      public:
        virtual toType call() = 0;
    };

    template <typename toType, typename Func>
    class return_type_adapter_impl : public return_type_adapter_impl_base<toType>
    {
      public:
        return_type_adapter_impl (Func func) : func(func) {}
        toType call() { return toType(func()); }
      private:
        Func func;
    };

    boost::shared_ptr<return_type_adapter_impl_base<ToType> > impl_base;

  public:
    ToType operator() () { return impl_base->call(); }

    template <typename Func>
    return_type_adapter (Func func) :
        impl_base(new return_type_adapter_impl<ToType, Func>(func)) {}
};

Answer 4

map1["Derived1"] = boost::lambda::bind(
    boost::lambda::constructor<boost::shared_ptr<Base>>(),
    boost::lambda::bind(
        boost::lambda::new_ptr<Derived1>()));
map1["Derived2"] = boost::lambda::bind(
    boost::lambda::constructor<boost::shared_ptr<Base>>(),
    boost::lambda::bind(
        boost::lambda::new_ptr<Derived2>()));

但老实说，在这种复杂程度下，再使用 boost lambda 已经没有任何意义了。更简单的解决方案：

template<typename DerivedType>
boost::shared_ptr<Base> makeDerived() {
    return boost::shared_ptr<Base>(new DerivedType);
}
[...]

    map1["Derived1"] = makeDerived<Derived1>;
    map1["Derived2"] = makeDerived<Derived2>;