Perché è possibile chiamare una funzione BoostBind con parametri aggiuntivi?

Question

#include <iostream> 
#include <string> 

#include <boost/bind.hpp> 

void foo(std::string const& dummy) 
{ 
    std::cout << "Yo: " << dummy << std::endl; 
} 

int main() 
{ 
    int* test; 
    std::string bar("platypus"); 
    (boost::bind(&foo, bar))(test, test, test, test, test, test, test, test); 
} 

Quando eseguito, esso stampa, "Yo: ornitorinco." Sembra ignorare completamente i parametri extra. Mi aspetterei di ottenere un errore di compilazione. Ho accidentalmente introdotto un bug nel mio codice in questo modo.

Answer 1

Non so perché questo è consentito, ma so che è un comportamento previsto. Da here:

bind può gestire funzioni con più di due argomenti, e il suo meccanismo di sostituzione tesi è più generale:

bind(f, _2, _1)(x, y);     // f(y, x) 
bind(g, _1, 9, _1)(x);     // g(x, 9, x) 
bind(g, _3, _3, _3)(x, y, z);   // g(z, z, z) 
bind(g, _1, _1, _1)(x, y, z);   // g(x, x, x) 

noti che, nell'ultimo esempio, l'oggetto funzione prodotto da bind (g, _1, _1, _1) non contiene riferimenti a tutti gli argomenti oltre il prima, ma per essere utilizzato con più di un argomento. Eventuali argomenti aggiuntivi vengono ignorati automaticamente (emphasis mine), solo come il primo e il secondo argomento vengono ignorati nel terzo esempio.

Answer 2

Scommetto che è la creazione della funzione di limite come una funzione variadic, come printf.