ruby - 为什么 truth && "string"返回 "string"

Question

假设我有一个类似的东西

true && true #=> true

这是有道理的，所以我尝试这样的事情:

true && "dsfdsf" #=> "dsfdsf"

这让我很惊讶，因为很多时候我会做类似 if something && something 的事情，我一直认为那是评估为 true 并且会返回 true。进一步的实验做这样的事情:

jruby-1.7.3 :009 > "ad" && "dsf"
 => "dsf" 
jruby-1.7.3 :010 > "ad" && "sdfd" && nil
 => nil 
jruby-1.7.3 :011 > "ad" && nil && "sdf"
 => nil 

使 Ruby 看起来要么返回最后一个值(如果全部为 true)，要么返回它找到的第一个 false 值。为什么要这样做？这是正确的心理模型吗？

Answer 1

ruby 中的 bool 运算符是短路:如果可以从左侧参数确定表达式的值，则不会计算右侧参数。

因此，评估涉及 && 的 bool 表达式的更简单的心理模型是考虑第一个仅涉及两个操作数的表达式:首先评估左侧操作数；如果此操作数的值为 nil 或 false，则返回操作数并且不计算右侧操作数；如果左侧操作数是其他任何内容，则计算右侧运算符并返回其值。

根据这个定义，很明显，正如您所注意到的，涉及 bool 运算符的表达式不会返回 true 或 false，而只是一个 true 值 或 假值。值得注意的是，这在 bool 表达式仅用于其true-ness 或false-ness 的上下文中没有任何区别。

作为左结合的 bool 运算符，很容易确定包含多个运算符的表达式的求值顺序，记住 && 的优先级高于 || (注意 and 和 or 具有相同的优先级)。完成此操作后，我们可以很容易地看到表达式的值是最后评估的元素，即允许确定整体真性或假性的元素的表达。

在您的示例中(仅由 && 运算符组成的表达式)一旦遇到第一个 假值 或在最后一个之后，表达式的值就已知元素已被评估为真实值；因此，如果它前面的所有元素都是 true 值，则最后计算的元素将是最后一个元素，如果遇到任何元素，则将是第一个 false 值元素。

您可能想知道为什么表达式的值没有转换为 true 或 false；实际上，这种行为可以用在像这样的成语中

x = x || default

或更简短的

x ||= default

用于检查 x 是否为 nil，在这种情况下，为其分配一个默认值。