C++ przeciążenie: string literal vs. boost :: function dwuznaczności

Question

mój kod Problem:

#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()()>&) 

wiem mogę rozwiązać ten problem przez jawne wywołanie func (ciąg ("zły ")); lub przez zapewnienie func (const char *), ale zastanawiam się, czy istnieje sposób na zachowanie strony wywołującej, jak w przykładzie i bez wprowadzania większej liczby przeciążeń.

Może coś z doładowaniem :: enable_if? Dzięki za wszelkie wskazówki.

Answer 1

nie można łatwo rozwiązać ten problem. boost::function<> i std::function<> nie obsługują tylko funktorów wywoływanych przez f(), ale także wskaźnika dla członków wymuszanych przez (secondArg.*firstArg)() i elementów danych, więc ich konstruktorzy w zasadzie wszystko sypią, a później decydują, co zrobić z typem.

Nie jest wcale banalnie napisać taką klasę testową SFINAE, która chroni przed niejawnymi konwersjami (i nie jestem nawet pewien, czy byłoby to w ogóle możliwe, ponieważ biblioteka standardowa tego nie robi. jakiś powód). Pamiętaj, że typ może być wywoływalny ze względu na wiele różnych właściwości - może mieć funkcję konwersji do funkcji typu wskaźnika itp. Pisanie klasy SFINAE, która może sprawić, że ta praca będzie oznaczać odrzucenie niejawnej konwersji w niektórych przypadkach i zaakceptowanie niejawnej konwersji w inne przypadki oparte na naprawdę nieoczywistych właściwościach.

Jeśli chcesz uniknąć tej niejednoznaczności, chciałbym po prostu wybrać inną nazwę funkcji lub jeśli jest to jednorazowy problem, wykonaj odlewanie po stronie dzwoniącego.

Answer 2

dodać to:

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

aktualizacja

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