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

xdyibdwo 于 2023-04-04 发布在 Swift

关注(0)|答案(2)|浏览(121)

我试图实现一个自定义比较中缀运算符==^，作为标准相等运算符==的精简版本
我的应用程序主要是面向协议的，因此我试图在协议扩展中实现默认方法static func ==^。然而，当我使我的类符合协议时，我得到了一个Type 'MySourceNode' does not conform to protocol 'SourceNodeType'错误，Xcode让我添加static func ==^协议存根。
我的问题是，如何正确地在协议扩展中编写默认实现？
我试图在SO上找到答案，但大多数都比较老，而且只讨论在协议扩展之外定义的泛型方法，但在我的情况下似乎不起作用。
这是一个操场文件，里面有我的协议的简化版本。代码后面有一些背景信息。如果有什么不清楚的地方，请在评论中告诉我，我会相应地更新我的问题。

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的SKShapeNode的子类。但我不希望类中的每个变量（如可访问性标签或名称）都进行比较，因为我在将节点添加到场景中时更改了这些值，这部分是在比较之后。

swift

来源：https://stackoverflow.com/questions/67821974/how-to-implement-a-default-method-for-a-custom-infix-operator-in-a-protocol-exte

2条答案

按热度按时间

ttp71kqs1#

我意识到将func ==^方法放在协议之外，并且只使用SourceNodeType协议将其实现为rhs和lhs类型正是我所需要的！
这个答案解决了我的问题：
https://stackoverflow.com/a/41390111/12764795
也许有人能证实这是目前正确的做法？

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

赞(0）回复(0）举报 2023-04-04

idv4meu82#

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

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

我在Swift文档中找不到一个明确的解释，但是如果你试图让一个类型符合那个协议，它将无法编译，也不应该编译。
我的问题是，如何正确地在协议扩展中编写默认实现？
如果你想使用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
    }
}

它将按预期工作，但您仍然无法将其声明为协议要求，因为它将触发：
协议“SourceNodeType”只能用作泛型约束，因为它具有Self或关联类型要求
因为rhs的类型是SourceNodeType。

赞(0）回复(0）举报 2023-04-04

我来回答

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

2条答案

相关问题

热门标签

最新问答