How to determine if a generic is an optional in Swift?

by

You can’t compare an arbitrary value to nil (EDIT: but see Sulthan’s comment below; it may be that we should be able to compare arbitrary values to nil; the rest of this paragraph may be true today, but only due to a compiler bug). While Optional has some bits of syntactic sugar applied to it, it’s really just a enum, and nil is just Optional.None. You want one behavior for one type (Optional) and another behavior for all other types. Swift has that via generics, just not in extensions. You have to turn it around into a function:

func realCount<T>(x: [T?]) -> Int {
  return countElements(filter(x, { $0.getLogicValue() } ) )
}

func realCount<T>(x: [T]) -> Int {
  return countElements(x)
}

let l = [1,2,3]
let lop:[Int?] = [1, nil, 2]

let countL = realCount(l) // 3
let countLop = realCount(lop) // 2

This approach is much more flexible. Optional is just one of many types you would want to flatMap this way (for example, you could use this same technique to handle Result).

EDIT: You can take this further by creating a protocol for things you consider “real.” That way you don’t have to confine this to Optionals. For example:

protocol Realizable {
  func isReal() -> Bool
}

extension Optional: Realizable {
  func isReal() -> Bool { return self.getLogicValue() }
}

func countReal<S:Collection>(x: S) -> S.IndexType.DistanceType {
  return countElements(x)
}

func countReal<S:Collection where S.GeneratorType.Element:Realizable>(x: S) -> Int {
  return countElements(filter(x, {$0.isReal()}))
}

This says, if I pass a collection of “realizable” things, then filter them against their rule. Otherwise, just count them. While I probably wouldn’t really use this function (it seems very special-case), the concept is useful. Later callers can add new “realizable” types without modifying any of your code (or even knowing how they’re implemented). And this shows how to have a default behavior for things that don’t implement your protocol.

BTW, I’m using Collections here just because they’re easier to count (and I’m being a bit sloppy about the return types; notice one is the DistanceType and the other is an Int). Getting the types right on generic Collection-based functions is still kind of tricky (and often crashes the compiler). I suspect this will all improve in the next betas.

More Related Contents:

  1. How flatMap API contract transforms Optional input to Non Optional result?
  2. Generic NSOperation subclass loses NSOperation functionality
  3. Swift equivalent for MIN and MAX macros
  4. Extension of constructed generic type in Swift
  5. Returning constrained generics from functions and methods
  6. How do I use integer number literals when using generic types?
  7. How do I write the lifetimes for references in a type constraint when one of them is a local reference?
  8. How do I store a value of type Class in a Dictionary of type [String:Class] in Swift?
  9. What is the in-practice difference between generic and protocol-typed function parameters?
  10. Why can’t I pass a Protocol.Type to a generic T.Type parameter?
  11. Why don’t associated types for protocols use generic type syntax in Swift?
  12. C# Adding two Generic Values
  13. Extend array types using where clause in Swift
  14. Matching a generic parameter to an associated type in an impl
  15. Generic Functions in Go
  16. What happened to the UIView?() constructor in Swift 3.0?
  17. Why can’t `&(?Sized + Trait)` be cast to `&dyn Trait`?
  18. Generic function to sort array of class or struct by properties in Swift
  19. Why can’t I add a blanket impl on a trait with a type parameter?
  20. How do I add different types conforming to a protocol with an associated type to a collection?
  21. A Swift protocol requirement that can only be satisfied by using a final class
  22. Swift optional inout parameters and nil
  23. Calling a static method from a generic constraint Dart
  24. Can I assign a default type to generic type T in Swift?
  25. How to get actual type arguments of a reified generic parameter in Kotlin?
  26. Swift nil has a numeric value?
  27. Does F# have generic arithmetic support?
  28. Unable to create a polymorphic type because the trait cannot be made into an object
  29. What is the cited problem with using generic type parameters in trait objects?
  30. How to call a named constructor from a generic function in Dart/Flutter

Leave a Comment