Was ist die Design-Grundidee hinter der Resize-Methode von std :: vector?

Dies scheint ein Konstruktionsfehler zu sein, es wurde jetzt behoben.

Zitieren von STL-Fehlern 679

  

Der C ++ 98-Standard gibt an, dass eine Mitgliedsfunktion des Containers seinen Parameter (T) nur als Wert anstatt als const-Verweis übergibt:

     

void resize (Größe_typ sz, T c = T ());

     

Diese Tatsache wurde im Laufe der Jahre immer wieder diskutiert / debattiert, das erste Mal, bevor C ++ 98 ratifiziert wurde. Der Grund dafür, diesen Parameter als Wert zu übergeben, war:

     

Damit funktionieren diese Anweisungen, die auf sich selbst beziehen, zum Beispiel:

%Vor%      

Jedoch ist diese Begründung nicht überzeugend, da die Signatur für push_back lautet:

%Vor%      

Und push_back hat eine ähnliche Semantik zur Größenanpassung (append). Und push_back muss auch im Fall der Selbstreferenzierung funktionieren:

%Vor%      

Das Problem bei der Weitergabe von T nach Wert ist, dass es erheblich teurer sein kann als die Weitergabe als Referenz. Das Gegenteil ist auch richtig, wenn es jedoch wahr ist, ist es normalerweise viel weniger dramatisch (z.B. für skalare Typen).

     

Selbst wenn die Bewegungssemantik verfügbar ist, kann das Übergeben dieses Parameters nach Wert teuer sein. Betrachten Sie zum Beispiel Vektor & gt;:

%Vor%      

Im pass-by-value-Fall wird x einmal in den Parameter resize kopiert. Und dann intern: Da der Code nicht zur Kompilierzeit wissen kann, um wie viel Größe der Vektor wächst, wird x in der Regel ein zweites Mal aus dem Größenänderungs-Parameter an seine richtige Stelle innerhalb des Vektors kopiert (nicht verschoben).

     

Mit pass-by-const-reference muss das x im obigen Beispiel nur einmal kopiert werden. In diesem Fall hat x einen teuren Kopierkonstruktor, so dass alle Kopien, die gespeichert werden können, eine erhebliche Ersparnis darstellen.

     

Wenn wir für push_back effizient sein können, sollten wir auch für die Größenänderung effizient sein. Die Größenanpassung unter Verwendung eines Referenzparameters wurde codiert und in der CodeWarrior-Bibliothek versandt, ohne dass mir Probleme bekannt sind.

     

Vorgeschlagene Auflösung:

     

Ändern 23.3.3 [deque], p2:

%Vor%      

Ändern Sie 23.3.3.3 [deque.capacity], p3:

%Vor%      

Ändern 23.3.5 [Liste], p2:

%Vor%      

Ändern Sie 23.3.5.3 [list.capacity], p3:

%Vor%      

Ändern 23.3.6 [Vektor], p2:

%Vor%      

Ändern Sie 23.3.6.3 [vector.capacity], p11:

%Vor%