Czy poprawne jest posiadanie dwóch niejawnych rzutów podczas konstruowania obiektu w C++?

Question

Biorąc pod uwagę następujące dwa sygnatury konstruktora, czy powinno być możliwe zbudowanie Couple z Couple("George", "Nora")? Mój kompilator uskarża się z błędem pokazanym poniżej. Jeśli zadzwonię pod numer Couple(std::string("George"), std::string("Nora")), kompiluje się OK. Zgaduję, że istnieje pewien problem z niejawnym castingiem, który zaskakuje mnie, ponieważ chciałem, żeby char * na string był w porządku.

class Person 
{ 
    public: 
     Person(const std::string& name); 
}; 

class Couple 
{ 
    public: 
     Coordinate(const Person& p1, const Person& p2, const Optional<Person>& = Optional<Person>()); 
}; 

TestCouple.cpp:69: error: no matching function for call to `Couple::Couple(const char[7], const char[5])' 
TestCouple.h:24: note: candidates are: Couple::Couple(const Person&, const Person&, const Optional<fox::Person>&) 

Answer 1

Rzeczywiście, sekwencja konwersja nie może zawierać więcej niż jedną grupę użytkowników niejawny zdefiniowana konwersja; standard określa to w C++ 11 12.3/4:

Co najwyżej jedna zdefiniowana przez użytkownika konwersja (konstruktor lub funkcja konwersji) jest niejawnie zastosowana do pojedynczej wartości.

W twoim przypadku, dwa byłyby wymagane (char const[] do std::string do Person), a więc niejawna konwersja nie jest możliwa.

Answer 2

Masz rację, że wystąpił problem z niejawną konwersją. Wykona tylko jedną niejawną konwersję dla wartości, więc możesz na przykład wykonać: Couple(std::string("a"), std::string("b")) lub Couple(Person("a"), Person("b")), ale Couple("a", "b") wymagałoby kompilatora, aby umieścić dwie niejawne konwersje na wartość. Nie jest to dozwolone przez standard, ponieważ spowodowałoby to kod, który może być trudny do zrozumienia i skompilowany kosztowo.

Answer 3

Łańcuchowa niejawna konwersja jest niedozwolona. Jeśli A można niejawnie przekonwertować do B i B można niejawnie przekonwertować do C, to nie znaczy, że A można niejawnie przekonwertować do C.

//given three objects as 
A a; 
B b' 
C c; 

//premises 
b = a; //a can convert into b (implicitly) 
c = b; //b can convert into c (implicitly) 

//then it does not follow this 
c = a; //a CANNOT convert into c (implicitly) 

//you need to write this at least 
c = static_cast<B>(a); //ok