Como alguém analisa $ {! i} (e o que isso significa)? [duplicado]

Question

Eu encontrei ${!i} no corpo de um loop da forma

for ((i=$#; i>0; i--)); do
    # ...
    if <SOME_TEST>; then
        # ...
        accumulator="${!i}:${accumulator}"
        # ...
    fi
    # ...
done

Dado esse intervalo de valores possíveis, meu palpite é que ${!i} significa algo como "expandir como o argumento i -th posicional".

Seja como for, gostaria de saber mais sobre essa notação. (Em particular, é ${!i} um caso especial para $@ , ou é uma instância específica de uma sintaxe aplicável a qualquer matriz? É por isso que estou curioso sobre como a expressão é analisada.)

Não consigo encontrar documentação para esta notação, no entanto. Se eu pesquisar a página bash man para a sequência ${! , localizarei apenas as seguintes sequências

   ${!name[@]}
   ${!name[*]}
   ${!prefix*}
   ${!prefix@}

... e não consigo encaixar a documentação em torno dessas ocorrências no código que estou intrigando.

(Na verdade, se possível, por favor, cite qualquer documentação relevante em sua resposta, para que eu possa descobrir por que perdi isso.)

EDIT: Na minha postagem original, copiei a linha for errada do código original. Eu consertei isso agora. (A interpretação é a mesma, no entanto.)

    

Answer 1

Você está correto em suas suposições.

A documentação mais detalhada está escondida em info bash :

3.5.3 Shell Parameter Expansion

[...]

The basic form of parameter expansion is ${PARAMETER}. The value of PARAMETER is substituted. The PARAMETER is a shell parameter as described above (*note Shell Parameters::) or an array reference (*note Arrays::). The braces are required when PARAMETER is a positional parameter with more than one digit, or when PARAMETER is followed by a character that is not to be interpreted as part of its name.

If the first character of PARAMETER is an exclamation point (!), and PARAMETER is not a NAMEREF, it introduces a level of variable indirection. Bash uses the value of the variable formed from the rest of PARAMETER as the name of the variable; this variable is then expanded and that value is used in the rest of the substitution, rather than the value of PARAMETER itself. This is known as 'indirect expansion'. If PARAMETER is a nameref, this expands to the name of the variable referenced by PARAMETER instead of performing the complete indirect expansion. The exceptions to this are the expansions of ${!PREFIX*} and ${!NAME[@]} described below. The exclamation point must immediately follow the left brace in order to introduce indirection.