キャプチャレスラムダはstd :: functionに格納されているときに関数ポインタに変換できません

Question

通常、Cスタイルの関数ポインタにキャプチャなしのC++ラムダshould be convertableがあります。何らかの形で、std::function::targetを使用して変換すると機能しません（つまりnullptrを返します）。target_typeも同じであるように見えますが、署名の種類に一致しません。 VC13とGCC 5.3/5.2.0でテスト

/4.8

最小限試験例：出力

0 
0 
1 
<address> 

1 
<address> 
1 
<address> 

実際の出力であろうと予想

#include <functional> 
#include <iostream> 

void Maybe() { 

} 

void callMe(std::function<void()> callback) { 
    typedef void (*ftype)(); 
    std::cout << (callback.target_type() == typeid(ftype)) << std::endl; 
    std::cout << callback.target<ftype>() << std::endl; 
} 

int main() { 
    callMe([]() {}); 
    callMe(Maybe); 
} 

質問：ラムダの署名が渡された関数と異なるのはなぜですか？

Answer 1

最初の呼び出しでは、std::functionはラムダをポインタに崩壊させずに、実際のタイプ（実際にはvoid()ではない）でポインタを格納するだけです。

あなたは、単に単項+を使用することにより、後者でstd::functionを構築前にポインタに崩壊するラムダを強制することができます。

callMe(+[](){}); 
// ^