Unwrapping общий тип

Question

Скажем, у меня есть переменная с типом

let someVariable: SomeType<AnotherType?> 

, и я уверен, что этот конкретный экземпляр не содержит каких-либо nil из AnotherType?. Есть ли общий способ конвертировать его в SomeType<AnotherType>? Например, мне нужна эта конвертация для использования someVariable в некоторой функции.

Answer 1

Это может идти вдоль этих линий:

protocol _Optional { 
    associatedtype _Wrapped 
    func unveil() -> _Wrapped? 
} 

extension Optional: _Optional { 
    typealias _Wrapped = Wrapped 
    func unveil() -> _Wrapped? { return self } 
} 

extension SomeType where T: _Optional { 
    func rewrap() -> SomeType<T._Wrapped>? { 
     guard let _value = value.unveil() else { return nil } 
     return SomeType<T._Wrapped>(value: _value) 
    } 
} 

struct SomeType<T> { 
    let value: T 
} 

let someValue = SomeType<Int?>(value: 42)  // SomeType<Int?> 
let rewrappedValue = someValue.rewrap()   // SomeType<Int>? 
let forceUnwrappedValue = someValue.rewrap()! // SomeType<Int> 

Особенности зависят от деталей конкретной реализации для SomeType (я использую простейшее предположение в моем примере).