Warum verursacht die Anzahl der Elemente in einer Initialisierungsliste einen mehrdeutigen Aufruffehler?

Question

Warum sind die ersten beiden Aufrufe an doSomething OK vom Compiler, aber die Verwendung von zwei Elementen in der Liste verursacht einen mehrdeutigen Aufruf?

#include <vector> 
#include <string> 

void doSomething(const std::vector<std::string>& data) {} 

void doSomething(const std::vector<int>& data) {} 

int main(int argc, char *argv[]) 
{ 
    doSomething({"hello"}); // OK 
    doSomething({"hello", "stack", "overflow"}); // OK 
    doSomething({"hello", "stack"}); // C2668 'doSomething': ambiguous call 

    return 0; 
} 

Answer 1

Was hier passiert, ist, dass in der Zwei-Element-Initialisiererliste beide String-Literale implizit in const char* konvertiert werden können, da ihr Typ const char[N] ist. Jetzt hat std::vector einen Konstruktor, der zwei Iteratoren benötigt, für die sich die Zeiger qualifizieren. Aus diesem Grund steht der initializer_list-Konstruktor von im Konflikt mit dem Iterator-Bereichskonstruktor std::vector<int>.

Wenn wir den Code stattdessen ändern

doSomething({"hello"s, "stack"s}); 

werden dann die Elemente der Initialisiererliste sind jetzt std::string s so keine Zweideutigkeit gibt.

Answer 2

Sowohl die einargumentigen und drei Argument Listen können nur std::vector<std::string> ‚s std::initializer_list Konstruktor entsprechen. Allerdings entspricht die zweiArgumentListe einer der Konstrukteure von std::vector<int>:

template <class InputIt> 
vector(InputIt first, InputIt last, Allocator const &alloc = Allocator()); 

der Tat kann ein char const * erhöht werden, und dereferenziert einen char zu erhalten, die implizit konvertierbar zu einem int ist.

Answer 3

"hello" und "stack" beide zerfallen zu const char *, die das InputIterator Konzept erfüllt. Dadurch können sie std::vector's constructor #4 entsprechen.

Wenn Sie std::string Objekte übergeben, ist die Mehrdeutigkeit behoben.