Swift：在子类中覆盖==仅在超类中导致==的调用

Swift：在子类中覆盖==仅在超类中导致==的调用

A

为

Array<A>

包含的平等调用for的原因

B

是，自由函数的重载是静态解决的，而不是动态解决的-
也就是说，在编译时基于类型，而不是在运行时基于指向的值。

鉴于

==

没有在类内部声明然后在子类中重写，这不足为奇。这看似非常有限，但说实话，使用传统的OO技术定义多态相等性非常困难（并且在欺骗上）。有关更多信息，请参见此链接和本文。

天真的解决方案可能是在中定义动态分派的函数

A

，然后定义

==

为仅调用该函数：

class A: Equatable {    func equalTo(rhs: A) -> Bool {        // whatever equality means for two As    }}func ==(lhs: A, rhs: A) -> Bool {    return lhs.equalTo(rhs)}

然后在实现时

B

，您将覆盖

equalTo

：

class B: A {    override func equalTo(rhs: A) -> Bool {        return (rhs as? B).map { b in return // whatever it means for two Bs to be equal        } ?? false   // false, assuming a B and an A can’t be Equal    }}

你还要做一个

as?

舞蹈，因为你需要确定右手参数是一个

B

（如果

equalTo

采取了

B

直接，它不会是一个合法的覆盖）。

这里还隐藏着一些可能令人惊讶的行为：

let x: [A] = [B()]let y: [A] = [A()]// this runs B’s equalTox == y// this runs A’s equalToy == x

即，参数的顺序改变了行为。这不好-人们期望平等是对称的。因此，实际上您需要上面链接中描述的一些技术才能正确解决此问题。

在这一点上，您可能会觉得所有这些都变得不必要了。可能是这样，尤其是考虑

Equatable

到Swift标准库文档中的以下注释：

平等意味着可替代性 。当和 时

x == y

， 在仅取决于其值的任何代码中均可互换。

x``y

用三等号区分的类实例标识

===

显然不是实例值的一部分。暴露的其他非增值环节

Equatable

的类型是气馁，任何 被
暴露应该被文件明确指出。

鉴于此，

Equatable

如果您实现平等的方式 不是
让两个相等的值相互替代而感到满意，那么您可能会很想重新考虑自己的实现。避免这种情况的一种方法是将对象标识视为相等性的度量，并

==

根据

===

进行实现，对于超类仅需要执行一次。另外，您可能会问自己，您
真的 需要实现继承吗？如果没有，请考虑放弃它，而使用值类型，然后使用协议和泛型来捕获您要查找的多态行为。