如何用「可選參數」定義和使用boost :: function？

Question

我正在使用需要某種回調方法的類，所以我使用boost :: function來存儲函數指針。

我需要回調有一個可選的參數，但我發現的boost ::功能不會讓我定義可選參數的一種類型，所以我嘗試下面的代碼和它的工作..

//the second argument is optional 
typedef boost::function< int (int, char*)> myHandler; 

class A 
{ 
public: 
    //handler with 2 arguments 
    int foo(int x,char* a) {printf("%s\n",a); return 0;}; 
    //handler with 1 argument 
    int boo(int x) {return 1;};  
} 

A* a = new A; 
myHandler fooHandler= boost::bind(&A::foo,a,_1,_2); 
myHandler booHandler= boost::bind(&A::boo,a,_1);  

char* anyCharPtr = "just for demo"; 
//This works as expected calling a->foo(5,anyCharPtr) 
fooHandler(5,anyCharPtr); 
//Surprise, this also works as expected, calling a->boo(5) and ignores anyCharPtr 
booHandler(5,anyCharPtr); 

我很震驚，它的工作，問題是它應該工作，並且它是合法的嗎？
有沒有更好的解決方案？

Answer 1

在綁定 - >函數轉換中可能出現類型安全漏洞。 boost :: bind不會返回std :: function，而是一個非常複雜類型的函數對象。在

boost::bind(&A::boo,a,_1); 

的情況下如上述所示，返回的對象的類型是

boost::_bi::bind_t< 
    int, 
    boost::_mfi::mf1<int,A,int>, 
    boost::_bi::list2<boost::_bi::value<A*>, boost::arg<1> > 
> 

的std ::功能僅檢查所提供的功能目的是「相容的」，在這種情況下，無論它可用int作爲第一個參數和一個作爲第二個參數指向char。考察了*的boost :: bind_t *模板，我們可以看到，它確實有一個匹配的函數調用操作：

template<class A1, class A2> result_type operator()(A1 & a1, A2 & a2) 

在這個函數中的第二個參數最終被丟棄。這是設計。從文檔：Any extra arguments are silently ignored (...)