L'espansione dei parametri con conseguente stringa vuota viene trattata in modo diverso

Aggiornare

Qualcuno nella mailing list bug-bash ha confermato si tratta di un bug.

Se qualcuno è interessato, è disponibile una correzione nell'ultimo commit per sviluppare il ramo .

Mentre

bash -c 'echo "${1##*""}"' _ bar

stampa una riga vuota,

bash -c 'echo "${1##*"${1##*}"}"' _ bar

stampe bar .

Non lo capisco ${1##*}si espande in una stringa vuota, quindi "${1##*}"dovrebbe essere trattato così com'è "", ma sembra che bash non la pensi così.

Sembra esserci un consenso su questo tra le altre shimplementazioni popolari :

$ sh -c 'echo "${1##*"${1##*}"}"' _ bar

$ ash -c 'echo "${1##*"${1##*}"}"' _ bar

$ dash -c 'echo "${1##*"${1##*}"}"' _ bar

$ ksh -c 'echo "${1##*"${1##*}"}"' _ bar

$ ksh93 -c 'echo "${1##*"${1##*}"}"' _ bar

$ mksh -c 'echo "${1##*"${1##*}"}"' _ bar

$ posh -c 'echo "${1##*"${1##*}"}"' _ bar

$ yash -c 'echo "${1##*"${1##*}"}"' _ bar

$ zsh -c 'echo "${1##*"${1##*}"}"' _ bar

$

bash (con o senza --posix) è l'unico non conforme a quello:

$ bash -c 'echo "${1##*"${1##*}"}"' _ bar
bar

E senza elementi di elaborazione della sottostringa il comportamento è come previsto:

$ bash -c 'echo "${1##*"${1+}"}"' _ bar

$ bash -c 'echo "${1##*"${2}"}"' _ bar

$ bash -c 'echo "${1##*"${2}"}"' _ bar ''

$ 

Mi chiedo davvero se c'è una spiegazione per questo, che non ho trovato nel manuale. È un bug o un'errata interpretazione dello standard? Questo comportamento è documentato da qualche parte?

PS: So che una soluzione alternativa è annullare la quotazione del PE interno, ma ciò non risponde alla mia domanda e può portare a risultati indesiderati con stringhe contenenti caratteri speciali.

Questa non è una risposta

Prima pensavo che ciò fosse dovuto a speciali regole glob, ma alla fine penso che questo sia un bug di bash. I seguenti quattro esempi dovrebbero darti un'idea del perché ritengo che si tratti di un bug:

$ bash -c 'echo "${1##*${1%%bar}}"' _ foobar        # case 1
bar
$ bash -c 'echo "${1##*${1%%foobar}}"' _ foobar     # case 2

$ bash -c 'echo "${1##*"${1%%bar}"}"' _ foobar      # case 3
bar
$ bash -c 'echo "${1##*"${1%%foobar}"}"' _ foobar   # case 4
foobar

Il caso 1 e il caso 3 differiscono tra virgolette. Ma l'espansione dei parametri del modulo ${parameter##word}utilizza le regole di espansione del nome percorso per l'elaborazione word. Quindi, *fooe *"foo"hanno un comportamento identico come i doppi apici in espansione di percorso può essere ignorato a meno che non abbracciano i caratteri speciali del modello ( *, ?, ...). Questo è visto nel seguente esempio:

$ bash -c 'echo "${1##*${2%%b*r}}"' _ 'foobar' 'f*ob*r'
bar
$ bash -c 'echo "${1##*"${2%%b*r}"}"' _ 'foobar' 'f*ob*r'
foobar

Quindi, in questo caso, perché il caso 2 e il caso 4 dovrebbero comportarsi diversamente?