Swift Почему мой генераторный протокол не работает?

Question

Я думаю, что мое познание для типов Swift/протоколов/дженериков переполнилось. Я использую шаблон расширения «входной поток байтов», делая что-то вроде:

extension GeneratorType where Element == UInt8 { 
    func foobar() { 
     ... 
    } 
} 

Он работал в прошлом для простых вещей. И сегодня я играл со следующим:

protocol Unpackable { 
    static func unpack(inout input:IndexingGenerator<[UInt8]>) -> Self 
} 

extension UInt8:Unpackable { 
    static func unpack(inout input:IndexingGenerator<[UInt8]>) -> UInt8 { 
     return input.next()! 
    } 
} 

extension UInt16:Unpackable { 
    static func unpack(inout input:IndexingGenerator<[UInt8]>) -> UInt16 { 
     return UInt16(input.next()!) | (UInt16(input.next()!) << 8) 
    } 
} 

Хорошо работает. Но если я пытаюсь поставить два вместе с чем-то вроде

extension GeneratorType where Element == UInt8 { 
    func unpackAll() -> (UInt8, UInt16) { 
     return (UInt8.unpack(&self), UInt16.unpack(&self)) 
} 

тогда я получаю следующее сообщение об ошибке:

Cannot convert value of type 'Self' to expected argument type 'IndexingGenerator<[UInt8]>' 

ли не IndexingGenerator соответствовать GeneratorType? Является ли его элемент не UInt8? Является ли ошибка при использовании IndexingGenerator? Я не могу указать типы аргументов как GeneratorType (хотя я действительно хотел бы иметь возможность).

Я все еще жду, чтобы лампочка мерцала для типов Swift. В некоторые дни мне очень нравится этот язык. В другие дни, я чувствую, что я кричу на свою собаку, пытаясь заставить его прийти, и он просто смотрит на меня, не двигаясь, затем все равно поворачивается и преследует улицу.

Answer 1

Попробуйте это:

extension GeneratorType where Element == UInt8 { 
    func unpackAll() -> (UInt8, UInt16)? { 
     guard let _self = self as? IndexingGenerator<[Element]> else { return nil } 
     var vSelf = _self 
     return (UInt8.unpack(&vSelf), UInt16.unpack(&vSelf)) 
    } 
} 

---

Update:

protocol Unpackable { 
    static func unpack<T : GeneratorType where T.Element == UInt8>(inout input:T) -> Self 
} 

extension UInt8: Unpackable { 
    static func unpack<T : GeneratorType where T.Element == UInt8>(inout input: T) -> UInt8 { 
     return input.next()! 
    } 
} 

extension UInt16: Unpackable { 
    static func unpack<T : GeneratorType where T.Element == UInt8>(inout input: T) -> UInt16 { 
     return UInt16(input.next()!) | (UInt16(input.next()!) << 8) 
    } 
} 

extension GeneratorType where Element == UInt8 { 
    mutating func unpackAll() -> (UInt8, UInt16) { 
     return (UInt8.unpack(&self), UInt16.unpack(&self)) 
    } 
}