Captureless lambda nie może zostać przekonwertowany na wskaźnik funkcji, gdy jest przechowywany w std :: function

Question

Zwykle lambda C++ bez przechwytywania should be convertable do wskaźnika funkcji w stylu c. W jakiś sposób przekonwertowanie go za pomocą std::function::target nie działa (tzn. Zwraca wartość nullptr), ale także target_type nie pasuje do typu podpisu, mimo że wygląda na to samo.

Testowane na VC13 i GCC 5,3/5.2.0/4,8

minimalna przykład badania:

#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); 
} 

oczekiwany wynik byłby

1 
<address> 
1 
<address> 

rzeczywista moc

0 
0 
1 
<address> 

Pytanie brzmi: dlaczego znak lambda różni się od funkcji przekazanej?

Answer 1

Podczas pierwszego połączenia, std::function nie przejmuje się rozkładaniem lambda na wskaźnik, tylko przechowuje go, z jego rzeczywistym typem (który w rzeczywistości nie jest void()).

Można wymusić lambda na próchnicę do wskaźnika przed tworzącego std::function ze ten ostatni po prostu za pomocą jednoskładnikowa +:

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