Using a Type Variable in a Generic

by

Swift’s static typing means the type of a variable must be known at compile time.

In the context of a generic function func foo<T>() { ... }, T looks like a variable, but its type is actually known at compile time based on where the function is called from. The behavior of Array<T>() depends on T, but this information is known at compile time.

When using protocols, Swift employs dynamic dispatch, so you can write Array<MyProtocol>(), and the array simply stores references to things which implement MyProtocol — so when you get something out of the array, you have access to all functions/variables/typealiases required by MyProtocol.

But if t is actually a variable of kind Any.Type, Array<t>() is meaningless since its type is actually not known at compile time. (Since Array is a generic struct, the compiler needs know which type to use as the generic parameter, but this is not possible.)

I would recommend watching some videos from WWDC this year:

I found this slide particularly helpful for understanding protocols and dynamic dispatch:

More Related Contents:

  1. Protocol doesn’t conform to itself?
  2. Swift generic coercion misunderstanding
  3. Is it possible to add type constraints to a Swift protocol conformance extension?
  4. What does “Protocol … can only be used as a generic constraint because it has Self or associated type requirements” mean?
  5. How do I store a value of type Class in a Dictionary of type [String:Class] in Swift?
  6. What is the in-practice difference between generic and protocol-typed function parameters?
  7. Why can’t I pass a Protocol.Type to a generic T.Type parameter?
  8. Extend array types using where clause in Swift
  9. Swift generics not preserving type
  10. How flatMap API contract transforms Optional input to Non Optional result?
  11. Generic function taking a type name in Swift
  12. How to pass one SwiftUI View as a variable to another View struct
  13. Default value for optional generic parameter in Swift function
  14. A Swift protocol requirement that can only be satisfied by using a final class
  15. Can I assign a default type to generic type T in Swift?
  16. Nested Dictionary in my swift application
  17. Swift: print() vs println() vs NSLog()
  18. Deleting list elements from SwiftUI’s List
  19. Prevent dismissal of UIAlertController
  20. What sorting algorithm does Swift implement for its standard library?
  21. dispatch_once after the Swift 3 GCD API changes
  22. SwiftUI: Forcing an Update
  23. How to use openURL for making a phone call in Swift?
  24. Get class name of object as string in Swift
  25. Why is ‘nil’ not compatible with ‘UnsafePointer’ in Swift 3?
  26. AlamoFire asynchronous completionHandler for JSON request
  27. Setting the TimelineProvider refresh interval for Widget
  28. Thread 1: EXC_BAD_INSTRUCTION when fetching data
  29. iOS9 Swift File Creating NSFileManager.createDirectoryAtPath with NSURL
  30. No Such Module ‘Parse’

Leave a Comment