奇怪的編譯器錯誤與斯威夫特協議從可切片的繼承和添加單個屬性

Question

考慮下面的代碼：

protocol CollectionStreamType: Sliceable { 
    var position: Index { get set } 
} 

class Cell<T> { 
    let contents: T 
    init(_ contents: T) { 
     self.contents = contents 
    } 
} 

enum ParseResult<T, E> { 
    case Matched([T]) 
    case NotMatched 
    case Err(Cell<E>) 
} 

func then<S: CollectionStreamType, T, E where S.SubSlice == S>(parsers: [S -> ParseResult<T, E>])(stream: S) -> ParseResult<T, E> { 
    let position = stream.position 
    // ERROR IS HERE: Type '()' does not conform to protocol 'GeneratorType'. WTH? 
    stream.position = position 
    return .NotMatched 
} 

我正在寫一個解析器組合庫斯威夫特叫吝嗇。它運作良好，但我最近決定用協議CollectionStreamType替換我的具體收集類型。當我這樣做時，我開始有問題。

此代碼不能直接從我的解析器組合庫，但它提煉了問題的本質，並確實對我看到的錯誤，如下所示：

類型「（）」不符合協議'GeneratorType'。

我感到困惑。任何人都有如何解決這個問題的見解？

Answer 1

不是最有用的編譯器錯誤的，但我認爲這是因爲stream是不可變的，所以你不能訪問它的制定者。如果您製作streaminout或var，或者如果您僅製作CollectionStreamType，則編譯此類。