2

在三元运算符的上下文中，我无法理解关联性的概念。在大多数情况下，三元运算符如下所示：

a ? b : c

在这种情况下，不需要关联性来评估表达式。但有时，三元运算符是嵌套的：

a ? b : c ? d : e
a ? b : (c ? d : e) // : is right-associative

但是，嵌套也可以反转

a ? b ? c : d : e
a ? (b ? c : d) : e // : is left-associative

解释这种现象的最佳方法是什么？您能否认为:运算符的关联性取决于上下文，或者我在这里遗漏了什么？

当一个人想要定义自己的三元运算符时，关联性问题就变得相关了，例如在 Swift 中：

infix operator ? { associativity right precedence 120 }
infix operator : { associativity left precedence 130 }
4

1 回答 1

4

三元运算符始终是右结合的

三元运算符是右关联的，正如我们在您的第一个示例中看到的（正如我们在下面看到的，如果我们想让相应的if-else块包含除计算为布尔值的表达式之外的任何内容，这是我们唯一的选择）。请注意，您的第二个示例没有留下空间关联性，因此它没有显示三元运算符的任何左关联性示例。

/* example 1 */
a ? b : c ? d : e 
==> { right-ass. } => a ? b : (c ? d : e), OK
==> { left-ass. } => (a ? b : c) ? d : e
/*                        |___|
                             \ not OK: since then both of these must be 
                               booleans: that is restriction we don't have */

/* example 2 */ 
a ? b ? c : d : e
==> { only-valid-splitup } => a ? (b ? c : d) : e

(a ? b ? c) : d : e
/* |___|
      \ not valid, there's no ? ? ternary operator */

a ? b ? (c : d : e)
/*         |___|
              \ not valid, there's no : : ternary operator */

因此，即使嵌套三元运算符表达式，三元运算符的关联性也是明确定义的。但是请注意，这样做会降低代码的可读性，甚至在《语言指南 - 基本运算符》中完全不建议这样做

...

但是，请谨慎使用三元条件运算符。如果过度使用，它的简洁性会导致代码难以阅读。避免将三元条件运算符的多个实例组合成一个复合语句。

三元运算符：不是两个一元运算符，而是一个自己的唯一运算符

三元运算符是一种特殊的运算符，与 Swift 中的任何其他运算符都没有真正的直接关系。所有其他都属于一元和二元运算符家族。

  • 一元运算符...

  • 二元运算符...

  • 三元运算符对三个目标进行操作。与 C 一样，Swift 只有一个三元运算符，即三元条件运算符 (a ? b : c)。

来自语言指南 - 基本运算符。

由于我们只允许在 Swift 中自定义定义自己的prefix（一元）和infix（二元）运算符，我怀疑您将很难实现自己的真正三元运算符，因为您仅限于将其用作两个单独的一元中缀运算符?and :，这自然与单个三元运算符不同。（你总是可以看看Nate Cook 的这篇有点老的博客文章，解释如何通过使用两个二元运算符来模拟三元运算符，但是由于 Swift 3 中将删除柯里化，我不知道这是否可能未来的 Swift 版本）。

于 2016-03-30T21:52:22.213 回答