std :: bind与指向函数对象的指针

Question

给定一个指向函数对象的指针:

std::shared_ptr<std::function<double(double)>> f;

在C++ 11中是否有一个内置的构造允许在std::bind语句中使用这个指针？例如:

std::function<double()> g = std::bind(built_in(f), 0.0);

我正在做的是使用variadic模板:

template<typename Ret, typename... Args>
std::function<Ret(Args...)> get_fn(const std::shared_ptr<std::function<Ret(Args...)>>& f)
{
    return [=](Args... args) -> Ret { return (*f)(args...); };
}

这允许我写:

std::function<double()> g = std::bind(get_fn(f), 0.0);

提前致谢.

编辑:我应该更清楚.我需要在共享指针内使用函数对象的实例以进行优化.

Answer 1

如果我们有一个用于解引用运算符的标准函数对象（很像std::plus<T>添加Twith T），那么我们可能会涉及一个嵌套的绑定表达式，但事实并非如此——另外，我们需要一个调用运算符，因为通常的替换需要嵌套绑定表达式求值期间的位置不适用于第一个参数！您的解决方案引入了一个额外的std::function，因此我提出了一些没有的替代方案。

编写您自己的调用和取消引用运算符：

struct call {
    template<typename Callable, typename... Args>
    auto operator()(Callable&& callable, Args&&... args) const
    // don't use std::result_of
    -> decltype( std::declval<Callable>()(std::declval<Args>()...) )
    { return std::forward<Callable>(callable)(std::forward<Args>(args)...); }
};

struct dereference {
    template<typename T>
    auto operator()(T&& t) const
    -> decltype( *std::declval<T>() )
    { return *std::forward<T>(t); }
};

template<typename IndirectCallable, typename... Args>
auto indirect_bind(IndirectCallable&& f, Args&&... args)
-> decltype( std::bind(call {}
                       , std::bind(dereference {}, std::declval<IndirectCallable>())
                       , std::declval<Args>()... ) )
{ return std::bind(call {}
                   , std::bind(dereference {}, std::forward<IndirectCallable>(f))
                   , std::forward<Args>()... ); }

然后你就可以做auto g = indirect_bind(f, 0.0);. 这是一个概念验证，还展示了如何正确处理占位符。

我提到上述解决方案是因为函子喜欢call并且dereference是有用的砖块 - 我个人将它们包含在我的工具中。然而，我首选的解决方案是编写一个多态函子来一次性进行间接和调用：

template<typename Indirect>
struct indirect_callable_type {
    // Encapsulation left as an exercise
    Indirect f;

    template<typename... Args>
    auto operator()(Args&&... args)
    // don't use std::result_of
    -> decltype( std::declval<Indirect&>()(std::declval<Args>()...) )
    { return f(std::forward<Args>(args)...); }

    template<typename... Args>
    auto operator()(Args&&... args) const
    // don't use std::result_of
    -> decltype( std::declval<Indirect const&>()(std::declval<Args>()...) )
    { return f(std::forward<Args>(args)...); }

    // Lvalue and rvalue *this version also left as an exercise
};

template<typename T>
indirect_callable_type<typename std::decay<T>::type>
make_indirect_callable(T&& t)
{ return { std::forward<T>(t) }; }

事实上，您可以将其用作auto g = std::bind(make_indirect_callable(f), 0.0);.

我应该提到，与您的解决方案不同，这些需要编写一些不合规的类型。由于 lambda 表达式的固有限制，这是一种不幸的情况。如果您希望坚持使用当前拥有的内容，我有一个小建议，即在 lambda 中添加std::forward<Args>(args)...参数。如果您曾经处理过仅移动类型，这可能会很有用。