SwiftのSequence and IteratorProtocolに準拠

Question

私はIndexingIteratorという自分のバージョンを書いて、Sequenceを理解しています。私は私の構造体でassociatetype Iteratorに型を割り当てていません。しかし、コンパイラはそれについて不平を言っておらず、私はmakeIteratorのデフォルト実装を得ています。続き

は私のコードです：

struct __IndexingIterator<Elements: IndexableBase>: Sequence, IteratorProtocol { 
    mutating func next() -> Elements._Element? { 
     return nil 
    } 
} 
let iterator = __IndexingIterator<[String]>() 
// this works and returns an instance of __IndexingIterator<Array<String>>. why? 
iterator.makeIterator() 

私は、デフォルトの実装を追加Sequence上のいくつかの拡張機能がなければならないと思います。したがって、私はSequence.swiftでそれを検索し、これだけが見つかりました。

extension Sequence where Self.Iterator == Self, Self : IteratorProtocol { 
    /// Returns an iterator over the elements of this sequence. 
    public func makeIterator() -> Self { 
    return self 
    } 
} 

私はそれがこのようなことだろうと思った：

extension Sequence where Self: IteratorProtocol { 
    typealias Iterator = Self 
    ... 
} 

は、私が何かを逃したのか、私は拡張子を誤解しましたか？

Answer 1

Elementに関連付けられたタイプがnext()の実装から推測されるため、タイプエイリアスは必要ありません。アレキサンダーの答えが正しいかのように見えます

protocol ResourceProvider { 
    associatedtype Resoruce 
    func provide() -> Resoruce; 
} 

struct StringProvider { 
    func provide() -> String { // "Resource" inferred to be "String" 
     return "A string" 
    } 
} 

Answer 2

：ここ

は簡単な例です。ここでSequenceを使用せずに、煮詰めたバージョンです：

protocol MySequence { 
    associatedtype Iterator: IteratorProtocol 
    func maakeIterator() -> Iterator 
} 

extension MySequence where Self.Iterator == Self, Self : IteratorProtocol { 
    /// Returns an iterator over the elements of this sequence. 
    func maakeIterator() -> Self { 
     return self 
    } 
} 

struct __IndexingIterator<Element>: MySequence, IteratorProtocol { 
    mutating func next() -> Element? { 
     return nil 
    } 
} 

let iterator = __IndexingIterator<[String]>() 
iterator.maakeIterator() 

Answer 3

はあなたがIteratorProtocol最初にconfrom独自のIteratorを書くことができ、その後、あなたはSequenceにconfromを必要とするものを書きます。

requried funcを実装する必要があることを確認してください。

struct IteratorTest : IteratorProtocol { 
     typealias Element = Int 

     var count : Int 

     init(count :Int) { 
      self.count = count 
     } 

     mutating func next() -> Int? { 
      if count == 0 { 
       return nil 
      }else { 
       defer { 
        count -= 1 
       } 
       return count; 
      } 
     } 
    } 

    struct CountDown : Sequence { 
     typealias Iterator = IteratorTest 
     func makeIterator() -> IteratorTest { 
      return IteratorTest.init(count: 10) 
     } 
    }