ksh 坏[… ] 语法不会导致错误

Question

我刚刚在 ksh 脚本中找到了以下代码：

  if [ "${file_id}" = "0" ] || [ "${file_id}" = "100" ] || "${file_id}" = "100" ]
  then
    # Do some stuff
  fi

请特别注意，第三个 ${file_id} 之前缺少 [。

我很高兴这不是一个非常令人愉快的语法，即使没有这个错误，而且在 ksh 中 [[ … ]] 通常比 [ … ] 更可取。

然而，这段代码完全按照预期运行，并且 ksh -n 根本不反对上述内容。为什么上面的方法没有失败呢？

Answer 1

if [ "${file_id}" = "0" ] || [“${file_id}”=“100”]|| "${file_id}" = "100" ]

该命令从左到右执行。如果此命令发现 file_id 的值为 0 那么它将不会检查下一个条件，因为这些条件是用 or 运算符分隔的。如果第一个和第二个条件都不满足，那么它将尝试检查第三个条件，但会失败。

file_id=1000
if [ "${file_id}" = "0" ] || [ "${file_id}" = "100" ] || "${file_id}" = "100" ]
then
echo "Exicuted for file_id=$file_id"
fi


ksh: 1000:  not found.

Answer 2

我的第一个猜测是，只要第一个表达式的计算结果为 true，大多数（或所有）Bourne-type shell 都会正确执行。这是预期的行为，因为 && 和 || 实际上使执行短路：即在 a || 中b，如果 a 为真，则不计算 b 部分。

考虑以下内容：

% for sh in ash bash ksh zsh;do

 printf 'running %s with id %d\n\n' "$sh" 0
 "$sh" -c 'file_id=0;[ "${file_id}" -eq 0 ] || oops'

done
running ash with id 0

running bash with id 0

running ksh with id 0

running zsh with id 0


% for sh in ash bash ksh zsh;do

  printf 'running %s with id %d\n\n' "$sh" 1
 "$sh" -c 'file_id=1;[ "${file_id}" -eq 0 ] || oops'

done
running ash with id 1

ash: oops: not found
running bash with id 1

bash: oops: command not found
running ksh with id 1

ksh: oops: not found
running zsh with id 1

zsh:1: command not found: oops

还有更多，您不能在短路表达式的右侧输入您想要的任何内容，因为解析器将在执行之前尝试解析整行（即放错位置的元字符 em> 将导致错误）

% ksh -c 'id=0; [ "$id" -eq 0 ] || )' 
ksh: syntax error: ')' unexpected

还要注意，只要命令（内置或外部）执行被推迟，
shell 无法知道它是否有效。相反，shell 保留字语法和元字符的位置在解析时是已知的：

% ksh -c 'type [ [[;id=0; [ "$id" -eq 0 ] || [[ '
ksh: syntax error: unexpected EOF
% ksh -c 'type [ [[;id=0; [ "$id" -eq 0 ] || [ ' 
[ is a shell builtin
[[ is a reserved word