Erstellt ein Parameter std :: optional eine Kopie?

Question

Ich habe eine Funktion, die ein std :: optional

void foo(const std::optional<T>& opt);

Aber Kopieren T nimmt, ist expencive.

Erstellt dies eine Kopie von T?

Wenn ja, wie kann ich keine Kopie erstellen?

Answer 1

Ich denke, Sie finden nützliche . Siehe Abschnitt "Optionale Funktionsparameter".

Wenn Sie die Funktion aufrufen und eine Instanz von T übergeben, wird ein optionales Konstrukt erstellt, das seine eigene Kopie von T besitzt. Daher ruft es Ts Kopierkonstruktor auf.

int main() 
{ 
    T t; 
    optional<T> ot; 
    foo(t); // will create a copy 
    foo(ot); // won't create a copy 
} 

Um in der Lage sein, foo zu rufen und ein T passieren, ohne eine Kopie zu erstellen, können Sie foo als Aufnahme eine optionale Referenz, dh

void foo(optional<const T&> t)