C++ sovraccarico: stringa letterale vs boost :: funzione ambiguità

Question

mio codice problema:

#include <string> 
#include <boost/function.hpp> 

void func (const std::string&) {} 
void func (const boost::function<void()>&) {} 

int main() { 
    func (main); // good 
    func ("bad"); 
    return 0; 
} 

=>

error: call of overloaded ‘func(const char [4])’ is ambiguous 
overload.cpp:4: note: candidates are: void func(const std::string&) 
overload.cpp:5: note:     void func(const boost::function<void()()>&) 

So che potrei risolvere questo chiamando esplicitamente func (string ("cattivo ")); o fornendo una funzione (const char *), ma mi chiedo se c'è un modo per mantenere il lato del chiamante come nell'esempio e senza introdurre più sovraccarichi.

Forse qualcosa con boost :: enable_if? Grazie per eventuali suggerimenti.

Answer 1

non si può facilmente risolvere questo problema. boost::function<> e std::function<> non supportano solo i functors richiamabili da f(), ma puntano anche ai membri richiamabili da (secondArg.*firstArg)() e membri di dati, quindi i loro costruttori fondamentalmente eseguono lo slurp di tutto e decidono in seguito cosa fare del tipo.

Non è affatto banale scrivere una classe di test SFINAE che protegge da conversioni implicite (e non sono nemmeno sicuro se sarebbe possibile, dal momento che la libreria Standard non lo fa. qualche ragione). Ricorda che un tipo può essere chiamabile a causa di molte proprietà differenti - potrebbe avere una funzione di conversione per funzionare con il tipo di puntatore ecc. Pp. Scrivere una classe SFINAE che potrebbe fare questo lavoro significa rifiutare una conversione implicita in alcuni casi e accettare una conversione implicita in altri casi basati su proprietà davvero non ovvie.

Se si desidera evitare questa ambiguità, proverei semplicemente a scegliere un nome di funzione diverso o se si tratta di un problema one-shot, eseguire il cast sul lato del chiamante.

Answer 2

aggiungere questo:

void func (const char *s) { func(string(s)); } 

aggiornamento

template<class A0, ...> 
void func (const A0 &a0, ...) { 
    func(argize(a0), ...); // convert chars to strig, otherwise jut pass 
}