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

jus*_*631 12 bash posix

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

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
Run Code Online (Sandbox Code Playgroud)

最后一个(几乎是默认的)和前两个是有道理的,引用 posix:

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

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

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

Sté*_*las 13

只是定义wordlist为:

\n
wordlist         : wordlist WORD\n                 |          WORD\n
Run Code Online (Sandbox Code Playgroud)\n

所以一个或多个单词,但for var in ...; do ...; done循环可以循环零个或多个单词,因此需要For name linebreak in sequential_sep do_group覆盖零个单词的情况。

\n

定义wordlist为零个或多个单词

\n
wordlist         : wordlist WORD\n                 | /* empty */\n
Run Code Online (Sandbox Code Playgroud)\n

可能不会那么混乱。

\n

如果你看一下SUSv2,就会发现:

\n
 for_clause       : For name linebreak                            do_group\n                  | For name linebreak in wordlist sequential_sep do_group\n
Run Code Online (Sandbox Code Playgroud)\n
 wordlist         : wordlist WORD\n                  |          WORD\n
Run Code Online (Sandbox Code Playgroud)\n

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

\n
For name linebreak in sequential_sep do_group\n
Run Code Online (Sandbox Code Playgroud)\n

而不是改变 的定义wordlist

\n
\n

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

\n

我们正在谈论的,在 the和 the之间for i in; do ...; done实际上没有任何单词indo

\n

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

\n

生成的代码:

\n
if ...; then\n  list=\' "foo" "bar baz" "$var" \'\nelse\n  list=\nfi\n\neval \'\n  for i in \'"$list"\'; do\n    printf "%s\\n" "$i"\n  done\n\'\n
Run Code Online (Sandbox Code Playgroud)\n

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

\n

或者注释掉一些代码:

\n
for commented_out in; do\n  this code is commented out\ndone\n
Run Code Online (Sandbox Code Playgroud)\n

虽然像这样:

\n
:||:<<\'EOF\'\n  this code is commented out and (harmless) even\n  if it contains invalid syntax\nEOF\n
Run Code Online (Sandbox Code Playgroud)\n

会更惯用。

\n

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

\n

你会发现它不允许也不允许\ if then ...; else ...; fixc2 \xb9 (但显然允许)即使没有真正好的理由禁止它,因为大多数实现(是一个值得注意的例外),从引入它的 Bourne shell 和 POSIX 所在的 Korn shellif; then ...; else ...; fiif ...; then;else ...; fiif $empty; then $empty; else $empty; fizshsh在实践中都窒息了它。

\n
\n

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

\n


Aus*_*arn 7

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

\n

对于 POSIX 兼容行为,您只需使用:

\n
for x in ${items} ; do\n   do_something(x)\ndone\n
Run Code Online (Sandbox Code Playgroud)\n

在这里,\xe2\x80\x99 并不重要${items}为空字符串并不重要,因为如果是空字符串,循环将没有任何内容可循环,只会被跳过。

\n

但是,如果 shell 以不同的方式处理空单词列表的情况(要么根本不处理,要么相当于没有in,那么您将需要(至少):

\n
if [ -n "${items}" ]; then\n    for x in ${items} ; do\n        do_something(x)\n    done\nfi\n
Run Code Online (Sandbox Code Playgroud)\n

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

\n

  • 特别是从问题的最后一段来看,OP实际上是在问“这有什么意义”或“为什么你需要它”,而不是“语法的哪一部分允许这样做”或“为什么语法是这样定义的”这是”。这个答案很好地回答了这个问题。 (2认同)