Que nécessite POSIX pour citer ici des documents à l'intérieur de la substitution de command?

Dans cette question, quelqu'un signale un problème en utilisant un document ici avec un mot de délimiteur cité dans la substitution de la command $(...) , où une barre oblique inverse \ à la fin d'une ligne à l'intérieur du document triggers la poursuite de la ligne jointe document de substitution de command externe fonctionne comme prévu.

Voici un exemple de document simplifié:

 cat <<'EOT' abc ` def ghi \ jkl EOT 

Cela inclut un backtick et une backslash à la fin d'une ligne. Le délimiteur est cité, donc aucune expansion ne se produit à l'intérieur du corps. Dans tous les Bourne-alikes, je peux find que le contenu du contenu est extrait textuellement. Si je mets le même document à l'intérieur d'une substitution de command comme suit:

 x=$(cat <<'EOT' abc ` def ghi \ jkl EOT ) echo "$x" 

alors ils ne se comportent plus de manière identique:

• quelle est la différence entre `find .` et / home / user / * comme input pour for command
• Comment gérer les espaces dans une variable
• Comment le statut de return d'une assignation de variable est-il déterminé?
• Pourquoi les caractères newline sont-ils perdus lors de l'utilisation de la substitution de command?
• Les affectations sont comme des commands avec un statut de sortie, sauf en cas de substitution de command?

• dash , ash , zsh , ksh93 , BusyBox ash , mksh et SunOS 5.10 POSIX sh donnent tous le contenu textuel du document, comme précédemment.
• Bash 3.2 donne une erreur de syntaxe pour un backtick inégalé. Avec les backticks appariés, il tente d'exécuter le contenu en tant que command.
• Bash 4.3 efface "ghi" et "jkl" sur une seule ligne, mais n'a pas d'erreur. L' option --posix n'affecte pas cela. Kusalananda me dit (merci!) Que pdksh se comporte de la même façon .

Dans la question initiale, j'ai dit que c'était un bug dans l'parsingur de Bash. Est-ce? [Mise à jour: oui ] Le text pertinent de POSIX (tous de la définition du langage de command de Shell) que je peux find est:

• §2.6.3 Substitution de commandment :
  

  Avec le formulaire $ (command), tous les caractères suivant la parenthèse ouvrante à la parenthèse fermante correspondante constituent la command. Tout script shell valide peut être utilisé pour la command , à l'exception d'un script composé uniquement de redirections produisant des résultats non spécifiés.

• §2.7.4 Ici-Document :
  

  Si une partie d'un mot est citée, le délimiteur doit être formé en effectuant l'extraction des citations sur le mot et les lignes du document ne doivent pas être développées.

• §2.2.1 Caractère d'échappement (barre oblique inverse) :
  

  Si un <newline> suit le <backslash>, le shell doit interpréter cela comme une continuation de ligne. Les <backslash> et <newline> doivent être supprimés avant de fractionner l'input en jetons.

• §2.3 Reconnaissance des jetons :
  

  Lorsqu'un jeton io_here a été reconnu par la grammaire (voir la grammaire Shell ), une ou plusieurs des lignes suivantes qui suivent immédiatement le jeton NEWLINE suivant forment le corps d'un ou plusieurs documents ici et doivent être analysées selon les règles de Here- Document .

  Lorsqu'il ne traite pas un io_here , le shell casse son input en jetons en appliquant la première règle applicable ci-dessous au caractère suivant dans son input. …

  …

  4. Si le caractère actuel est <backslash>, un guillemet simple ou un guillemet double et qu'il n'est pas coté, il affecte la cotation des caractères suivants jusqu'à la fin du text cité. Les règles de cotation sont décrites dans la rubrique Cotation . Lors de la reconnaissance de jeton, aucune substitution ne doit être effectuée et le jeton de résultat doit contenir exactement les caractères apparaissant dans l'input (sauf pour la jointure <newline>), non modifiés, y compris les guillemets inclus ou fermés du text cité.

Mon interprétation de ceci est que tous les caractères après $( jusqu'à la terminaison ) include le script shell, verbatim; un document ici apparaît, donc ici le traitement de document se produit au lieu de la tokenisation ordinaire; le document ici a alors un délimiteur cité, ce qui signifie que son contenu est traité textuellement; et le personnage échappé ne vient jamais en elle. Je peux voir un argument, cependant, que ce cas n'est tout simplement pas abordé, et les deux comportements sont autorisés. Il est possible que j'ai oublié un text pertinent quelque part, aussi.

• Cette situation est-elle rendue plus claire ailleurs?
• Sur quoi un script portable devrait-il pouvoir countr (en théorie)?
• Est-ce que le traitement spécifique donné par l'une de ces coquilles (Bash 3.2 / Bash 4.3 / tout le monde) est imposé par la norme? Interdit? Permis?

• Substitution de command: splitting sur newline mais pas d'espace
• Comprendre le backtick (`)
• Erreurs de trapping dans la substitution de command en utilisant "-o errtrace" (ie set -E)
• Pourquoi le shell Command Substitution empoigne-t-il un caractère newline?
• Syntaxe de déclaration de substitution de command dans bash – lequel de ces deux est une meilleure pratique?