☰

为什么 POSIX for 循环允许在 ; 中使用 `for 名称do`（列表中没有单词）语法？

tag-icon • tag-icon bash posix
为什么 POSIX for 循环允许在 ; 中使用 `for 名称do`（列表中没有单词）语法？

我试图理解 for 循环语法POSIX shell 语法规则:

for_clause       : For name                                      do_group
                 | For name                       sequential_sep do_group
                 | For name linebreak in          sequential_sep do_group
                 | For name linebreak in wordlist sequential_sep do_group

最后一个（几乎是默认的）和前两个是有道理的，引用 posix：

省略： in word... 应等同于： in "$@"

所以前两个只是循环 shell 脚本的参数。

我只是不明白由组成的 for 循环是如何for name in; do echo $name; done有意义的。我认为它仍然只是循环 shell 脚本的参数，但创建一个小脚本似乎并非如此。 for 循环似乎有点被忽略了。那么第三个变体的目的是什么？

答案1

只是wordlist定义为：

wordlist         : wordlist WORD
                 |          WORD

所以一个或多个话，但for var in ...; do ...; done循环可以循环零个或多个的话，所以它需要For name linebreak in sequential_sep do_group涵盖的情况零字。

定义wordlist为零个或多个单词:

wordlist         : wordlist WORD
                 | /* empty */

可能不会那么混乱。

如果你看SUSv2， 有：

 for_clause       : For name linebreak                            do_group
                  | For name linebreak in wordlist sequential_sep do_group

 wordlist         : wordlist WORD
                  |          WORD

这意味着不允许使用空列表。所以看起来发生的事情是在 SUSv3 中，他们通过添加以下内容来修复该遗漏：

For name linebreak in sequential_sep do_group

而不是改变 的定义wordlist。

请注意，我们在这里讨论的是 shell 语言语法，因此它不是关于/扩展可能导致空列表的for i in $var; do ...; done位置。这些,都是 shell 语言的 POSIX 形式化中的一个 WORD 标记。for i in $(some cmd); do ...; done$var$(some cmd)$var$(some cmd)

我们是谈论for i in; do ...; done，实际上没有单词在in和之间do。

我同意代码并不是特别有用。人们没有理由编写一个显式不循环任何内容的循环。人们可以想到的一些原因：

生成的代码：

if ...; then
  list=' "foo" "bar baz" "$var" '
else
  list=
fi

eval '
  for i in '"$list"'; do
    printf "%s\n" "$i"
  done
'

或者任何生成sh脚本并for在显式参数上构造循环的东西。

或者注释掉一些代码：

for commented_out in; do
  this code is commented out
done

虽然像这样：

:||:<<'EOF'
  this code is commented out and (harmless) even
  if it contains invalid syntax
EOF

会更惯用。

我没有找到导致标准修改的更改请求，但我想他们更改它主要是因为所有现有的 shell 实现都允许for i in; do ...; done，所以在标准中没有必要禁止它。

你会发现它不允许if then ...; else ...; fiNor if; then ...; else ...; fiNor if ...; then;else ...; fi1 （但if $empty; then $empty; else $empty; fi显然允许），即使没有真正充分的理由禁止它，因为大多数实现（zsh这是一个值得注意的例外），从引入它的 Bourne shell 和 Korn 开始POSIXsh规范所基于的 shell 实际上会被它阻塞。

1 实际上，在没有关键字!来否定管道退出状态的 Bourne shell 中，您必须编写if cmd; then :; else command if cmd fails; fi来代替if ! cmd; then command if cmd fails; fi，即:在该部分中使用显式的 null 命令，then因为 Bourne shell 不允许空then部分。

答案2

最好用一个例子来说明这种行为的原因。假设您有一个名为的变量${items}，并且需要对该变量中的每个单词调用一个函数，但在某些情况下它可能会计算为空字符串。

对于 POSIX 兼容行为，您只需使用：

for x in ${items} ; do
   do_something(x)
done

在这里，计算结果是否为空字符串并不重要${items}，因为如果是空字符串，循环将没有任何内容可循环，只会被跳过。

但是，如果 shell 以不同的方式处理空单词列表的情况（要么根本不处理，要么相当于没有 的形式之一in），那么您将需要（至少）：

if [ -n "${items}" ]; then
    for x in ${items} ; do
        do_something(x)
    done
fi

因此，在必须迭代未知长度的可能为空的项目列表的相对常见情况下，此行为（至少）可以为您节省一定程度的缩进和额外的条件检查。许多其他具有迭代项目集合的 for 循环的语言（例如 Python 或 JavaScript）也以完全相同的方式运行，它们只是明确要求向循环提供变量（或文字），而 shell 脚本则这样做似乎并不存在，因为要循环的项目的文字列表是如何定义的（即，空列表只是一个不带引号的空字符串）。

相关内容