Dlaczego std:: queue:: pop nie zwraca wartości.?

Strona, którą podlinkowałeś odpowiada na twoje pytanie.

Zacytuję całą sekcję:

Można się zastanawiać, dlaczego pop() zwraca void, zamiast value_type. To znaczy, dlaczego trzeba użyć funkcji front() i pop (), aby sprawdzić i usunąć element z przodu kolejki, zamiast łączyć te dwa elementy w jedną funkcję członkowską? W rzeczywistości istnieje dobry powód dla tego projektu. Jeśli pop() zwróci element przedni, będzie musiał zwracać wartość, a nie referencję: return by reference utworzy zwisający wskaźnik. Zwracanie przez wartość jest jednak nieefektywne: wymaga co najmniej jednego nadmiarowego wywołania konstruktora kopiującego. Ponieważ nie jest możliwe, aby pop() zwracała wartość w taki sposób, aby była zarówno efektywna, jak i poprawna, rozsądniejsze jest zwrócenie żadnej wartości i wymaganie od klientów użycia funkcji front() do sprawdzenia wartości z przodu kolejki.

C++ został zaprojektowany z myślą o wydajności, nad liczbą wierszy kodu programista musi pisać.

Pop nie może zwrócić odniesienia do wartości, która jest usuwana, ponieważ jest usuwana ze struktury danych, więc do czego powinno się odnosić odniesienie? Może zwracać wartość, ale co, jeśli wynik pop nie jest nigdzie zapisywany? Wtedy czas jest marnowany na niepotrzebne kopiowanie wartości.

W obecnej implementacji jest to ważne:

int &result = myqueue.front();
std::cout << result;
myqueue.pop();

Jeśli pop zwróci referencję, w ten sposób:

value_type& pop();

Następnie poniższy kod może ulec awarii, ponieważ odniesienie nie jest już ważne:

int &result = myqueue.pop();
std::cout << result;

Z drugiej strony, jeśli zwróci wartość bezpośrednio:

value_type pop();

Wtedy trzeba by zrobić kopię, aby ten kod zadziałał, co jest mniej efektywne:

int result = myqueue.pop();
std::cout << result;

Począwszy od C++11 możliwe byłoby archiwizowanie pożądanych zachowań za pomocą semantyki move. Jak pop_and_move. Tak więc Konstruktor kopiujący nie zostanie wywołany, a wydajność będzie zależeć tylko od konstruktora move.

Możesz to zrobić:

std::cout << ' ' << myqueue.front();

Lub, jeśli chcesz mieć wartość w zmiennej, użyj referencji:

const auto &result = myqueue.front();
if (result > whatever) do_whatever();
std::cout << ' ' << result;

Obok: sformułowanie "bardziej rozsądne" jest subiektywną formą "przyjrzeliśmy się wzorcom użytkowania i stwierdziliśmy większą potrzebę podziału". (Zapewniam: język C++ nie rozwija się lekko...)

Myślę, że najlepszym rozwiązaniem byłoby dodanie czegoś w rodzaju

std::queue::pop_and_store(value_type& value);

Gdzie wartość otrzyma wartość popped.

Zaletą jest to, że można go zaimplementować za pomocą operatora przyporządkowania ruchu, podczas gdy użycie front + pop zrobi kopię.