我可以使用存储在变量中的函数作为 Swift 中的运算符吗？

Question

在 Swift 中，我有兴趣定义一个自定义运算符，我可能希望根据上下文更改其实现。基本上，我想这样做：

infix operator <-> {} // define the operator <->

然后，在我的代码中的某个时刻：

let <-> : (Int, Int) -> Int = (+)  // say that here, <-> means +
2 <-> 5 // obtain 7

我仍然希望能够在代码的其他部分以不同方式定义 <->（并且可能对其他参数类型）。而且我不想声明 funcs，因为分配的函数本身实际上来自外部函数调用。

在 Swift 1.2 中，在 <-> 常量的定义中出现错误“预期模式”。

我做错了什么？有哪些替代方案？

Answer 1

我能想到的最好的是：

infix operator <-> {} // define the operator <->

func <-> (lhs:Int, rhs:Int) -> Int {
    return arrowFunction(lhs, rhs)
}

let arrowFunction : (Int, Int) -> Int = (+)

println("\(2 <-> 7)")

Answer 2

我觉得你试图通过 let 绑定实现的目标不应该首先被期望工作（同时与 Swift 的其余部分保持一致）...我对 PL 理论的了解不足以正确表达我的观点，但是当你用 let 或 var 声明名称时，你事先指定了类型（并且类型保持固定一次）你已经声明了它），但是在这里你不知道实际的类型，直到参数被实际传递。

这不会回答您的问题，但是 - 如果您想要的是语法上的甜蜜 - 这是我想出的一些代码，可以让您 "infixify" 函数。（尽管还没有真正测试过，您可能需要调整优先级等等。它比其他任何东西都更像是开玩笑。）

func ~<T, U, V>(left: T, f: (T, U) -> V) -> (U -> V) {
    return { y in f(left, y) }
}

func ~<U, V>(g: U -> V, right: U) -> V {
    return g(right)
}

var plus = {(a: Int, b: Int) in a + b }

2~plus~2 // 4

[1, 2, 3, 4, 5, 7, 8]~contains~{[=10=] == 6} // false


let dot: ([Double], [Double]) -> Double = { v1, v2 in
    return reduce(lazy(Zip2(v1, v2)).map(*), 0, +)
}

func dot: ([Int], [Int]) -> Int {
return 0 // "fake" dot product
}
[1, 2, 3, 4]~dot~[2, 3, 4, 5] // 0
[1.0, 2, 3, 4]~dot~[2, 3, 4, 5] // 40.0

我可以使用存储在变量中的函数作为 Swift 中的运算符吗？

Can I use a function stored in a variable as operator in Swift?

function

swift

operator-overloading

infix-operator