Historia: Cuando la biblioteca estándar de Rust introdujo Cow (Clone-on-Write), el objetivo era abstraer sobre datos que podrían ser prestados o propios sin forzar una asignación inmediata. El rasgo Clone fue considerado inicialmente, pero solo permite producir una copia idéntica del mismo tipo. Para datos prestados como &str, clonar produce otra referencia en lugar del String propietario requerido para la mutación. El rasgo ToOwned fue diseñado específicamente para expresar la relación entre las formas prestadas y propias a través de su tipo asociado Owned.
Problema: Si Cow dependiera de Clone, convertir un Cow::Borrowed(&str) a una representación propia para modificación requeriría lógica de conversión externa. Clone carece del mecanismo a nivel de tipo para transformar &str en String, lo que obliga a una asignación prematura en el momento de la construcción o una gestión de estado manual compleja. Esto violaría el principio de abstracción de costo cero de Cow al hacer imposible diferir la asignación en el montón hasta que la mutación sea realmente necesaria.
Solución: ToOwned define type Owned y fn to_owned(&self) -> Self::Owned, permitiendo que &str especifique Owned = String. Esto permite que Cow::to_mut() asigne perezosamente solo cuando se solicita la mutación. Si el Cow ya es Owned, devuelve una referencia mutable a los datos existentes sin asignación. El siguiente ejemplo demuestra esta eficiencia:
use std::borrow::Cow; fn normalize_whitespace(input: &str) -> Cow<'_, str> { if input.contains(" ") { let cleaned = input.replace(" ", " "); Cow::Owned(cleaned) // Asigna solo aquí } else { Cow::Borrowed(input) // Préstamo de costo cero } }
Un servicio de procesamiento de registros de alto rendimiento necesitaba normalizar las marcas de tiempo en entradas provenientes de archivos mapeados a memoria. La entrada llegaba como segmentos &str apuntando al mapa, pero aproximadamente el 10% de las entradas requerían ajustes de zona horaria que necesitaban asignación de String. La implementación inicial utilizaba un enum personalizado con variantes de String y &str, requiriendo un exhaustivo emparejamiento de patrones en cada punto de acceso y lógica de clonación manual que era propensa a errores y verbosa.
Alternativa 1: Conversión ansiosa a String. El equipo consideró convertir todas las entradas a String inmediatamente al ingerir. Este enfoque simplificaba el modelo de datos y eliminaba preocupaciones sobre el tiempo de vida, pero imponía una severa sobrecarga de memoria. Durante cargas máximas, esto duplicaba el uso de memoria para el 90% de los registros que nunca requerían modificación, causando errores OOM al procesar archivos de 10GB.
Alternativa 2: Uso de Arc<str> con copia bajo escritura. Otra opción involucraba Arc<str> para compartir inmutable combinado con Arc::make_mut para modificaciones. Si bien esto proporcionaba semánticas de propiedad compartida, introducía una sobrecarga de conteo de referencias atómicas por cada acceso. Además, aún requería lógica explícita para manejar la transición de compartido a mutable, complicando el modelo de préstamo sin proporcionar la ergonomía deseada.
Alternativa 3: Adopción de Cow<'_, str>. El equipo eligió Cow para abstraer sobre los dos estados. Las variantes Borrowed apuntaban directamente al mapa de memoria sin asignación, mientras que las variantes Owned almacenaban cadenas modificadas. Esta solución fue seleccionada porque to_mut() difería la asignación hasta que ocurrió la primera mutación, preservando el costo cero para rutas de solo lectura mientras ofrecía una API unificada.
Resultado: El analizador mantuvo un alto rendimiento, manejando archivos de registro de 10GB con solo 200MB de asignaciones reales en el montón. Al aprovechar Cow, el sistema eliminó el seguimiento manual del estado, mantuvo las propiedades Send y Sync para el procesamiento paralelo, y redujo la complejidad del código en un 60% en comparación con el enfoque del enum personalizado.
into_owned devuelve ToOwned::Owned por valor, lo que requiere un tamaño conocido en tiempo de compilación para asignar espacio en la pila. Si bien Cow puede envolver tipos no dimensionados como str a través de Cow<'_, str>, el tipo Owned (String) tiene tamaño. A menudo, los candidatos confunden Cow<'_, T> con Cow<'_, &T>, intentando implementar rasgos para la referencia en lugar del tipo prestado. Sin el límite Sized en ToOwned::Owned, el compilador no podría construir el valor de retorno para into_owned, ya que intentaría devolver un str no dimensionado directamente en lugar del contenedor String dimensionado.
Cow implementa Borrow<Borrowed> donde Borrowed: ToOwned, permitiendo que Cow<String> sea buscado con &str. Sin embargo, Borrow impone un contrato estricto: si dos valores son iguales a través de Eq, deben producir valores hash idénticos. A menudo, los candidatos implementan PartialEq personalizados para Cow (por ejemplo, comparación insensible a mayúsculas) mientras conservan la implementación estándar de Hash. Esto viola el contrato porque dos valores Cow podrían compararse como iguales bajo una lógica personalizada pero tener hash diferentes si la implementación de Hash ve los bytes originales. Esto lleva a fallos de búsqueda en HashMap donde una clave parece existir pero no se puede encontrar.
Para construir una variante Borrowed, Cow requiere una referencia &'a B con tiempo de vida 'a. Una implementación de Default general necesitaría producir una referencia válida para 'static (por ejemplo, &'static str para ""), pero &str no implementa Default porque no existe un valor de referencia universal que devolver. A menudo, los candidatos sugieren predeterminar a Cow::Borrowed(""), pero esto requiere ya sea un límite de tiempo de vida 'static en B o especialización no disponible en Rust estable. En consecuencia, la biblioteca estándar requiere ToOwned::Owned: Default, forzando Cow::Owned(String::new()) (una asignación) incluso para valores predeterminados vacíos. Los candidatos pasan por alto esta distinción porque confunden la disponibilidad de literales de cadena en ámbitos específicos con una implementación general de Default para referencias.