BiteSizedChunks.comLearn one small thing at a time.

Courses Suggested Paths Pricing

Course contentsShowHide

339Memberwise initializers
340Struct copying semantics
341Mutating methods
342Mutating and let constants
343Lazy stored properties
344Computed properties with setters
345Read-only computed properties
346Property observers and initialization
347Type properties static
348Class properties and override
349Static vs class methods
350Subscripts
351Subscripts with multiple parameters
352Static subscripts
353Designated initializers
354Convenience initializers
355Required initializers
356Failable initializers
357Throwing initializers
358Initializer delegation in value types
359Two-phase initialization
360Class inheritance override rules
361final classes and methods
362super calls
363Overriding properties
364Preventing override
365deinit
366Identity versus equality
367Reference semantics pitfalls
368Copy on write implementation
369isKnownUniquelyReferenced
370Nested types
371Extensions adding members
372Extensions with computed properties
373Extensions conforming to protocols
374Retroactive conformance
375@retroactive attribute
376Access control levels
377open vs public
378package access level
379fileprivate and private
380Access control for extensions
381@usableFromInline
382Dynamic member lookup
383@dynamicMemberLookup with key paths
384@dynamicCallable
385Mirror and reflection
386Struct layout MemoryLayout
387Noncopyable types ~Copyable
388Noncopyable generics
389Consuming methods
390Enum cases and raw values
391Associated values
392Pattern matching associated values
393CaseIterable
394allCases
395Recursive enumerations
396indirect keyword
397Enum methods and properties
398Mutating enum methods
399Enums with static members
400Enum as namespace
401RawRepresentable
402init?(rawValue:)
403String raw values implicit
404Equatable and Hashable synthesis for enums
405Enum Codable synthesis
406Enums vs structs for state
407State machines with enums
408Enums for error types
409Result enum
410Never as uninhabited type
411Enum case paths
412Enum with generics
413Option sets with OptionSet
414OptionSet raw values and unions
415Enum exhaustiveness and library evolution
416@frozen enums
417Nonfrozen enums and @unknown default
418Enum cases as functions
419Enum case pattern in if case
420Comparable enums synthesis
421Protocol declaration and conformance
422Property requirements
423Method requirements
424Mutating requirements
425Initializer requirements
426Static requirements
427Protocol inheritance
428Protocol composition with &
429Protocol extensions
430Default implementations
431Conditional default implementations
432Protocol extension dispatch pitfalls
433Static vs dynamic dispatch
434Protocols as types
435Existential types with any
436Explicit any in Swift 6
437Primary associated types
438Declaring associated types
439Associated type constraints
440where clauses on associated types
441Class-only protocols AnyObject
442Optional requirements via @objc
443Protocol-oriented programming
444Delegation with protocols
445Data source pattern
446Equatable
447Hashable
448Comparable
449Identifiable
450CustomStringConvertible conformance
451Codable
452Sendable protocol
453Sequence protocol
454IteratorProtocol
455Collection protocol
456BidirectionalCollection
457RandomAccessCollection
458MutableCollection
459RangeReplaceableCollection
460LazySequenceProtocol
461ExpressibleByLiteral protocols
462ExpressibleByArrayLiteral
463ExpressibleByDictionaryLiteral
464ExpressibleByIntegerLiteral
465AdditiveArithmetic
466Protocol witness tables
467Protocol conformance checking with as?
468Conditional conformances
469Self requirements
470Protocol existential boxing costs
471Unconditional Sendable conformance
472Generic functions and types
473Type parameters
474Generic structs
475Generic classes
476Generic enums
477Type constraints
478where clauses
479Same-type constraints
480Conformance constraints
481Generic subscripts
482Generic extensions
483Extensions with where clauses
484Associated types in generics
485Generic typealiases
486Specialization and performance
487Unspecialized generics cost
488Metatypes and .Type
489Self.self and type(of:)
490Generic protocols pattern via associated types
491Type erasure with AnyHashable
492Type erasure with closures
493AnySequence and AnyIterator
494Type erasure hand-rolled
495Phantom types
496Generic constraints on Optional
497Conditional conformance of Array
498Generic recursion
499Variadic generics and parameter packs
500Pack iteration
501Pack expansion in tuples
502Generic Result usage
503Implicit generic parameters from some
504some keyword
505Opaque return types
506Opaque parameter types
507some vs any
508Opaque types with primary associated types
509any with primary associated types
510Existentials and performance
511Reverse generics
512Returning some View
513Opaque types in protocol requirements
514Opaque type identity and conditionals
515Type-erased wrappers vs opaque types
516AnyView costs
517Existential unboxing
518Self-conformance of existentials
519Opening existentials implicitly
520Why any Equatable fails
521ExistentialAny upcoming feature

