Dlaczego ta obsada jest niejednoznaczna?

Question

Mam klasę, którą napisałem, która nie usuwa typu. Interfejs publiczny to:

template <typename T> 
value(const T &t); 

value(value &&v); 

template <typename T> 
operator T() const; 

Kiedy tworzę instancję wartości ze std :: string, nie mam żadnych problemów, wszystko działa zgodnie z oczekiwaniami. Kiedy próbuję uzyskać std :: string z powrotem, używając static_cast<std::string>(val), gdzie val jest instancją wartości, która trzyma std :: string, pojawia się następujący komunikat o błędzie z VS2012:

błędu C2440: ' static_cast „: nie można przekonwertować z«value»do std :: string”

nie konstruktora może trwać rodzaj źródła, lub rozdzielczość przeciążenie konstruktor był niejednoznaczny

Gdybym wykomentuj operatora cast szablonie i dodać operator std::string() const następnie kompiluje. Sądzę, że coś pomiędzy konstruktorami std :: string a operatorem rzutowania szablonowego ma taką samą dobroć dopasowania. Czy ktoś mógłby zasugerować, co się dzieje i jak to naprawić?

Answer 1

Igor wyjaśnił problem. Oto moje sugerowane rozwiązanie:

Twoja klasa jest przeznaczona wyłącznie do przechowywania jednego typu obiektów naraz, więc wyraź to wyraźnie. Wymień funkcje konwersji z prawdziwą funkcją:

template <typename T> 
T get() const; 

Teraz nazywają to tak:

std::string myString = myValue.get<std::string>(); 

Nie dwuznaczności. Nie ma szans na wywołanie niewłaściwej funkcji i zepsucie wszystkiego. I twierdzę, że jest teraz bardziej czytelny.

Answer 2

std::string ma kilka konstruktorów, które można wywołać z jednym parametrem - np. jeden pobierający const string&, a drugi pobierający const char*. Do czego zatem należy się ustosunkować pod T?

od C++ standardzie:

5.2.9p4 W przeciwnym przypadku ekspresji E można bezpośrednio przekształcić w rodzaju T stosując static_cast formy static_cast<T>(e) jeżeli zgłoszenie T t(e); jest sensowne dla niektórych wynalazł zmienna tymczasowa t.

W twoim przypadku deklaracja std::string t(val); jest źle sformułowana.

Answer 3

Następujące prace z std :: string (jeśli możesz zwrócić referencję).

static_cast<const std::string&>(val);