W jaki sposób zaimplementowane są opcjonalne wartości w Swift?

Question

Zastanawiam się, w jaki sposób typy wartości w Swift (Int, Float ...) są zaimplementowane, aby obsługiwać opcjonalne powiązanie ("?"). Zakładam, że te typy wartości nie są przydzielane na stercie, ale na stosie. Czy więc polegają one na wskaźniku do stosu, który może mieć wartość zerową, czy też bazowa struktura zawiera flagę logiczną?

Answer 1

Opcje są implementowane jako Swift w postaci enum.

Zobacz Apple's Swift Tour na przykład jak to zrobić:

enum OptionalValue<T> { 
    case None 
    case Some(T) 
} 

Answer 2

opcjonalne są realizowane, jak pokazano poniżej. Aby to znaleźć, kliknij CMD na deklarację, taką jak var x: Optional<Int>. var x: Int? to po prostu cukier syntaktyczny.

enum Optional<T> : LogicValue, Reflectable { 
    case None 
    case Some(T) 
    init() 
    init(_ some: T) 

    /// Allow use in a Boolean context. 
    func getLogicValue() -> Bool 

    /// Haskell's fmap, which was mis-named 
    func map<U>(f: (T) -> U) -> U? 
    func getMirror() -> Mirror 
} 

Answer 3

Swift jest open source since wczoraj. Można zobaczyć realizację na GitHub: https://github.com/apple/swift/blob/master/stdlib/public/core/Optional.swift

public enum Optional<Wrapped> : ExpressibleByNilLiteral { 

    case none 
    case some(Wrapped) 

    public init(_ some: Wrapped) { self = .some(some) } 

    public init(nilLiteral:()) { 
     self = .none 
    } 

    public var unsafelyUnwrapped: Wrapped { 
     get { 
      if let x = self { 
       return x 
      } 
      _debugPreconditionFailure("unsafelyUnwrapped of nil optional") 
     } 
    } 
} 

Answer 4

Większość odpowiedzi po prostu powiedzieć, że OPCJE Swift są realizowane z enum s który nasuwa pytania, w jaki sposób są następnie enum s realizowane. Należy użyć czegoś podobnego do oznaczonych związków C. Na przykład, Swift enum

enum Foo { 
    case None 
    case Name(String) 
    case Price(Double) 
} 

może być mimick'ed w C następująco:

enum {FOO_NONE_, FOO_NAME_, FOO_PRICE_}; 
typedef struct { 
    int flavor; // FOO_NONE_, FOO_NAME_ or FOO_PRICE_ 
    union { 
     char *Name; // payload for FOO_STRING_ 
     double Price; // payload for FOO_DOUBLE_ 
    } u; 
}