为什么swift编译器在使用/不使用Equable协议的等号操作符时表现不同

Question

我在Swift 4.0的操场上有一个非常简单的类，它重写了==运算符。

我不明白为什么当类继承/不继承等价协议时，Swift编译器的行为不一样。

这里是继承Equatable协议时的类

class Test: Equatable  {
    var value = 0

    init(_ initialValue:Int) {
        value = initialValue
    }

    static func == (lhs:Test, rhs:Test) -> Bool {
        return lhs.value == rhs.value ? true : false
    }
}

let test1 = Test(0)
var test4:Test? = nil

if test1 == test4 {
    print("test1 and test4 are equals")
} else {
    print("test1 not equals to test4")
}

当该代码执行时，它显示“test1不等于test4”。这是预期的行为。

接下来，当我将“等价”协议从类中移除时

class Test  {
    var value = 0

    init(_ initialValue:Int) {
        value = initialValue
    }

    static func == (lhs:Test, rhs:Test) -> Bool {
        return lhs.value == rhs.value ? true : false
    }
}

let test1 = Test(0)
let test3 = Test(0)

var test4:Test? = nil


if test1 == test4 {
    print("test1 and test4 are equals")
} else {
    print("test1 not equals to test4")
}

我在行上收到编译错误

if test1 == test4 {

并显示以下消息：“可选类型'Test？'的值未展开;您的意思是使用“！”还是“？”？

为什么等同/不等同的行为是不同的？

事实上，当类继承自Equable时，我也期望出现相同的编译错误，因为我将非可选与可选进行了比较。

当一个类继承Equable时，比较非可选和可选是否安全？

Answer 1

如果你命令点击符合Equalable的那个，它会把你带到这里：

/// ....
/// You can also use this OPERATOR TO COMPARE A NON-OPTIONAL VALUE TO AN
/// OPTIONAL that wraps the same type. The non-optional value is wrapped as an
/// optional before the comparison is made. In the following example, the
/// `numberToMatch` constant is wrapped as an optional before comparing to the
/// optional `numberFromString`:
///
///     let numberToFind: Int = 23
///     let numberFromString: Int? = Int("23")      // Optional(23)
///     if numberToFind == numberFromString {
///         print("It's a match!")
///     }
///     // Prints "It's a match!"
///
/// ....
public func ==<T>(lhs: T?, rhs: T?) -> Bool where T : Equatable

但是对于不符合Equatable的版本，你不会得到这个。它将只使用您提供的静态函数。

Answer 2

有一个< code>==运算符

public func ==<T>(lhs: T?, rhs: T?) -> Bool where T : Equatable

如果基础类型是Equable，则允许比较两个可选值。在您的第一种情况下调用该运算符

let test1 = Test(0)
var test4:Test? = nil

if test1 == test4 { ... }

（左操作数自动包装为可选值。）

如果< code>Test不符合< code>Equatable,则运算符不匹配，因此没有< code>==运算符进行两次< code >测试？操作数。因此编译器出错。