令人惊讶的阵列扩展行为

Question

我(!!)对以下示例中标记的行感到惊讶:

log1 () { echo $@; }
log2 () { echo "$@"; }

X=(a b)
IFS='|'

echo ${X[@]}   # prints a b
echo "${X[@]}" # prints a b
echo ${X[*]}   # prints a b
echo "${X[*]}" # prints a|b
echo "---"
log1 ${X[@]}   # prints a b
log1 "${X[@]}" # prints a b
log1 ${X[*]}   # prints a b
log1 "${X[*]}" # prints a b (!!)
echo "---"
log2 ${X[@]}   # prints a b
log2 "${X[@]}" # prints a b
log2 ${X[*]}   # prints a b
log2 "${X[*]}" # prints a|b

以下是我对行为的理解:

• ${X[*]}并${X[@]}扩大到a b
• "${X[*]}" 扩展到 "a|b"
• "${X[@]}" 扩展到 "a" "b"
• $*和$@具有相同的行为${X[*]}和${X[@]},除了它们的含量为程序或函数的参数

这似乎是由bash手册证实的.

log1 "${X[*]}"因此,在该行中,我希望引用的表达式扩展为"a | b",然后传递给log1函数.该函数有一个显示的字符串参数.为什么会发生其他事情？

如果您的答案得到手动/标准参考的支持,那就太酷了!

Answer 1

IFS不仅用于连接元素${X[*]},还用于分割不带引号的扩展$@.对于log1 "${X[*]}",发生以下情况:

1. "${X[*]}"扩展到a|b预期,因此$1设置为a|b内部log1.
2. 当$@(未引用)展开时,结果字符串为a|b.
3. 不带引号的扩展经过分词|作为分隔符(由于全局值IFS),因此echo接收两个参数,a和b.

Answer 2

那是因为$IFS设置为|:

(X='a|b' ; IFS='|' ; echo $X)

输出:

a b

man bash 说:

IFS内部字段分隔符,用于扩展后的单词拆分...