RUST_BASICRasgo avanzado de oxidación

Los tipos asociados son una forma de asociar marcadores de posición de tipo con un rasgo para que estos tipos de marcador de posición se puedan utilizar en las firmas del método del rasgo:

rasgo El implementador de especificará el tipo concreto correspondiente en lugar de este tipo para una implementación específica:

El tipo de elemento solo se puede seleccionar una vez, porque solo puede haber un iterador implícito para el contador. No es necesario especificar el iterador para el que necesitamos valores u32 cada vez que llamamos a Counter's next.

Al utilizar parámetros de tipo genérico, puede especificar un tipo concreto predeterminado para el genérico. Esto elimina la necesidad de implementar rasgos para tipos concretos si el tipo predeterminado es suficiente. La sintaxis para especificar un tipo predeterminado para un tipo genérico es usar ·· al declarar el tipo genérico:

La sintaxis se llama parámetros de tipo predeterminados (parámetros de tipo predeterminados ), RHS es un parámetro de tipo genérico (abreviatura de "lado derecho"), que se utiliza para definir el parámetro rhs en el método add. Si no se especifica el tipo específico de RHS al implementar el rasgo Add, el tipo de RHS. será el tipo Self predeterminado.

Sin parámetros es el siguiente:

Con parámetros de la siguiente manera:

El tipo de parámetro predeterminado se utiliza principalmente en los dos aspectos siguientes:

Un rasgo Métodos con el mismo nombre que otro rasgo:

Los métodos se pueden distinguir de la siguiente manera:

Sin embargo, la función asociada es parte del rasgo, pero no tiene ningún parámetro propio. Cuando dos métodos en el mismo alcance Si dos tipos implementan el mismo rasgo, Rust no puede calcular qué tipo esperamos:

Al llamar a Animal::baby_name(), se informará un error Animal::baby_name. es una función asociada en lugar de un método, por lo que no tiene ningún parámetro propio y no puede calcular qué implementación Animal::baby_name se requiere. En este caso, se debe utilizar la sintaxis completa:

Generalmente, la completa. la sintaxis calificada se define como:

Esta sintaxis más detallada solo es necesaria cuando hay múltiples implementaciones con el mismo nombre y Rust necesita ayuda para saber a qué implementación llamar.

Si queremos implementar Display en un Vec, la regla huérfana lo impide porque tanto el rasgo Display como Vec están definidos fuera de nuestra caja.

Una forma de evitar esta limitación es usar el patrón newtype: puede crear una estructura Wrapper que contenga una instancia de Vec, implementar Display en el Wrapper y usar el valor de Vec:

La desventaja de este método es que debido a que Wrapper es un tipo nuevo, no tiene métodos definidos en su valor. Todos los métodos de Vec deben implementarse directamente en Wrapper para que pueda ser proxy. self.0 Arriba, si desea que el nuevo tipo tenga todos los métodos de su tipo interno, puede implementar el rasgo Deref para el tipo encapsulado y devolver su tipo interno. Si no desea que el tipo encapsulado tenga todos los métodos. el tipo interno, debe hacerlo usted mismo. Implemente los métodos requeridos.