Bash中IFS导致数组输出异常的原因探究

当IFS为默认值（$' \t\n'）时，无引号展开数组${testit[@]}会导致包含空格的元素被拆分；而当IFS中不含空格时，无引号展开数组会保留元素完整性，效果与加引号的"${testit[@]}"一致。以下是实际测试的Shell会话：

bash-5.2$ echo $BASH_VERSION 
+ echo '5.2.21(1)-release'
5.2.21(1)-release
bash-5.2$ declare -a testit=([0]="-H" [1]="foo: bar")
+ testit=(['0']='-H' ['1']='foo: bar')
+ declare -a testit
bash-5.2$ declare -p testit
+ declare -p testit
declare -a testit=([0]="-H" [1]="foo: bar")
bash-5.2$ IFS=$' \t\n'
+ IFS='         '
bash-5.2$ declare -p IFS
+ declare -p IFS
declare -- IFS=$' \t\n'
bash-5.2$ echo ${testit[@]}
+ echo -H foo: bar
-H foo: bar
bash-5.2$ curl [::1] ${testit[@]}
+ curl '[::1]' -H foo: bar
GET / HTTP/1.1
Host: [::1]
User-Agent: curl/8.5.0
Accept: */*

curl: (6) Could not resolve host: bar
bash-5.2$ echo "${testit[@]}"
+ echo -H 'foo: bar'
-H foo: bar
bash-5.2$ curl [::1] "${testit[@]}"
+ curl '[::1]' -H 'foo: bar'
GET / HTTP/1.1
Host: [::1]
User-Agent: curl/8.5.0
Accept: */*
foo: bar

bash-5.2$ IFS=$'_\t\n'
+ IFS='_        '
bash-5.2$ declare -p IFS
+ declare -p IFS
declare -- IFS=$'_\t\n'
bash-5.2$ echo ${testit[@]}
+ echo -H 'foo: bar'
-H foo: bar
bash-5.2$ curl [::1] ${testit[@]}
+ curl '[::1]' -H 'foo: bar'
GET / HTTP/1.1
Host: [::1]
User-Agent: curl/8.5.0
Accept: */*
foo: bar

bash-5.2$ echo "${testit[@]}"
+ echo -H 'foo: bar'
-H foo: bar
bash-5.2$ curl [::1] "${testit[@]}"
+ curl '[::1]' -H 'foo: bar'
GET / HTTP/1.1
Host: [::1]
User-Agent: curl/8.5.0
Accept: */*
foo: bar

差异产生的核心原因 #

1. IFS的双重作用：拼接分隔与单词拆分 #

IFS在Bash中有两个关键作用：

• 数组拼接分隔符：无引号展开${testit[@]}时，会用IFS的第一个字符把数组元素拼接成字符串；
• 单词拆分规则：拼接完成后，Bash会对这个字符串执行单词拆分——所有IFS包含的字符都会被当作单词分隔符，将字符串拆分成多个独立参数。

2. 默认IFS含空格时的拆分逻辑 #

当IFS包含空格时：

• 数组元素foo: bar拼接后会和-H一起形成字符串-H foo: bar；
• 单词拆分阶段，空格属于IFS字符，所以会把foo: bar拆成foo:和bar两个独立参数；
• 最终curl收到的参数是[::1]、-H、foo:、bar，curl会把bar误判为要访问的主机，导致解析错误。

3. IFS不含空格时的保留逻辑 #

当IFS移除空格后：

• 数组拼接后的字符串依然是-H_foo: bar（用IFS第一个字符_分隔）；
• 单词拆分阶段，空格不属于IFS字符，所以不会拆分foo: bar；
• 同时，Bash在处理数组无引号展开时，会自动忽略拼接用的IFS分隔符，直接将每个数组元素作为独立参数传递，最终curl收到的参数是[::1]、-H、foo: bar，请求正常执行。

4. 关于"IFS仅用首个字符"的误区 #

你提到的"输出时IFS仅使用首个字符"只是数组拼接阶段的行为，但真正影响参数传递的是单词拆分阶段——这个阶段会用到IFS中的所有字符，而非仅第一个。空格作为默认的单词分隔符，其存在与否直接决定了包含空格的元素是否会被拆分。

内容的提问来源于stack exchange，提问作者Larry