Traits de Rust frente a interfaces de Go: impl explícito frente a satisfacción implícita

Qué es

Go: la especificación establece que un tipo implementa una interfaz cuando pertenece al conjunto de tipos de la interfaz, lo cual, en las interfaces que solo contienen métodos, significa que tiene esos métodos; ninguna declaración vincula ambos. Rust: un trait declara métodos obligatorios y, opcionalmente, métodos por defecto, y un tipo lo adquiere únicamente mediante impl Trait for Type. El libro de Rust explica la regla de huérfanos (orphan rule), parte de la coherencia: una implementación solo se permite si el trait o el tipo son locales al crate actual, lo que garantiza que dos crates no puedan publicar implementaciones en conflicto. Los traits pueden incluir tipos asociados y constantes, actuar como restricciones (bounds) en genéricos (fn f<T: Display>(x: T) o impl Display en posición de argumento o de retorno) y convertirse en objetos trait (Box<dyn Display>). El libro describe los genéricos como monomorfizados en tiempo de compilación (una copia del código por cada tipo concreto, despacho estático) y los objetos trait como despacho dinámico resuelto en tiempo de ejecución. Los valores de interfaz de Go siempre usan despacho dinámico; los genéricos de Go (desde la versión 1.18) emplean, en cambio, las interfaces como restricciones.

Por qué importa

Ambos responden a la primera pregunta que se hacen quienes vienen de lenguajes dinámicos: cómo escribir código para varios tipos sin herencia. El impl explícito de Rust implica que un tipo no puede satisfacer un trait por accidente, y la regla de huérfanos implica que no se puede implementar directamente un trait ajeno para un tipo ajeno; el patrón newtype (una estructura envoltorio con un solo campo) es la forma habitual de sortearla. La implicitud de Go permite definir una interfaz a posteriori, en el lado del consumidor, para tipos que este no controla, y así es como las pruebas inyectan dobles de prueba (fakes) de clientes de terceros.

Cómo aplicarlo

• En Go, define interfaces pequeñas en el punto de uso; en Rust, define los traits donde se especifica el comportamiento e impleméntalos para tipos ajenos mediante un newtype local cuando haga falta.
• En Rust, prefiere genéricos con bounds para las rutas críticas de rendimiento y las colecciones homogéneas, y dyn Trait cuando una colección deba contener tipos distintos o cuando importen más el tiempo de compilación y el tamaño del binario que el coste del despacho.
• Usa métodos por defecto e implementaciones generales (blanket implementations, impl<T: Display> Describe for T) para dar comportamiento a muchos tipos a la vez; Go no tiene equivalente y recurre a la incrustación (embedding) y a funciones auxiliares.
• Deriva los traits estándar (Debug, Clone, PartialEq) con #[derive]; en Go, String() y Error() se implementan a mano.

Trampas

Rust: un trait debe estar en el ámbito (use) para poder llamar a sus métodos, y el libro señala que Rust tiene reglas sobre dónde se puede usar el despacho dinámico, llamadas compatibilidad con dyn (dyn compatibility), por lo que no todo trait puede convertirse en un dyn Trait. Go: un tipo con métodos de receptor puntero satisface la interfaz solo como puntero, y un valor de interfaz que contiene un puntero nil no es nil.