Функция local read-only или глобальная переменная только для чтения с тем же именем

Я получаю удивительное поведение, когда у меня есть функция локальная переменная только для чтения и глобальная переменная только для чтения с тем же именем.

Когда параметр "только для чтения" удаляется из глобальной декларации. То есть.

declare -r var="main"

изменяется на:

declare var="main"

Я получаю ожидаемое поведение. Я читал справочную страницу bash, но я не могу найти объяснения этого поведения. Не могли бы вы указать мне раздел (разделы) руководства, объясняющего проблему?

Я думаю, что это аналогичная проблема, чем Как лексическая область обзора поддерживается на разных языках оболочки?, но более конкретна.

Подробнее:

$ cat readonly_variable.sh 
#!/bin/bash

# expected output:
#
# BASH_VERSION = 3.2.25(1)-release
# function
# main
#
# but instead getting:
#
# BASH_VERSION = 3.2.25(1)-release
# ./readonly_variable.sh: line 6: local: var: readonly variable
# main
# main
#
# when read-only option (-r) is removed from global declaration (*), the output
# is expected

set -o nounset

function func {
  local -r var="function"
  echo "$var"
}

declare -r var="main" # (*)

echo BASH_VERSION = $BASH_VERSION
echo $(func)
echo $var

exit 0

Я привязан к этой версии bash.

$ ./readonly_variable.sh
BASH_VERSION = 3.2.25(1)-release
./readonly_variable.sh: line 24: local: var: readonly variable
main
main
$

Ответы

Ответ 1

Фактически, для обеспечения безопасности локальные копии общедоступных глобальных переменных явно запрещены, как описано в bash исходном коде (в variables.c:make_local_variable):

Тест на уровне старого_var-контекста заключается в запрете локальных копий только для чтения глобальных переменных (поскольку "я" считаю, что это может быть дырой в безопасности).

(где "Я" не я, я просто цитирую)

/* Since this is called only from the local/declare/typeset code, we can
   call builtin_error here without worry (of course, it will also work
   for anything that sets this_command_name).  Variables with the `noassign'
   attribute may not be made local.  The test against old_var context
   level is to disallow local copies of readonly global variables (since I
   believe that this could be a security hole).  Readonly copies of calling
   function local variables are OK. */
if (old_var && (noassign_p (old_var) ||
   (readonly_p (old_var) && old_var->context == 0)))
{
  if (readonly_p (old_var))
    sh_readonly (name);
  return ((SHELL_VAR *)NULL);
}