Utilitário Unix 'find': Pergunta sobre a relação com a Estrela de Kleene em Matemática

Os padrões passados ​​para find's -namee -path(também -inamee -ipathem algumas findimplementações) são os mesmos usados ​​para geração de nome de arquivo, também conhecida como expansão de nome de caminho, ou globbing em shells, e que se originam no /etc/globauxiliar que o primeiro shell Unix estava invocando para executar esse processo no início dos anos 70.

Normalmente, hoje em dia, findas implementações usam a função padrãofnmatch() que foi introduzida no final dos anos 80, junto com glob()e wordexp()para poder trazer esse tipo de operadores de expansão de shell para softwares diferentes de shells.

Em globs de shell padrão, ?corresponde a qualquer caractere único, o equivalente a regexp ., e *corresponde a qualquer sequência de caracteres, o equivalente a regexp .*e [set]corresponde a qualquer caractere único ou elemento de agrupamento no conjunto fornecido, o mesmo que regex, [set]exceto que a negação do conjunto é com !em vez de ^, e é isso.

Então, enquanto regexp *corresponde à estrela de Kleen, fnmatch()'s *não. É a estrela de Kleen aplicada a ?(um único caractere).

Ksh88 introduziu uma série de operadores de globbing estendidos que trouxeram paridade entre eles e regexp:

• @(...)equivalente a regexp estendido(...)
• ?(...)equivalente a regexp estendido(...)?
• *(...)equivalente a regexp estendida (...)*, portanto, à estrela de Kleen.
• +(...)equivalente a regexp estendido (...)+.
• !(...)sem um equivalente ERE padrão.
• e |usado dentro deles para alternância.

E ksh93 adicionou mais alguns:

• {x,y}(...)equivalente a ERE (...){x,y}.
• &usado dentro e sem equivalente ERE padrão.
• ~(flags:...)incluindo coisas como ~(E:...)levar os EREs ao pé da letra.

O zsh também adicionou operadores trazendo paridade ao ERE com sintaxe diferente (geralmente mais concisa que no ksh), como:

• #equivalente a ERE *(estrela de Kleen)
• ##equivalente a ERE+
• (...)equivalente a ERE (...)(com |manipulado dentro para alternância como em ERE)
• (#cy,y)equivalente a ERE {x,y}.
• e vários outros próprios.

Mas nenhum desses operadores ksh ou zsh chegou à especificação padrão da shlinguagem (embora a shlinguagem padrão seja baseada principalmente em um subconjunto da linguagem ksh88) nem em fnmatch()(como usado por find's -name/ -path).

As implementações GNU e uClibc de fnmatch()no entanto suportam um FNM_EXTMATCHsinalizador com o qual os operadores de globbing estendidos do ksh88 (incluindo *(...)) são reconhecidos, mas nenhuma findimplementação que eu conheça usa esse sinalizador para correspondência -name/ -path. Fazer isso os tornaria não compatíveis com POSIX, como -name '*(foo)'é necessário para corresponder em arquivos cujo nome termina em (foo)não aqueles cujo nome é feito de qualquer número de foos.

Algumas findimplementações, no entanto, têm um -regexoperador que funciona como -pathexceto que ele pega expressões regulares implicitamente ancoradas em vez de shell globs. O sabor padrão de regex e a sintaxe para alternar entre sabores de regex variam entre findimplementações (por exemplo, você precisa de uma -Eopção no BSD findpara alternar para regexps estendidas padrão e um -regextype posix-extendedpredicado no GNU findem vez disso).

Para arquivos cujos nomes são compostos por qualquer número de foos, você faria:

find -E . -regex '.*/(foo)*' # BSD
find . -regextype posix-extended -regex '.*/(foo)*' # BSD

Onde esses *s correspondem às estrelas de Kleen.

Se você está se perguntando como combinar 0 ou 1 ocorrência de _em um padrão -name( fnmatch()), a resposta é "você não pode".

Não há equivalente de find -E . -regex '.*/foo_?bar'(sintaxe BSD) equivalente a -name, mas você sempre pode fazer:

 find . '(' -name foobar -o -name foo_bar ')'

Ou use zsho globbing recursivo do :

 print -rC1 -- **/foo(_|)bar(ND)

Ou em ksh93 (que globstarreconhece o operador glob recursivo do zsh **/):

function println {
  (( $# == 0 )) || printf '%s\n' "$@"
}
set -o globstar
FIGNORE=.:..
println ~(N)**/foo?(_)bar

Ou bash5.0+ (que extglobreconhece operadores ksh88 e com globbing recursivo globstar zshde **/):

println() {
  (( $# == 0 )) || printf '%s\n' "$@"
}
shopt -s dotglob nullglob globstar extglob
shopt -u failglob
println **/foo?(_)bar

Ou use perlo que tem expressões regulares avançadas e um File::Findmódulo:

perl -MFile::Find -lse '
  find(sub {print $File::Find::name if $_ =~ $re}, @ARGV)
  ' -re='^foo_?bar\z' -- .

Há também um File::FnMatchmódulo perl , onde você pode usar FNM_EXTMATCHse o sistema fnmatch()tiver:

perl -MFile::Find -MFile::FnMatch=:fnmatch -lse '
  find(sub {print $File::Find::name if
    fnmatch($pat, $_, FNM_EXTMATCH)}, @ARGV)
  ' -- -pat='foo?(_)bar' -- .