generics - Swift 要求两个泛型是同一类型

Question

在 Swift 编程语言中我看到了一个例子

func anyCommonElements <T, U where T: Sequence, U: Sequence, T.GeneratorType.Element: Equatable, T.GeneratorType.Element == U.GeneratorType.Element> (lhs: T, rhs: U) -> Bool {
    for lhsItem in lhs {
        for rhsItem in rhs {
            if lhsItem == rhsItem {
                return true
            }
        }
    }
    return false
}

似乎 T.GeneratorType.Element == U.GeneratorType.Element 意味着分解序列时生成的元素共享相同的基础类型。所以我可以做

anyCommonElements("123", "1234")
anyCommonElements([1, 2, 3], [1])

但不是

anyCommonElements("123", [1, 2])

但是T: Sequence, U: Sequence的意思是参数T和U必须是序列，比如String或者Array。

使用 where 子句编写接受两个参数 T 和 U 的函数的正确方法是什么？这两个参数必须是同一类型？省略 T: Sequence, U: Sequence 要求会导致错误“GeneratorType is not member of type T”

Answer 1

正如@conner 所指出的，但您永远不会那样指定它，因为只有一种类型。这样更好:

func functionName<T> (lhs: T, rhs: T) -> Bool { ... }