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不是T类型的成员"

Answer 1

正如@conner所指出的那样,你永远不会那样指定它,因为只有一种类型.这个更好:

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