How do I store a value of type Class in a Dictionary of type [String:Class] in Swift?

by

A Thing<Vanilla> is not a Thing<Flavor>. Thing is not covariant. There is no way in Swift to express that Thing is covariant. There are good reasons for this. If what you were asking for were allowed without careful rules around it, I would be allowed to write the following code:

func addElement(array: inout [Any], object: Any) {
    array.append(object)
}

var intArray: [Int] = [1]
addElement(array: &intArray, object: "Stuff")

Int is a subtype of Any, so if [Int] were a subtype of [Any], I could use this function to append strings to an int array. That breaks the type system. Don’t do that.

Depending on your exact situation, there are two solutions. If it is a value type, then repackage it:

let thing = Thing<Vanilla>(value: Vanilla())
dict["foo"] = Thing(value: thing.value)

If it is a reference type, box it with a type eraser. For example:

// struct unless you have to make this a class to fit into the system, 
// but then it may be a bit more complicated
struct AnyThing {
    let _value: () -> Flavor
    var value: Flavor { return _value() }
    init<T: Flavor>(thing: Thing<T>) {
        _value = { return thing.value }
    }
}

var dict = [String:AnyThing]()
dict["foo"] = AnyThing(thing: Thing<Vanilla>(value: Vanilla()))

The specifics of the type eraser may be different depending on your underlying type.

BTW: The diagnostics around this have gotten pretty good. If you try to call my addElement above in Xcode 9, you get this:

Cannot pass immutable value as inout argument: implicit conversion from '[Int]' to '[Any]' requires a temporary

What this is telling you is that Swift is willing to pass [Int] where you ask for [Any] as a special-case for Arrays (though this special treatment isn’t extended to other generic types). But it will only allow it by making a temporary (immutable) copy of the array. (This is another example where it can be hard to reason about Swift performance. In situations that look like “casting” in other languages, Swift might make a copy. Or it might not. It’s hard to be certain.)

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. What is the in-practice difference between generic and protocol-typed function parameters?
  6. Why can’t I pass a Protocol.Type to a generic T.Type parameter?
  7. Using a Type Variable in a Generic
  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. How to view remove subview?
  17. What is an optional value in Swift?
  18. How do I run a terminal command in a Swift script? (e.g. xcodebuild)
  19. How to compare one value against multiple values – Swift
  20. What is _: in Swift telling me?
  21. Swift random float between 0 and 1
  22. What is Geometry Reader in SwiftUI?
  23. How to convert a base64String to String in Swift?
  24. Extra arguments at positions #11, #12 in call SwiftUI [duplicate]
  25. How can I get text to wrap in a UILabel (via UIViewRepresentable) without having a fixed width?
  26. Where is Info.plist in Xcode 13? (missing, not inside project navigator)
  27. Swift closure async order of execution
  28. How to convert hex number to bin in Swift?
  29. Convert Firebase Firestore Timestamp to Date (Swift)?
  30. Custom Button in SwiftUI List

Leave a Comment