Geschiedenis: Toen de standaardbibliotheek van Rust Cow (Clone-on-Write) introduceerde, was het doel om te abstraheren over gegevens die geleend of in bezit konden zijn zonder onmiddellijke allocatie af te dwingen. De Clone trait werd aanvankelijk overwogen, maar deze staat alleen toe om een identieke kopie van hetzelfde type te produceren. Voor geleende gegevens zoals &str produceert klonen een andere referentie in plaats van de benodigde eigendoms- String voor mutatie. De ToOwned trait is specifiek ontworpen om de relatie tussen geleende en eigendomsvormen uit te drukken via het bijbehorende Owned type.
Probleem: Als Cow op Clone zou vertrouwen, zou het omzetten van een Cow::Borrowed(&str) naar een eigendomsrepresentatie voor wijziging externe conversielogica vereisen. Clone mist het type-niveau mechanisme om &str om te zetten in String, waardoor het ofwel tot voortijdige allocatie bij de constructietijd zou dwingen of complexe handmatige statusbeheer zou vereisen. Dit zou het principe van Cow's zero-cost abstractie schenden door het onmogelijk te maken om heap-allocatie uit te stellen totdat mutatie daadwerkelijk nodig is.
Oplossing: ToOwned definieert type Owned en fn to_owned(&self) -> Self::Owned, waardoor &str kan specificeren dat Owned = String. Dit maakt het mogelijk dat Cow::to_mut() lui alloceert, alleen wanneer mutatie wordt aangevraagd. Als de Cow al Owned is, retourneert het een mutabele referentie naar de bestaande gegevens zonder allocatie. Het volgende voorbeeld demonstreert deze efficiëntie:
use std::borrow::Cow; fn normalize_whitespace(input: &str) -> Cow<'_, str> { if input.contains(" ") { let cleaned = input.replace(" ", " "); Cow::Owned(cleaned) // Alloceert alleen hier } else { Cow::Borrowed(input) // Zero-cost borrow } }
Een hoge-throughput logverwerkende service moest tijdstempels in invoer normaliseren die afkomstig waren van geheugen-gekaartte bestanden. De invoer kwam binnen als &str-sneden die naar de kaart wezen, maar ongeveer 10% van de invoer vereiste tijdzone-aanpassingen die allocatie van String vereisten. De eerste implementatie gebruikte een aangepaste enum met String en &str varianten, waarbij bij elke toegang uitputtende patroonmatching en handmatige kloonlogica vereist was, die foutgevoelig en uitgebreid was.
Alternatief 1: Vroegtijdige conversie naar String. Het team overwoog om alle invoer onmiddellijk bij binnenkomst naar String te converteren. Deze aanpak vereenvoudigde het datamodel en elimineerde levensduurzorgen, maar veroorzaakte ernstige geheugenlasten. Tijdens piekbelastingen verdubbelde dit het geheugengebruik voor de 90% van de logs die nooit wijziging vereisten, wat leidde tot OOM-fouten bij het verwerken van 10GB-bestanden.
Alternatief 2: Gebruik maken van Arc<str> met copy-on-write. Een andere optie omvatte Arc<str> voor onveranderlijke delen gecombineerd met Arc::make_mut voor wijzigingen. Hoewel dit gedeelde eigendomsemantiek bood, introduceerde het atomische referentietelling overhead voor elke toegang. Bovendien vereiste het nog steeds expliciete logica om de overgang van gedeeld naar mutabel te behandelen, wat het lenenmodel complicaties bracht zonder de gewenste ergonomie te bieden.
Alternatief 3: Overstappen naar Cow<'_, str>. Het team koos voor Cow om te abstraheren over de twee staten. Borrowed varianten wezen direct naar de geheugenkaart zonder allocatie, terwijl Owned varianten gemodificeerde strings bevatten. Deze oplossing werd gekozen omdat to_mut() allocatie uitstelde totdat de eerste mutatie plaatsvond, waardoor de zero-cost voor alleen-lezen paden werd bewaard terwijl het een uniforme API bood.
Resultaat: De parser behield een hoge doorvoer, verwerkende 10GB logbestanden met slechts 200MB aan daadwerkelijke heap-allocaties. Door gebruik te maken van Cow elimineerde het systeem handmatige statusbewaking, behield het Send en Sync eigenschappen voor parallelle verwerking, en verminderde het de complexiteit van de code met 60% in vergelijking met de aangepaste enum-benadering.
into_owned retourneert ToOwned::Owned per waarde, wat een compile-tijd bekende grootte vereist om ruimte op de stack te alloceren. Hoewel Cow ongepaste types zoals str kan wikkelen via Cow<'_, str>, is het Owned type (String) van vaste grootte. Kandidaten verwarren vaak Cow<'_, T> met Cow<'_, &T>, waarbij ze proberen traits te implementeren voor de referentie in plaats van het geleende type. Zonder de Sized beperking op ToOwned::Owned zou de compiler de retourwaarde voor into_owned niet kunnen construeren, omdat deze zou proberen een ongepaste str rechtstreeks te retourneren in plaats van de gehoste String container.
Cow implementeert Borrow<Borrowed> waarbij Borrowed: ToOwned, waardoor Cow<String> kan worden opgezocht met &str. Echter, Borrow legt een strikte overeenkomst op: als twee waarden gelijk zijn via Eq, moeten ze identieke hashwaarden produceren. Kandidaten implementeren vaak aangepaste PartialEq voor Cow (bijv. voor hoofdletter-ongevoelige vergelijking) terwijl ze de standaard Hash implementatie behouden. Dit schendt het contract omdat twee Cow waarden mogelijk gelijk vergelijken volgens aangepaste logica maar verschillend hashen als de Hash implementatie de originele bytes ziet. Dit leidt tot HashMap opzoekfouten waarbij een sleutel lijkt te bestaan maar niet kan worden gevonden.
Om een Borrowed variant te construeren, vereist Cow een referentie &'a B met levensduur 'a. Een algemene Default implementatie zou een referentie moeten produceren die geldig is voor 'static (bijv. &'static str voor ""), maar &str zelf implementeert Default niet omdat er geen universele referentiewaarde is om terug te geven. Kandidaten suggereren vaak om te defaulten naar Cow::Borrowed(""), maar dit vereist ofwel een 'static levensduurbeperking op B of specialisatie die niet beschikbaar is in stabiele Rust. Bijgevolg vereist de standaardbibliotheek ToOwned::Owned: Default, wat Cow::Owned(String::new()) (een allocatie) afdwingt, zelfs voor lege standaardwaarden. Kandidaten missen dit onderscheid omdat ze de beschikbaarheid van stringliteralen in specifieke scopes verwarren met een algemene Default implementatie voor referenties.