主页 / unix / 问题 / 756192
Accepted
justsome631
Asked: 2023-09-10 22:30:12 +0800 CST

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

  • 772

我试图理解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

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

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

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

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

bash

2 个回答

  1. Best Answer

    只是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/扩展可能导致空列表的位置for i in $(some cmd); do ...; done。这些,都是 shell 语言的 POSIX 形式化中的一个 WORD 标记。$var$(some cmd)$var$(some cmd)

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

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

    生成的代码：

    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，即:在该then部分中使用显式的 null 命令，因为 Bourne shell 不允许空then部分。

    • 11

  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 脚本则这样做似乎并不存在，因为要循环的项目的文字列表是如何定义的（即，空列表只是一个不带引号的空字符串）。

    • 7

相关问题