339Memberwise initializers
340Struct copying semantics
341Mutating methods
342Mutating and let constants
343Lazy stored properties
344Computed properties with setters
345Read-only computed properties
346Property observers and initialization
347Type properties static
348Class properties and override
349Static vs class methods
350Subscripts
351Subscripts with multiple parameters
352Static subscripts
353Designated initializers
354Convenience initializers
355Required initializers
356Failable initializers
357Throwing initializers
358Initializer delegation in value types
359Two-phase initialization
360Class inheritance override rules
361final classes and methods
362super calls
363Overriding properties
364Preventing override
365deinit
366Identity versus equality
367Reference semantics pitfalls
368Copy on write implementation
369isKnownUniquelyReferenced
370Nested types
371Extensions adding members
372Extensions with computed properties
373Extensions conforming to protocols
374Retroactive conformance
375@retroactive attribute
376Access control levels
377open vs public
378package access level
379fileprivate and private
380Access control for extensions
381@usableFromInline
382Dynamic member lookup
383@dynamicMemberLookup with key paths
384@dynamicCallable
385Mirror and reflection
386Struct layout MemoryLayout
387Noncopyable types ~Copyable
388Noncopyable generics
389Consuming methods
390Enum cases and raw values
391Associated values
392Pattern matching associated values
393CaseIterable
394allCases
395Recursive enumerations
396indirect keyword
397Enum methods and properties
398Mutating enum methods
399Enums with static members
400Enum as namespace
401RawRepresentable
402init?(rawValue:)
403String raw values implicit
404Equatable and Hashable synthesis for enums
405Enum Codable synthesis
406Enums vs structs for state
407State machines with enums
408Enums for error types
409Result enum
410Never as uninhabited type
411Enum case paths
412Enum with generics
413Option sets with OptionSet
414OptionSet raw values and unions
415Enum exhaustiveness and library evolution
416@frozen enums
417Nonfrozen enums and @unknown default
418Enum cases as functions
419Enum case pattern in if case
420Comparable enums synthesis
421Protocol declaration and conformance
422Property requirements
423Method requirements
424Mutating requirements
425Initializer requirements
426Static requirements
427Protocol inheritance
428Protocol composition with &
429Protocol extensions
430Default implementations
431Conditional default implementations
432Protocol extension dispatch pitfalls
433Static vs dynamic dispatch
434Protocols as types
435Existential types with any
436Explicit any in Swift 6
437Primary associated types
438Declaring associated types
439Associated type constraints
440where clauses on associated types
441Class-only protocols AnyObject
442Optional requirements via @objc
443Protocol-oriented programming
444Delegation with protocols
445Data source pattern
446Equatable
447Hashable
448Comparable
449Identifiable
450CustomStringConvertible conformance
451Codable
452Sendable protocol
453Sequence protocol
454IteratorProtocol
455Collection protocol
456BidirectionalCollection
457RandomAccessCollection
458MutableCollection
459RangeReplaceableCollection
460LazySequenceProtocol
461ExpressibleByLiteral protocols
462ExpressibleByArrayLiteral
463ExpressibleByDictionaryLiteral
464ExpressibleByIntegerLiteral
465AdditiveArithmetic
466Protocol witness tables
467Protocol conformance checking with as?
468Conditional conformances
469Self requirements
470Protocol existential boxing costs
471Unconditional Sendable conformance
472Generic functions and types
473Type parameters
474Generic structs
475Generic classes
476Generic enums
477Type constraints
478where clauses
479Same-type constraints
480Conformance constraints
481Generic subscripts
482Generic extensions
483Extensions with where clauses
484Associated types in generics
485Generic typealiases
486Specialization and performance
487Unspecialized generics cost
488Metatypes and .Type
489Self.self and type(of:)
490Generic protocols pattern via associated types
491Type erasure with AnyHashable
492Type erasure with closures
493AnySequence and AnyIterator
494Type erasure hand-rolled
495Phantom types
496Generic constraints on Optional
497Conditional conformance of Array
498Generic recursion
499Variadic generics and parameter packs
500Pack iteration
501Pack expansion in tuples
502Generic Result usage
503Implicit generic parameters from some
504some keyword
505Opaque return types
506Opaque parameter types
507some vs any
508Opaque types with primary associated types
509any with primary associated types
510Existentials and performance
511Reverse generics
512Returning some View
513Opaque types in protocol requirements
514Opaque type identity and conditionals
515Type-erased wrappers vs opaque types
516AnyView costs
517Existential unboxing
518Self-conformance of existentials
519Opening existentials implicitly
520Why any Equatable fails
521ExistentialAny upcoming feature

Search the Swift glossary

Lesson 477 of 2,511·8. Types, Protocols, and GenericsFree lesson

Type constraints

Writing your lesson…

← Previous Next lesson →

© 2026 BiteSizedChunks.com. Learn one small thing at a time.

Glossary Contact Terms of Service Privacy Policy