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要求会导致错误＆＃34; GeneratorType不是T＆＃34;

类型的成员

Answer 1

正如@conner所说，但你永远不会那样指定，因为只有一种类型。这样更好：

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

Answer 2

如果您希望两个参数都是相同的类型，则可以对它们使用相同的泛型。类似的东西：

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

Swift要求两个泛型具有相同的类型

2 个答案: