Restricciones genéricas y cláusulas where
Aplique varias restricciones, requisitos de igualdad de tipos y extensiones condicionales.
Restricciones genéricas y cláusulas where es una lección gratuita de Swift Academy en CoddyKit. Esta es la lección 1 de 4. 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 4 lecciones en total.
Repaso de los conceptos básicos de los genéricos
Los genéricos permiten escribir código flexible y reutilizable que funciona con cualquier tipo.
func identity<T>(_ value: T) -> T { return value }
print(identity(42))
print(identity("hello"))Restricción de un solo tipo
Restrinja un parámetro genérico para que cumpla con un protocolo mediante T: Protocol.
func largest<T: Comparable>(_ a: T, _ b: T) -> T {
return a > b ? a : b
}
print(largest(3, 7))Varias restricciones con &
Exija que un tipo cumpla con varios protocolos combinándolos con &.
func process<T: Equatable & Hashable>(_ items: [T]) -> Set<T> {
return Set(items)
}
print(process([1,2,2,3]))Cláusulas where en funciones
Una cláusula where después de la lista de parámetros permite añadir restricciones más precisas.
func allEqual<T: Equatable>(_ array: [T]) -> Bool where T: CustomStringConvertible {
guard let first = array.first else { return true }
return array.allSatisfy { $0 == first }
}where en extensiones
Extienda un tipo solo cuando su parámetro genérico cumpla un requisito.
extension Array where Element: Numeric {
var sum: Element { reduce(0, +) }
}
print([1,2,3].sum)Requisitos de igualdad de tipos
Restrinja dos tipos asociados para que sean del mismo tipo con T == U.
func zip2<A: Sequence, B: Sequence>(_ a: A, _ b: B) -> [(A.Element, B.Element)]
where A.Element == B.Element {
return Swift.zip(a, b).map { ($0.0, $0.1) }
}Conformidad condicional
Haga que un tipo genérico cumpla condicionalmente con un protocolo cuando sus parámetros satisfagan determinadas restricciones.
extension Array: Equatable where Element: Equatable {
// stdlib already does this, shown for illustration
}
print([1,2] == [1,2])Clases genéricas con restricciones
Los genéricos de las clases también pueden incluir restricciones, lo que garantiza la seguridad de tipos al crear instancias.
class Box<T: Codable> {
var value: T
init(_ v: T) { self.value = v }
}
let box = Box(42)Protocolo con restricciones de tipos asociados
Use where en las definiciones de protocolos para restringir los tipos asociados.
protocol Container {
associatedtype Item: Equatable
var items: [Item] { get }
func contains(_ item: Item) -> Bool
}Varias cláusulas where
Combine varias condiciones where separadas por comas para expresar requisitos complejos.
func merge<C: Collection>(_ a: C, _ b: C) -> [C.Element]
where C.Element: Comparable, C.Element: Hashable {
return Array(Set(a + b)).sorted()
}Especialización de tipos genéricos
Swift especializa las funciones genéricas en tiempo de compilación para tipos concretos, lo que permite optimizar el rendimiento.
// @_specialize instructs the compiler to emit a specialized version
@_specialize(where T == Int)
func add<T: Numeric>(_ a: T, _ b: T) -> T { a + b }Comprobación rápida
¿Cómo exige que un tipo genérico cumpla tanto con Comparable como con Hashable?
Repaso de la lección
Las restricciones genéricas con T: Protocol, las restricciones múltiples mediante &, las cláusulas where para requisitos precisos, los requisitos de igualdad de tipos y la conformidad condicional le proporcionan un control preciso sobre el código genérico.
Preguntas frecuentes
¿La lección «Restricciones genéricas y cláusulas where» es gratis?
Sí — el texto completo de «Restricciones genéricas y cláusulas where» 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 4 lecciones en total.
¿Qué aprenderé en «Restricciones genéricas y cláusulas where»?
Aplique varias restricciones, requisitos de igualdad de tipos y extensiones condicionales. 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 4.
¿Cuánto tiempo toma la lección «Restricciones genéricas y cláusulas where»?
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
- Restricciones genéricas y cláusulas where
- Tipos opacos con la palabra clave some
- Existenciales con any y type erasure
- Tipos asociados principales y throws tipados