如何在协议扩展中为自定义中缀运算符实现默认方法

Question

我正在尝试将自定义比较中缀运算符 ==^ 实现为标准相等运算符 ==

的精简版

我的应用主要是面向协议的，因此我试图在协议扩展中实现默认方法 static func ==^。但是，当我使我的 class 符合协议时，我收到 Type 'MySourceNode' does not conform to protocol 'SourceNodeType' 错误并且 Xcode 让我添加 static func ==^ 协议存根。

我的问题是，如何在协议扩展中正确编写默认实现？

我试图在 SO 上找到答案，但大多数答案都比较老，而且只讨论在协议扩展之外定义的通用方法。但这对我来说似乎不起作用。

这是一个 playground 文件，其中包含我的协议的简化版本。代码后有一些背景信息。如果有什么不清楚的地方，请在评论中告诉我，我会相应地更新我的问题。

import Foundation
import SpriteKit

infix operator ==^: ComparisonPrecedence

protocol SourceNodeType: SKShapeNode {

    var constrainZRotation: SKConstraint! { get set }
    func setConstraints()

    static func ==^ (lhs: SourceNodeType, rhs: SourceNodeType) -> Bool

}

extension SourceNodeType {

    func setConstraints() {
        print("Setting constraints")
    }

    static func ==^ (lhs: SourceNodeType, rhs: SourceNodeType) -> Bool {
        lhs.frame == rhs.frame &&
            lhs.position == rhs.position &&
            lhs.constrainZRotation == rhs.constrainZRotation
    }
}

class MySourceNode: SKShapeNode, SourceNodeType {

    var constrainZRotation: SKConstraint!

}

解释这个自定义中缀运算符背后的原因。我需要它，因为我经常比较 SpriteKit 的 SKShapeNodes 的 subclasses。但我不希望 class 中的每个变量（如可访问性标签或名称）都进行比较，因为我在将节点添加到场景时更改了这些值，这部分是在比较之后。

Answer 1

我意识到将 func ==^ 方法放在协议之外，并且只使用 SourceNodeType 协议实现它，因为 rhs 和 lhs 类型正是我所需要的！

这个答案解决了我的问题：

也许有人可以确认这是当前正确的方法？

import Foundation
import SpriteKit

infix operator ==^: ComparisonPrecedence

func ==^ (lhs: SourceNodeType, rhs: SourceNodeType) -> Bool {
    lhs.frame == rhs.frame &&
        lhs.position == rhs.position &&
        lhs.constrainZRotation == rhs.constrainZRotation
}

protocol SourceNodeType: SKShapeNode {
    var constrainZRotation: SKConstraint! { get set }
    func setConstraints()
}

extension SourceNodeType {
    func setConstraints() {
        print("Setting constraints")
    }
}

class MySourceNode: SKShapeNode, SourceNodeType {
    var constrainZRotation: SKConstraint!
}

let lhsSourceNode = MySourceNode(circleOfRadius: 10)
var rhsSourceNode = MySourceNode(circleOfRadius: 10)
print(lhsSourceNode ==^ rhsSourceNode) // TRUE

rhsSourceNode.name = "Name used for testing"
print(lhsSourceNode ==^ rhsSourceNode) // TRUE

rhsSourceNode.position.y += 100

print(lhsSourceNode ==^ rhsSourceNode) // FALSE

Answer 2

问题是，您无法满足这种协议要求：

static func ==^ (lhs: SourceNodeType, rhs: SourceNodeType) -> Bool

我在Swift Documentation but if you try to make a type conform to that protocol it won't compile and it's not supposed to中找不到明确的解释。

My question is, how do I properly write the default implementation inside the protocol extension?

如果您想使用 SourceNodeType 类型的参数，使用自由函数是 最直接的 方法，但是删除运算符要求会消除编译器错误，即：

protocol SourceNodeType: SKShapeNode {

    var constrainZRotation: SKConstraint! { get set }
    func setConstraints()
}

直到您尝试使用您的接线员：

let node = MySourceNode()
let otherNode = MySourceNode()
node ==^ otherNode // Generic parameter 'Self' could not be inferred

您仍然可以通过声明解决此问题：

extension SourceNodeType {
    static func ==^ (lhs: Self, rhs: SourceNodeType) -> Bool {
        lhs.frame == rhs.frame &&
            lhs.position == rhs.position &&
            lhs.constrainZRotation == rhs.constrainZRotation
    }
}

它将按预期工作，但您仍然无法将其声明为协议要求，因为它会触发：

Protocol 'SourceNodeType' can only be used as a generic constraint because it has Self or associated type requirements

因为 rhs 的类型是 SourceNodeType.

如何在协议扩展中为自定义中缀运算符实现默认方法

How to implement a default method for a custom infix operator in a protocol extension

extension-methods

protocols

infix-operator

swift