Bash导出函数跨Shell的可见性问题探究

我做了一项实验，验证Bash导出的函数在经过不同Shell组成的进程链中转后是否仍可见，结果发现导出的函数有时仍能被识别。我想搞清楚：作为Bash特定功能、不属于POSIX标准环境变量的导出函数，为什么能在部分Shell间维持环境可见性，背后的实现机制是什么？我猜测导出函数的声明是以字符串形式存在某个环境变量里，但不清楚为什么对不兼容Shell不可见，以及它是如何在环境中传递的。

实验代码 #

#!/usr/bin/env bash

LANG=C

# Declare function and export it
fn(){ printf 'Hello World\n';}
export -f fn

# Standard usage, call exported function within a child bash
bash -c fn

# Available shells for tests
available_shells=()
for sh in ash bash dash ksh tcsh zsh
do
  if shell_path=$(command -v "$sh" 2> /dev/null)
  then
    available_shells+=("$shell_path")
    real_shell_path=$(realpath "$shell_path")
    shell_version=$(
      read -r pkg < <(apt-file search "${real_shell_path#/usr}" | awk -F: '{print $1}')
      dpkg -s "$pkg" | awk '/Version:/{print $2}'
    )
    printf 'Found: %s\tversion: %s\n' "$shell_path" "$shell_version"
  fi
done

# Test transversal visibility of exported fn through different shells
for sh in "${available_shells[@]}"; do
  printf "Testing %s -c 'bash -c fn':\n" "$sh"
  "$sh" -c 'bash -c fn'
  printf "\n"
done

实验结果 #

Hello World
Found: /usr/bin/ash     version: 0.5.12-2ubuntu1
Found: /usr/bin/bash   version: 5.2.15-2ubuntu1
Found: /usr/bin/dash   version: 0.5.12-2ubuntu1
Found: /usr/bin/ksh     version: 1.0.4-3
Found: /usr/bin/tcsh    version: 6.24.07-1
Found: /usr/bin/zsh     version: 5.9-4
Testing /usr/bin/ash -c 'bash -c fn':
bash: line 1: fn: command not found

Testing /usr/bin/bash -c 'bash -c fn':
Hello World

Testing /usr/bin/dash -c 'bash -c fn':
bash: line 1: fn: command not found

Testing /usr/bin/ksh -c 'bash -c fn':
Hello World

Testing /usr/bin/tcsh -c 'bash -c fn':
Hello World

Testing /usr/bin/zsh -c 'bash -c fn':
Hello World

机制解析 #

1. Bash导出函数的存储方式 #

Bash导出函数时，会将函数定义编码为特殊格式的环境变量：

• 变量名格式为BASH_FUNC_<函数名>()=，比如导出fn后，环境中会新增变量BASH_FUNC_fn()=
• 变量值为函数的定义字符串，格式是() { printf 'Hello World\n';}

这种变量是Bash特有的，不属于POSIX标准定义的环境变量范畴。

2. 不同Shell对特殊环境变量的处理差异 #

• 严格遵循POSIX的Shell（ash/dash）：POSIX标准要求环境变量名只能包含字母、数字和下划线，且不能以数字开头。BASH_FUNC_<name>()=里的圆括号()不符合命名规范，因此这类Shell在启动时会过滤掉这类变量，不会将它们传递给子进程。后续启动的bash就拿不到函数对应的环境变量，自然无法识别fn函数。
• 兼容性更强的Shell（bash/ksh/zsh/tcsh）：这些Shell对环境变量名的限制更宽松，允许包含特殊字符（比如圆括号），因此会完整保留这类Bash特有的环境变量，并传递给子进程。当子bash启动时，会自动扫描环境中所有BASH_FUNC_*()格式的变量，将它们转换为对应的Shell函数，因此fn能被正常调用。

内容的提问来源于stack exchange，提问作者Léa Gris