Bash中函数内用declare -A声明的关联数组无法外部访问的问题

问题场景 #

以下脚本尝试在顶层和函数内分别初始化两个关联数组arr_A和arr_B：

#!/bin/bash

declare -A arr_A
arr_A[bar]=42

function foo() {
  declare -A arr_B
  arr_B[bar]=58
  echo "content of arr_B inside foo = ${arr_B[@]}"
}
foo

echo "content of arr_A on top level = ${arr_A[@]}"
echo "content of arr_B on top level = ${arr_B[@]}"

预期输出 #

content of arr_B inside foo = 58
content of arr_A on top level = 42
content of arr_B on top level = 58

实际输出 #

content of arr_B inside foo = 58
content of arr_A on top level = 42
content of arr_B on top level =

原因解析 #

Bash中，在函数内使用declare命令声明变量（包括关联数组）时，默认会将变量设为局部作用域：

• arr_A是在顶层（全局作用域）用declare -A声明的，所以整个脚本都能访问到它的值；
• arr_B是在函数foo内部用declare -A声明的，属于函数的局部变量，当函数执行完毕后，这个局部数组会被销毁，顶层作用域自然无法读取到它的内容。

解决方法 #

要在函数内初始化关联数组并在函数返回后继续使用，有以下几种可行方案：

方案1：使用全局声明符-g #

在函数内声明关联数组时，加上-g选项，强制将其设为全局变量：

#!/bin/bash

declare -A arr_A
arr_A[bar]=42

function foo() {
  # 用 -g 声明全局关联数组
  declare -g -A arr_B
  arr_B[bar]=58
  echo "content of arr_B inside foo = ${arr_B[@]}"
}
foo

echo "content of arr_A on top level = ${arr_A[@]}"
echo "content of arr_B on top level = ${arr_B[@]}"

执行后输出会符合预期。

方案2：提前在全局声明数组，函数内直接赋值 #

如果提前在顶层声明arr_B，函数内就不需要再用declare，直接赋值即可：

#!/bin/bash

declare -A arr_A
declare -A arr_B # 全局声明arr_B
arr_A[bar]=42

function foo() {
  arr_B[bar]=58 # 直接给全局数组赋值
  echo "content of arr_B inside foo = ${arr_B[@]}"
}
foo

echo "content of arr_A on top level = ${arr_A[@]}"
echo "content of arr_B on top level = ${arr_B[@]}"

方案3：通过函数输出传递数组内容（无全局变量污染） #

如果不想使用全局变量，可以让函数输出数组的键值对，在顶层读取后重建数组：

#!/bin/bash

declare -A arr_A
arr_A[bar]=42

function foo() {
  declare -A arr_B
  arr_B[bar]=58
  arr_B[baz]=100
  # 遍历数组，输出"键=值"格式的内容
  for key in "${!arr_B[@]}"; do
    printf "%s=%s\n" "$key" "${arr_B[$key]}"
  done
}

# 读取函数输出，重建全局数组
declare -A arr_B
while IFS='=' read -r key val; do
  arr_B["$key"]="$val"
done < <(foo)

echo "content of arr_A on top level = ${arr_A[@]}"
echo "content of arr_B on top level = ${arr_B[@]}"
echo "arr_B[bar] = ${arr_B[bar]}, arr_B[baz] = ${arr_B[baz]}"

这种方式适合需要避免全局变量污染，或者需要传递多个数组的场景。

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