双括号构造在bash中如何工作? 注释

问题描述

我读过here,双括号允许C风格的变量操作。但是,当我尝试比较字符串时,它没有按预期工作:

(( "a" == "b" )) && echo yes || echo no
# shows yes

对于this如何将变量用作布尔值,我也感到困惑。按照链接的答案中的示例,我尝试了以下操作:

true=1
false=0
a=true
(( a )) && echo yes || echo no
# shows yes
a=false
(( a )) && echo yes || echo no
# shows no

但是a是不是true或false的字符串值?

另外,由于在bash中将“无错误”值(0)设为true,而将任何“错误”值(非零)设为false,为什么在这里看起来像相反的约定?

解决方法

主要要注意的是,双括号构造允许进行算术求值和扩展,而不是内联C解释器。因此,仅适用于Shell Arithmetic中定义的规则,即,仅对整数类型的C运算在双括号中起作用。


第一个示例:bash构造首先扩展

首先根据bash规则扩展算术运算符之外的所有内容,例如在双括号评估开始之前,quotesparameter expansion,bash范围{1..5}和list {a,b}构造。

在第一个示例中,双引号导致内部内容被解释为单个单词(双括号内没有作用),并且还评估了以$开头的内容(但引号中没有内容),因此第一个示例简单地变成了(( a == b ))

因此,了解(( ))的工作方式的最佳方法是首先想到所有bash构造,然后将其插入。您还可以编写示例来检验您的假设。

发生参数扩展的示例:

a=1
b=2
(( a = $b )) # becomes (( a = 2 ))
(( a = b )) # straight arithmetic evaluation of a = b within the double parenthesis
# they produce the same result but how they arrive at the result is different
(( $a = b )) # becomes (( 2 = b ))
# syntax error as that's not a valid expression.

注释

当您比较紧密相关的$(( ))(( ))构造时,有一些特殊之处。如前所述,前者(Arithmetic Expansion)将该表达式视为在双引号中,而后者则不在双引号中。


第二个例子:右值位置的变量递归扩展

Shell Arithmetic中有一些微妙的规则:

  1. “变量的值在被引用时作为算术表达式求值”
  2. “或为使用declare -i被赋予了整数属性的变量分配值”。
  3. “如果不使用参数扩展语法按名称引用,则null或未设置的shell变量的值为0”

稍作尝试后,您将看到,这基本上意味着rvalue中的任何变量都将被递归求值,直到达到整数值或未定义/空变量名:>

b=c
c=d
(( a = b ))
echo $a 
# gives 0
d=3
(( a = b ))
echo $a
# gives 3

unset d
declare -i a
a=b
echo $a
# gives 0
d=3
a=b
echo $a
# gives 3

您还可以通过将表达式放入变量中并稍后对其求值来发挥技巧:

b=2
c=3
d=c
e=b+d
(( a = e ))
echo $a
# gives 5,as it unfolds like a=b+d; a=2+c; a=2+3

因此,在问题的示例中,a的求值为true,然后求值为1以得出最终结果。


(( ))如何颠倒对真与假的解释

(( 0 ))
echo $? # print the return code of the previous call
# prints 1,which indicates error/false in shell

(( 1 ))
echo $?
# prints 0,indicating success/true

(( 2 ))
echo $?
# prints 0

(( -1 ))
echo $?
# prints 0

因此,括号内的行为与C对true和false的解释一致,其中0表示false,非零表示true。 (( ))将false转换为返回值1,将true转换为返回值0。