Geschichte: Als die Standardbibliothek von Rust Cow (Clone-on-Write) einführte, war das Ziel, über Daten zu abstrahieren, die möglicherweise geliehen oder besessen werden, ohne sofortige Allokationen zu erzwingen. Das Clone-Trait wurde zunächst in Betracht gezogen, erlaubt jedoch nur die Erzeugung einer identischen Kopie desselben Typs. Bei geliehenen Daten wie &str produziert das Klonen eine weitere Referenz anstelle der besitzenden String, die für Mutationen erforderlich ist. Das ToOwned-Trait wurde speziell entwickelt, um die Beziehung zwischen geliehenen und besitzenden Formen durch seinen zugehörigen Owned-Typ auszudrücken.
Problem: Wenn Cow auf Clone angewiesen wäre, würde die Umwandlung eines Cow::Borrowed(&str) in eine besitzende Darstellung zur Modifikation externe Umwandlungslogik erfordern. Clone fehlt der typlevelmäßige Mechanismus, um &str in String zu transformieren, was entweder vorzeitige Allokation zur Konstruktionszeit oder komplexes manuelles Zustandsmanagement erzwingen würde. Dies würde das Nullkosten-Abstraktionsprinzip von Cow verletzen, da eine Verschiebung der Heap-Allokation bis zur tatsächlichen Mutation unmöglich wäre.
Lösung: ToOwned definiert type Owned und fn to_owned(&self) -> Self::Owned, was es &str ermöglicht, Owned = String zu spezifizieren. Dies ermöglicht Cow::to_mut(), nur dann faul zu allokieren, wenn eine Mutation angefordert wird. Wenn das Cow bereits Owned ist, gibt es eine veränderbare Referenz auf die vorhandenen Daten zurück, ohne Allokation. Das folgende Beispiel demonstriert diese Effizienz:
use std::borrow::Cow; fn normalize_whitespace(input: &str) -> Cow<'_, str> { if input.contains(" ") { let cleaned = input.replace(" ", " "); Cow::Owned(cleaned) // Allokiert hier nur } else { Cow::Borrowed(input) // Nullkosten-Borrow } }
Ein hochdurchsatzfähiger Log-Verarbeitungsdienst musste Zeitstempel in Einträgen normalisieren, die aus speicherkarten-zugeordneten Dateien stammten. Der Eingang kam als &str-Schnipsel, die in die Karte zeigten, aber ungefähr 10 % der Einträge benötigten Zeitzonenanpassungen, die eine String-Allokation erforderten. Die anfängliche Implementierung verwendete ein benutzerdefiniertes Enum mit String- und &str-Varianten, was eine umfassende Musteranpassung an jedem Zugriffspunkt erforderte und zu fehleranfälligem und ausführlichem Klonen führte.
Alternative 1: Eagere Umwandlung in String. Das Team überlegte, alle Eingaben sofort bei der Aufnahme in String umzuwandeln. Dieser Ansatz vereinfachte das Datenmodell und beseitigte Lebenszeitprobleme, führte jedoch zu erheblichen Speicherüberhängen. Bei Spitzenlasten verdoppelte sich der Speicherbedarf für die 90 % der Protokolle, die nie eine Änderung benötigten, was OOM-Fehler beim Verarbeiten von 10-GB-Dateien verursachte.
Alternative 2: Verwendung von Arc<str> mit Copy-on-Write. Eine weitere Option beinhaltete Arc<str> für unveränderliches Teilen, kombiniert mit Arc::make_mut für Modifikationen. Während dies gemeinsame Eigentumssemantiken bot, führte es zu einer Überlastung der atomaren Referenzzählung für jeden Zugriff. Außerdem war es weiterhin erforderlich, explizite Logik zu implementieren, um die Umstellung von geteilt auf veränderbar zu handhaben, was das Leihmodell komplizierte, ohne die gewünschte Ergonomie zu bieten.
Alternative 3: Annahme von Cow<'_, str>. Das Team wählte Cow, um über die beiden Zustände zu abstrahieren. Borrowed-Varianten zeigten direkt in den Speicherbereich mit keinen Allokationen, während Owned-Varianten modifizierte Zeichenfolgen enthielten. Diese Lösung wurde ausgewählt, da to_mut() die Allokation bis zur ersten Mutation aufschob und somit Nullkosten für Lesezugriffe bewahrte, während sie eine einheitliche API anbot.
Ergebnis: Der Parser hielt einen hohen Durchsatz aufrecht und verarbeitete 10-GB-Logdateien mit nur 200 MB tatsächlichen Heap-Allokationen. Durch die Nutzung von Cow konnte das System manuelle Zustandsverfolgung eliminieren, die Send- und Sync-Eigenschaften für parallele Verarbeitung aufrechterhalten und die Codekomplexität um 60 % im Vergleich zum benutzerdefinierten Enum-Ansatz reduzieren.
into_owned gibt ToOwned::Owned nach Wert zurück, was eine zur Compile-Zeit bekannte Größe erfordert, um den Stack-Speicher zu allozieren. Während Cow unsortierte Typen wie str über Cow<'_, str> wickeln kann, ist der Owned-Typ (String) dimensioniert. Kandidaten verwechseln oft Cow<'_, T> mit Cow<'_, &T> und versuchen, Traits für die Referenz und nicht für den geliehenen Typ zu implementieren. Ohne die Sized-Schranke auf ToOwned::Owned könnte der Compiler den Rückgabewert für into_owned nicht konstruieren, da er versuchen würde, ein unsortiertes str direkt zurückzugeben, anstatt den dimensionierten String-Container.
Cow implementiert Borrow<Borrowed>, wo Borrowed: ToOwned, wodurch Cow<String> mit &str nachgeschlagen werden kann. Borrow auferlegt jedoch einen strengen Vertrag: Wenn zwei Werte über Eq gleich sind, müssen sie identische Hash-Werte erzeugen. Kandidaten implementieren häufig benutzerdefinierte PartialEq für Cow (z. B. Groß-/Kleinschreibung ignorierende Vergleiche), während sie die Standardimplementierung von Hash beibehalten. Dies verletzt den Vertrag, da zwei Cow-Werte unter benutzerdefinierter Logik gleich vergleichen könnten, aber unterschiedlich hashen, wenn die Hash-Implementierung die ursprünglichen Bytes sieht. Dies führt zu HashMap-Lookup-Fehlern, bei denen ein Schlüssel zu existieren scheint, aber nicht gefunden werden kann.
Um eine Borrowed-Variante zu konstruieren, benötigt Cow eine Referenz &'a B mit der Lebenszeit 'a. Eine allgemeine Default-Implementierung müsste eine Referenz erzeugen, die für 'static gültig ist (z. B. &'static str für ""), aber &str selbst implementiert Default nicht, da es keinen universellen Referenzwert gibt, der zurückgegeben werden kann. Kandidaten schlagen oft vor, auf Cow::Borrowed("") zu defaulten, aber dies erfordert entweder eine 'static Lebenszeitbeschränkung auf B oder eine Spezialisierung, die in stabilen Rust nicht verfügbar ist. Folglich verlangt die Standardbibliothek, dass ToOwned::Owned: Default erforderlich ist, was Cow::Owned(String::new()) (eine Allokation) selbst für leere Standardwerte zur Folge hat. Kandidaten übersehen diese Unterscheidung, da sie die Verfügbarkeit von Zeichenfolgenliteralen in bestimmten Scopes mit einer allgemeinen Default-Implementierung für Referenzen verwechseln.