Question

我正在玩数组和flatten函数，以便了解Swift如何使用泛型。

但是，以下代码提供了一个通用的错误运行操场＆＃39;弹出窗口，我无法解决原因。

有趣的是，如果我将代码放入项目并尝试编译它，编译器会出现段错误。

import Cocoa

var arr: [[Int]] = [[1,2], [3,4], [5,6]]

func flatten<S: SequenceType, SS: SequenceType, E where S.Generator.Element == SS, SS.Generator.Element == E>(seq: S) -> [E] {
    var result = [E]()

    for subseq: SS in seq {
        for elem: E in subseq {
            result += [elem]
        }
    }

    return result
}

var flattened = flatten(arr)
println(flattened)

有没有人见过这样的东西/找到了解决办法？

可悲的是，我怀疑这可能只是beta中类型推断的错误:(

Answer 1

这肯定是Swift泛型的一些错误（它至少应该显示编译错误而不是显然崩溃）。

至于解决方法，这似乎有效：

func flatten<E>(seq: [[E]]) -> [E] {
    var result = [E]()

    for subseq: [E] in seq {
        for elem: E in subseq {
            result += [elem]
        }
    }

    return result
}

Answer 2

你的flatten实现仍然会崩溃编译器，我仍然认为它是一个错误。但是，如果你这样定义它，它可以工作：

func flatten<S: SequenceType, E where S.Generator.Element: SequenceType, S.Generator.Element.Generator.Element == E>(seq: S) -> [E] {
    var result = [E]()
    for subseq: S.Generator.Element in seq {
        for elem: E in subseq {
            result += [elem]
        }
    }
    return result
}

这实现了您使用任何SequenceType的目标，而不仅仅是数组。（事实上，我希望我们可以返回比[E]更普遍的类型。如果我回到C＃land，我会返回IEnumerable<E>，最接近的SequenceType，得到更加性感的封装.Swift有点漏洞。）

这段代码怎么会导致swift崩溃？

2 个答案: