swift - 在Swift中扩展SequenceType

我想知道为什么map()中的filter()和SequenceType同时返回Array。
实际上，我觉得没必要。再次返回序列对我来说更明智。
但是，我在尝试添加顺序版本时遇到了问题。这是我对地图的尝试：

extension SequenceType {

   func seqMap<T, S: SequenceType where S.Generator.Element == T>(
        transform: Self.Generator.Element -> T) -> S
   {
        var sourceGen = generate()
        let tGen: AnyGenerator<T> = anyGenerator {
            if let el = sourceGen.next() {
                return transform(el)
            } else {
                return nil
            }
        }
        return AnySequence { tGen }
    }
}

xcode在最后一条返回语句中告诉我以下错误：

cannot invoke initializer for type 'AnySequence<T>' with an argument list of type '(() -> AnyGenerator<T>)'
note: overloads for 'AnySequence<T>' exist with these partially matching parameter lists: (S), (() -> G)

实际上，我的tGen是() -> G类型，那么xcode为什么认为它是不明确的呢？

最佳答案

如果拆分return语句，问题会变得更明显：

let tSeq = AnySequence { tGen }
return tSeq // error: cannot convert return expression of type 'AnySequence<T>' to return type 'S'

编译器将从上下文推断占位符类型S。
方法调用，可以是任何序列
元素类型为T的类型，不一定是AnySequence。
下面是一个简单的示例，演示了相同的问题：

protocol MyProtocol { }
struct MyType { }
extension MyType : MyProtocol { }

func foo<P : Protocol>() -> P {
    return MyType() // error: cannot convert return expression of type 'MyType' to return type 'P'
}

要解决此问题，请将返回类型更改为AnySequence<T>
并删除泛型类型：

extension SequenceType {

    func seqMap<T>(transform: Self.Generator.Element -> T) -> AnySequence<T>
    {
        var sourceGen = generate()
        let tGen: AnyGenerator<T> = anyGenerator {
            if let el = sourceGen.next() {
                return transform(el)
            } else {
                return nil
            }
        }
        return AnySequence { tGen }
    }
}

可以更简洁地写为

extension SequenceType {

    func seqMap<T>(transform: Self.Generator.Element -> T) -> AnySequence<T>
    {
        var sourceGen = generate()
        return AnySequence(anyGenerator {
            sourceGen.next().map(transform)
        })
    }
}

使用S类型的map()方法。
但是请注意Optional已经有一个SequenceType方法返回
alazy：

/// A sequence containing the same elements as a `Base` sequence, but
/// on which some operations such as `map` and `filter` are
/// implemented lazily.
///
/// - See also: `LazySequenceType`
public struct LazySequence<Base : SequenceType>

你可以使用

someSequence.lazy.map { ... }

获取映射值的序列（延迟计算）。