std :: funzione e il comportamento

Question

std :: bind ho questo codice:

#include <iostream> 
#include <functional> 
#include <vector> 

void fun() 
{ 
    std::cout<<"fun"; 
} 

void gun(int) 
{ 
    std::cout<<"gun"; 
} 

int main() 
{ 
    std::vector<std::function<void(int)>> vec; 

    vec.push_back(std::bind(fun)); 
    vec.push_back(gun); 

    vec[0](1); 
    vec[1](2); 
} 

Può spiegare come sia possibile per std::bind tornare std::function<void(int)> quando vincolante void() funzione?

Come è possibile chiamare la funzione void() utilizzando il functor void(int)?

Answer 1

La firma passata come argomento modello per function determina solo quanti segnaposti (_1) verranno associati e come tipi.

L'invocazione della funzione effettiva utilizza solo il numero di argomenti effettivamente richiesti dalla funzione associata. In effetti, il parametro superfluo viene ignorato. (?)

Un altro, più illuminante esempio, guardando questo dal lato opposto:

#include <iostream> 
#include <functional> 

void gun(int i) 
{ 
    std::cout<<"gun("<<i<<")"; 
} 

int main() 
{ 
    using namespace std::placeholders; 
    std::bind(gun, _5)("ignore", 3, "and", 4, 43); 
} 

Stampe

gun(43) 

Answer 2

Come è possibile chiamare void() funzione utilizzando void(int) funtore?

std::bind(fun) non restituisce una funzione void(), restituisce un wrapper chiamata di tipo non specificato.

Il modo normale di invocare tale involucro chiamata sarebbe con zero argomenti, ma nella maggior parte delle implementazioni di bind() questo tipo può essere chiamato con zero o più argomenti e gli argomenti aggiuntivi viene ignorato (cioè non passati al bersaglio funzione)

più in generale, per una funzione F prendendo N argomenti, bind(F) restituisce un involucro chiamata che può essere chiamato con N o più argomenti. Se si associano argomenti o si utilizzano segnaposti, questo modificherà il numero minimo di argomenti necessari per richiamare il call wrapper.