Действительно ли скобки помещают команду в подоболочку?

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

x=1

Запуск (echo $x)в командной строке приводит к 1

Запуск echo $xв скрипте ничего не дает, как и ожидалось

Подоболочка начинается с почти идентичной копии исходного процесса оболочки. Под капотом оболочка вызывает forkсистемный вызов ¹ , который создает новый процесс, чей код и память являются копиями ² . Когда подоболочка создана, между ней и ее родителем очень мало различий. В частности, они имеют одинаковые переменные. Даже $$специальная переменная сохраняет то же значение в подоболочках: это идентификатор процесса исходной оболочки. Точно так же $PPIDPID родителя оригинальной оболочки.

Несколько оболочек изменяют несколько переменных в подоболочке. Bash устанавливает BASHPIDPID процесса оболочки, который изменяется в подоболочках. Bash, zsh и mksh обеспечивают $RANDOMполучение разных значений в родительском и подоболочке. Но кроме встроенных особых случаев, подобных этим, все переменные в подоболочке имеют то же значение, что и в исходной оболочке, то же состояние экспорта, то же состояние только для чтения и т. Д. Все определения функций, определения псевдонимов, параметры оболочки и другие настройки также наследуются.

У подоболочки, созданной с помощью (…)тех же файловых дескрипторов, что и у ее создателя. Некоторые другие средства создания подоболочек изменяют некоторые файловые дескрипторы перед выполнением пользовательского кода; например, левая сторона трубы проходит в подоболочке ³ со стандартным выходом, подключенным к трубе. Подоболочка также начинается с того же текущего каталога, с той же маской сигналов и т. Д. Одним из немногих исключений является то, что подоболочки не наследуют пользовательские прерывания: игнорируемые сигналы ( ) остаются игнорируемыми в подоболочке, но другие прерывания ( SIGNAL ) сбрасываются к действию по умолчанию ⁴ .trap '' SIGNALtrap CODE

Таким образом, подоболочка отличается от выполнения скрипта. Сценарий - это отдельная программа. Эта отдельная программа по совпадению может также быть сценарием, который выполняется тем же интерпретатором, что и родительский, но это совпадение не дает отдельной программе особой видимости внутренних данных родителя. Неэкспортированные переменные являются внутренними данными, поэтому , когда интерпретатор сценария ребенка оболочечного выполняются , он не видит эти переменных. Экспортируемые переменные, то есть переменные среды, передаются в исполняемые программы.

Таким образом:

x=1
(echo $x)

печатает, 1потому что подоболочка является копией оболочки, которая ее породила.

x=1
sh -c 'echo $x'

иногда запускается оболочка как дочерний процесс оболочки, но xвторая строка не имеет больше связи со xвторой строкой, чем

x=1
perl -le 'print $x'

или же

x=1
python -c 'print x'

¹ _{Исключением является ksh93оболочка, в которой разветвление оптимизировано, и большинство его побочных эффектов эмулируется.}
² _{Семантически, это копии. С точки зрения реализации, происходит много обмена.}
³ _{Для правой стороны это зависит от корпуса.}
⁴ _{Если вы проверите это, обратите внимание, что подобные вещи$(trap) могут сообщать о ловушках оригинальной оболочки. Также обратите внимание, что во многих снарядах в угловых случаях есть ошибки, связанные с ловушками. Например, ninjalj отмечает, что в bash 4.3 bash -x -c 'trap "echo ERR at \$BASH_SUBSHELL \$BASHPID" ERR; set -E; false; echo one subshell; (false); echo two subshells; ( (false) )'запускается ERRловушка из вложенной подоболочки в случае «двух подоболочек», но не ERRловушка из промежуточной подоболочки - set -Eопция должна распространятьERRперехватывать все подоболочки, но промежуточный подоболочек оптимизирован, и поэтому его не удается запустить ERR.}

Очевидно, что да, как говорится во всей документации, команда, заключенная в скобки, выполняется в подоболочке.

Подоболочка наследует копию всех родительских переменных. Разница в том, что любые изменения, которые вы вносите в подоболочку, также не вносятся в родительский объект.

Страница man ksh делает это немного понятнее, чем bash:

man ksh:

Команда в скобках выполняется в под-оболочке без удаления неэкспортированных переменных.

man bash:

(список)

Список выполняется в среде оболочки (см. ниже КОМАНДА ИСПОЛНИТЕЛЬНОЙ СРЕДЫ). Переменные и встроенные команды, которые влияют на среду оболочки, не остаются в силе после ее завершения.

КОМАНДНАЯ ИСПОЛНИТЕЛЬНАЯ СРЕДА

Оболочка имеет среду выполнения, которая состоит из следующих параметров: [...] параметры оболочки, которые устанавливаются путем присвоения переменной [...].
Подстановка команд, команды, сгруппированные в скобках, и асинхронные команды вызываются в среде подоболочек, которая является дубликатом среды оболочки, [...]