Bash数组展开与函数调用相关技术问题解析

环境配置 #

GNU bash, version 3.2.57(1)-release (x86_64-apple-darwin21)
Copyright (C) 2007 Free Software Foundation, Inc.

测试代码 #

check_this() { echo "   FIRST: {$1} SECOND: {$2} THIRD: {$3}"; }

foo=(1 2 3)
expression="${foo[@]}"
echo "via expression:"
check_this "$expression"
echo "directly:"
check_this "${foo[@]}"

输出结果 #

via expression:
   FIRST: {1 2 3} SECOND: {} THIRD: {}
directly:
   FIRST: {1} SECOND: {2} THIRD: {3}

技术问询解答 #

1. 测试案例现象背后的原理 #

核心是变量赋值规则和函数参数传递规则的差异：

• 执行expression="${foo[@]}"时，${foo[@]}展开的数组元素会被默认用空格（当前IFS的第一个字符）拼接成单个字符串，赋值给普通变量expression。
• 调用check_this "$expression"时，带引号的变量会被当作单个整体参数传递，所以$1拿到完整的"1 2 3"，$2、$3为空。
• 直接调用check_this "${foo[@]}"时，带引号的${foo[@]}会被展开成数组每个元素作为独立参数传递，因此$1是1，$2是2，$3是3。

2. 为何带引号的"${foo[@]}"不会展开为单个字符串 #

这是Bash为数组设计的特殊语法规则：带双引号的${foo[@]}会将数组的每个元素都作为独立的参数单元（单词）传递，元素内部的空格会被完整保留，不会被拆分。这个设计的目的是方便将数组元素安全地作为多个独立参数传给命令或函数，避免元素含空格时被错误拆分。

3. 如何让直接调用check_this "${foo[@]}"的行为与通过expression变量调用的行为一致 #

要让直接调用也把数组元素合并成单个参数传递，有两种可行方法：

• 方法一：使用${foo[*]}并加引号：

  check_this "${foo[*]}"
  

• 方法二：手动用IFS连接数组元素为单个字符串：

  check_this "$(IFS=' '; echo "${foo[*]}")"
  

两种方法都会将数组元素用空格拼接成单个字符串，作为$1传递给函数，和expression变量调用的结果完全一致。

4. ${foo[*]}和${foo[@]}的本质及引号的作用 #

本质区别

• ${foo[*]}：代表数组的所有元素，默认会用当前IFS的第一个字符（默认是空格）将元素拼接成单个字符串。
• ${foo[@]}：代表数组的每个独立元素，展开后是多个独立的参数单元，而非单个字符串。

引号的作用

• 对${foo[*]}：
  • 不带引号：拼接后的字符串会被Bash按IFS拆分成多个单词（如果元素含空格，会被拆碎）。
  • 带双引号：直接输出拼接后的完整单个字符串，元素内部的空格会被保留，不会被拆分。
• 对${foo[@]}：
  • 不带引号：和${foo[*]}不带引号的效果一致，所有元素会被按IFS拆分，元素含空格时会被拆成多个单词。
  • 带双引号：将数组每个元素作为独立参数传递，每个元素都是完整的单元，元素内部的空格不会被拆分，这也是处理数组元素的推荐写法。

内容的提问来源于stack exchange，提问作者Frank-Rene Schäfer