Funktion Vorlage Überlastungen Auflösung Verwirrung

Question

Ich frage mich, wie Anrufe für diese beiden Überlastungen von std::make_optional aufgelöst werden:

template< class T > 
constexpr std::optional<std::decay_t<T>> make_optional(T&& value); 

template< class T, class... Args > 
constexpr std::optional<T> make_optional(Args&&... args); 

Ich weiß Aufruf ohne explizites Template-Argument wie make_optional(123) die ersten nennen, aber wie wäre es make_optional<int>(123)? Welche Überladung wird ausgewählt und nach welchen Regeln?

UPDATE: Und wenn ich make_optional<string>("hello world") schreiben sagen, werde ich die zweite Überlastung Aufruf (auch wenn der String kann implizit in ein string umgewandelt werden), richtig?

Answer 1

Die Überladungsauflösung beginnt mit der Bestimmung der brauchbaren Kandidaten, der Auswahl desjenigen mit der besten Konvertierungssequenz und der anschließenden Durchsicht der Tiebreaker.

---

make_optional(123) hat nur ein brauchbarer Kandidat, da T ist ein nicht-abgeleitete Kontext in der zweiten Überlastung. Somit ist es trivialerweise der beste mögliche Kandidat.

---

make_optional<int>(123) gibt uns zwei geeignete Kandidaten:

• make_optional(int&&) mit [T=int]
• make_optional<int>(int&&) mit [T=int, Args={int}]

Die Funktion identische Argumente (int&&), so dass sie trivialerweise gleich lebensfähig mit identischen Umwandlungssequenzen. Die erste Überladung ist eine speziellere Funktionsvorlage als die zweite Überladung (da sie ein einzelnes Argument anstelle eines variadischen Pakets benötigt), also ist es die bevorzugte Variante.

---

make_optional<string>("hello world") gibt uns zwei geeignete Kandidaten:

• make_optional(string&&) mit [T=string]
• make_optional<string>(const char(&)[12]) mit [T=string, Args={const char (&)[12]}]

Hier sind die beiden Funktionen übernehmen nicht die gleiche Argument - die erste Nimmt eine string&& (die eine benutzerdefinierte Konvertierung aus dem Zeichenfolgenliteral erfordern würde) und th Die Sekunde dauert eine const char(&)[12] (was eine genaue Übereinstimmung ist). Daher hat die zweite Überladung die bessere Umwandlungssequenz und ist bevorzugt.