如何一起的boost ::拉姆达::绑定

Question

我想一个通用的boost::function<void(void)>连接到许多的boost ::不同签名的signals2使用boost :: is_same在C++模板。我能使用Boot ::拉姆达::绑定通过将返回值作为绑定参数的一部分做结合部，但有一个问题，当返回类型为void

例子：

template<typename S> 
class signal 
{ 
Connection VoidConnect(boost::function<void(void)> callback) 
    { 
    //if(boost::is_same<void, typename S::result_type>::value) // Doesn't seem to work 
    if (boost::is_void<typename S::result_type>::value) // Doesn't seem to work 
    { 
     //GetSignal returns the actual boost signal 
     // typename 'S' will be a boost::function with the same signature as the signal 
     return GetSignal().connect(boost::lambda::bind(callback));   
    } 
    else 
    { 
     typename S::result_type f; 
     return GetSignal().connect((boost::lambda::bind(callback), f)); 
    } 
    } 
} 

我不断收到编译错误

error: variable or field ‘f’ declared void 
include/boost/function/function_template.hpp:132:42: error: void value not ignored as it ought to be 

由于可以从错误中，如果条件与升压:: is_void可以看出（既不是提高:: is_same）似乎并没有工作，有谁知道是什么原因？有没有更好的方法来做这个绑定？

感谢， 萨克

Answer 1

你检查在运行时这个条件，所以两个分支需要在编译时是正确的（他们显然不是）。 相反，只专注你的模板无效：

// WARNING: untested code! 

template<typename S> 
class signal 
{ 
Connection VoidConnect(boost::function<void(void)> callback) 
    { 
    typename S::result_type f; 
    return GetSignal().connect((boost::lambda::bind(callback), f)); 
    } 
}; 

template<> 
class signal <void> 
{ 
Connection VoidConnect(boost::function<void(void)> callback) 
    { 
    return GetSignal().connect(boost::lambda::bind(callback));   
    } 
}; 

如果你想在成员函数使用enable_if，你应该把它定义为一个模板。请看下面的代码：

#include <boost/signals2.hpp> 
#include <boost/utility/enable_if.hpp> 
#include <boost/type_traits/is_void.hpp> 
#include <boost/lambda/bind.hpp> 
#include <boost/lambda/lambda.hpp> 

using namespace boost::signals2; 
class connect 
{ 
public: 
    template<typename S> 
    connection VoidConnect(boost::function<void(void)> callback, S &sig, 
     typename boost::disable_if<boost::is_void<typename S::result_type> >::type *dummy = 0) 
    { 
    typename S::result_type res; 
    return sig.connect((boost::lambda::bind(callback), *res)); 
    } 

    template<typename S> 
    connection VoidConnect(boost::function<void(void)> callback, S &sig, 
     typename boost::enable_if<boost::is_void<typename S::result_type> >::type *dummy = 0) 
    { 
    return sig.connect(boost::lambda::bind(callback));   
    } 

}; 


int main() 
{ 
    boost::function<void(void)> f; 
    signal<void(int)> sig1; 
    connect s1; 
    s1.VoidConnect(f, sig1); 

    signal<int(int)> sig2; 
    connect s2; 
    s2.VoidConnect(f, sig2); 
}