这个泛型类型约束在 Swift 中意味着什么？

Question

查看 Swift 中+= 运算符重载的定义，它允许您将元素添加到集合中：

/// Append the elements of rhs to lhs
func +=<T, C : Collection where T == T>(inout lhs: ContiguousArrayBuffer<T>, rhs: C)
                                ^^^^^^

T == T 约束有什么作用？为什么我们在这里需要它？它看起来像一个微不足道的约束，但总是正确的。

Answer 1

您在 Xcode 中看到的定义实际上不是有效的 Swift 代码。它是从原始文件动态生成的

我认为T == T 部分是生成器在减少原始文件时犯的错误。

我已经尝试自己定义一个类似的函数，T == T 不是必需的，它实际上有时会触发警告。