Conformidades condicionales
Haga que un tipo genérico se ajuste a un protocolo solo si su parámetro de tipo cumple las restricciones (por ejemplo, Box<T>: Equatable where T: Equatable ).
Conformidades condicionales es una lección gratuita de Swift Academy en CoddyKit. Esta es la lección 1 de 3. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de Swift Academy, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de Swift Academy incluye 3 lecciones en total.
¿Por qué la conformidad condicional?
La conformidad condicional añade una conformidad con un protocolo solo cuando los parámetros de tipo cumplen ciertas restricciones. Esto mantiene las API precisas, evita código repetitivo y se integra eficazmente con la biblioteca estándar.
Base de un tipo genérico
Comience con un tipo genérico. Sin trabajo adicional, Box no es conforme con Equatable/Hashable, aunque T sí lo sea.
struct Box<T> {
var value: T
}
let bi = Box(value: 3)
let bs = Box(value: "hi")
// At this point Box has no Equatable/Hashable, regardless of T.Equatable de forma condicional
Añada Equatable solo si T: Equatable. El código que compare cajas de tipos no Equatable no se compilará, lo que proporciona mayor seguridad.
extension Box: Equatable where T: Equatable {
static func == (lhs: Box<T>, rhs: Box<T>) -> Bool {
lhs.value == rhs.value
}
}
print(Box(value: 5) == Box(value: 5)) // true
// Works because Int is Equatable
// print(Box(value: someNonEquatable) == ...) // won't compileHashable de forma condicional
Del mismo modo, adopte Hashable solo cuando el elemento sea Hashable. Entonces Set/Dictionary funcionarán con Box<T>.
extension Box: Hashable where T: Hashable {
func hash(into hasher: inout Hasher) {
hasher.combine(value)
}
}
let set: Set<Box<Int>> = [Box(value: 1), Box(value: 1)]
print(set.count) // 1 because Hashable is available only when T: HashableControl de funcionalidades con where
Use extension ... where para exponer métodos solo para determinadas capacidades (por ejemplo, T: Numeric) y mantener pequeña la API base.
// Add extra APIs only when T supports them
extension Box where T: Numeric {
func doubled() -> T { value + value }
}
print(Box(value: 7).doubled()) // 14 (Int is Numeric)
// Box(value: "hi").doubled() // won't compile — String not NumericPresente en la biblioteca estándar
Ya utiliza este patrón a diario:
- Array: Equatable solo cuando
Element: Equatable. - El hashing de Dictionary/Set solo cuando las claves o los elementos son
Hashable. - La igualdad de Optional solo cuando
Wrapped: Equatable.
Ventaja: las API son precisas y seguras en tiempo de compilación.
Comprobación de la definición
Comprobación rápida: ¿Qué permite la conformidad condicional?
Repaso
Repaso: Use extension Type: Protocol where ... para añadir conformidades y API solo cuando se cumplan las restricciones. Así el código se mantiene preciso, seguro y fácil de analizar.
Preguntas frecuentes
¿La lección «Conformidades condicionales» es gratis?
Sí — el texto completo de «Conformidades condicionales» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de Swift Academy, actualiza a CoddyKit PRO. El curso de Swift Academy incluye 3 lecciones en total.
¿Qué aprenderé en «Conformidades condicionales»?
Haga que un tipo genérico se ajuste a un protocolo solo si su parámetro de tipo cumple las restricciones (por ejemplo, Box<T>: Equatable where T: Equatable ). Practicas Swift Academy con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.
¿Necesito experiencia previa para empezar Swift Academy?
No se requiere experiencia previa. Swift Academy en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 1 de 3.
¿Cuánto tiempo toma la lección «Conformidades condicionales»?
La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.
¿Puedo escribir y ejecutar código en esta lección de Swift Academy?
Sí. Cada lección de Swift Academy incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.
Todas las lecciones de este curso
- Conformidades condicionales
- Restricciones recursivas y genéricos de orden superior
- Cláusulas where en extensiones