Question

std :: bind的返回类型是（故意）未指定的。它在std :: function中是 storable 。

下面的示例程序显示了如何将std :: bind（）返回的临时对象显式转换为std :: function以调用fn1（）。

如果std :: bind的返回类型是可知的，我可以重载Callback构造函数＆amp;将不再需要显式地转换std :: bind临时对象。

有没有办法避免显式演员？

// g++ -std=c++11 test.cxx
#include <functional>

using std::placeholders::_1;

class A
{
    public:
        void funcA (int x) { }
};

class Callback
{
    public:
        Callback () = default;
        Callback (std::function<void(int)> f) { }
        // Wish we knew the return type of std::bind()
        // Callback (return_type_of_std_bind f) { }
};

void fn0 (std::function<void(int)> f) { }
void fn1 (Callback cb) { }

int main (void)
{
    A a;
    fn0(std::bind(&A::funcA, &a, _1)); // ok
    fn1(std::function<void(int)>(std::bind(&A::funcA, &a, _1))); // ok, but verbose
    fn1(std::bind(&A::funcA, &a, _1)); // concise, but won't compile
}

可能不相关，但我在Linux上使用gcc 4.7.2。

Answer 1

最好给Callback一个通用构造函数：

struct Callback
{
    typedef std::function<void(int)> ftype;
    ftype fn_;

    template <typename T,
              typename = typename std::enable_if<std::is_constructible<ftype, T>::value>::type>
    Callback(T && f) : fn_(std::forward<T>(f))
    { }
};

（我添加了第二个默认模板参数，只为该语句有意义的类型T启用此构造函数，以便不创建错误的可转换属性。）注意此技术如何删除一个隐式用户 - 通过为fn_调用显式构造函数来定义转换链的转换。

如何避免使用std :: bind（）临时对象进行显式转换？

1 个答案: