std :: function綁定到成員函數

Question

以下代碼無法在VS2012中編譯

class Zot
{
public:
    int A() { return 123; }
};

int _tmain(int argc, _TCHAR* argv[])
{
    std::function<int (Zot*)> fn = &Zot::A;
    return 0;
}

但是，將分配更改為

    std::function<int (Zot*)> fn = std::bind(&Zot::A, std::placeholders::_1);

有用嗎

有很多在線示例顯示原始語法。 在C ++ 11規范中有什么變化來禁止這種語法嗎？

是否有有效的簡短表格？

編輯 ：編譯器錯誤（為可重復性稍加編輯）是：

1>vc\include\functional(515): error C2664: 'std::_Func_class<_Ret,_V0_t>::_Set' : cannot convert parameter 1 from '_Myimpl *' to 'std::_Func_base<_Rx,_V0_t> *'
1>          with
1>          [
1>              _Ret=int,
1>              _V0_t=Zot *
1>          ]
1>          and
1>          [
1>              _Rx=int,
1>              _V0_t=Zot *
1>          ]
1>          Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast
1>          vc\include\functional(515) : see reference to function template instantiation 'void std::_Func_class<_Ret,_V0_t>::_Do_alloc<_Myimpl,_Fret(__thiscall Zot::* const &)(void),_Alloc>(_Fty,_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int,
1>              _V0_t=Zot *,
1>              _Fret=int,
1>              _Alloc=std::allocator<std::_Func_class<int,Zot *>>,
1>              _Fty=int (__thiscall Zot::* const &)(void)
1>          ]
1>          vc\include\functional(515) : see reference to function template instantiation 'void std::_Func_class<_Ret,_V0_t>::_Do_alloc<_Myimpl,_Fret(__thiscall Zot::* const &)(void),_Alloc>(_Fty,_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int,
1>              _V0_t=Zot *,
1>              _Fret=int,
1>              _Alloc=std::allocator<std::_Func_class<int,Zot *>>,
1>              _Fty=int (__thiscall Zot::* const &)(void)
1>          ]
1>          vc\include\functional(515) : see reference to function template instantiation 'void std::_Func_class<_Ret,_V0_t>::_Reset_alloc<_Fret,Zot,std::allocator<_Ty>>(_Fret (__thiscall Zot::* const )(void),_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int,
1>              _V0_t=Zot *,
1>              _Fret=int,
1>              _Ty=std::_Func_class<int,Zot *>,
1>              _Alloc=std::allocator<std::_Func_class<int,Zot *>>
1>          ]
1>          vc\include\functional(515) : see reference to function template instantiation 'void std::_Func_class<_Ret,_V0_t>::_Reset_alloc<_Fret,Zot,std::allocator<_Ty>>(_Fret (__thiscall Zot::* const )(void),_Alloc)' being compiled
1>          with
1>          [
1>              _Ret=int,
1>              _V0_t=Zot *,
1>              _Fret=int,
1>              _Ty=std::_Func_class<int,Zot *>,
1>              _Alloc=std::allocator<std::_Func_class<int,Zot *>>
1>          ]
1>          vc\include\functional(675) : see reference to function template instantiation 'void std::_Func_class<_Ret,_V0_t>::_Reset<int,Zot>(_Fret (__thiscall Zot::* const )(void))' being compiled
1>          with
1>          [
1>              _Ret=int,
1>              _V0_t=Zot *,
1>              _Fret=int
1>          ]
1>          vc\include\functional(675) : see reference to function template instantiation 'void std::_Func_class<_Ret,_V0_t>::_Reset<int,Zot>(_Fret (__thiscall Zot::* const )(void))' being compiled
1>          with
1>          [
1>              _Ret=int,
1>              _V0_t=Zot *,
1>              _Fret=int
1>          ]
1>          c:\..\cxx11.cpp(17) : see reference to function template instantiation 'std::function<_Fty>::function<int(__thiscall Zot::* )(void)>(_Fx &&)' being compiled
1>          with
1>          [
1>              _Fty=int (Zot *),
1>              _Fx=int (__thiscall Zot::* )(void)
1>          ]
1>          c:\...\cxx11.cpp(17) : see reference to function template instantiation 'std::function<_Fty>::function<int(__thiscall Zot::* )(void)>(_Fx &&)' being compiled
1>          with
1>          [
1>              _Fty=int (Zot *),
1>              _Fx=int (__thiscall Zot::* )(void)
1>          ]

Answer 1

以下語法有效且至少更短：

std::function<int (Zot*)> fn = std::mem_fn(&Zot::A);

Answer 2

是的，它應該工作。 對於std::function<R(ArgsTypes...)>任何適當構造函數（例如template<class F> function(F f); ）的函子參數的要求之一是：

對於參數類型ArgTypes ，f應為Callable （20.8.11.2）並返回類型R

（20.8.11.2.1 functionconstruct / copy / destroy [func.wrap.func.con]）

反過來，“ 可贖回為參數類型ArgTypes和返回類型R ”是一種標准准概念（因為缺乏的概念）在偽表達式來定義INVOKE(f, declval<ArgTypes>()..., R) 。 這個偽表達式統一了常規仿函數，這些仿函數使用通常的調用語法（例如f(a, b, c) ）調用，指向具有自己怪癖的成員（例如p->*a或(r.*a)(b, c) ）。 INVOKE在20.8.2要求[func.require]中定義。

此外，使用std::function的調用運算符的效果包括INVOKE(f, std::forward<ArgTypes>(args)..., R) （20.8.11.2.4函數調用[func.wrap.func。 inv]），意思是指向成員的'正確'的事情。

in the Standard, like std::bind , std::thread , std::reference_wrapper and std::result_of *. 實際上還有許多其他東西也在標准 Callable / 定義，比如std::bind ， std::thread ， std::reference_wrapper和std::result_of *。

*：特別是這意味着像

template<typename Functor>
typename std::result_of<Functor()>::type apply(Functor functor)
{ return std::forward<Functor>(functor)(); }

至少由於這個原因是有問題的。