我有一个类似于这个的泛型类: class CT: Equatable { let t: T init(t: T) { self.t = t }} 当我尝试包装Int?在里面,我收到以下错误: // ERROR: Type "Int?" does not conform to protocol 'Equatable'let c = CInt?(t: n
class C<T: Equatable> { let t: T init(t: T) { self.t = t } }
当我尝试包装Int?在里面,我收到以下错误:
// ERROR: Type "Int?" does not conform to protocol 'Equatable' let c = C<Int?>(t: nil)
快速测试显示Int?确实是Equatable:
let a: Int? = 5 let b: Int? = 6 let c = a == b // NO ERROR
也许我今天太累了?
诠释?不等于你需要T才是Equatable.
但是你通过Int? (Optional< Int>的简写符号),它不是Equatable.
可选宣言
您可以通过查看Optional的源声明来验证它
public enum Optional<Wrapped> : _Reflectable, NilLiteralConvertible
没有Equatable.即使_Reflectable和NilLiteralConvertible也不相同.
你的考试
那么为什么你的测试似乎证明了Int?确实是Equatable?
let a: Int? = 5 let b: Int? = 6 let c = a == b // NO ERROR
实际上这并不意味着Int?是Equatable.事实上,您正在调用此函数
public func ==<T : Equatable>(lhs: T?, rhs: T?) -> Bool
正如您所看到的,该函数要求T为Equatable.而自T和T? T是完全不同的类型,这不代表T?也是等同的.