Início / unix / Perguntas / 745705
Accepted
pmor
Asked: 2023-05-12 19:24:49 +0800 CST

Por que diff3 nas entradas da substituição do processo encontra uma diferença enquanto diff3 nos mesmos dados em arquivos não encontra diferença?

  • 772

diff3 em arquivos não encontra diferença:

$ grep -P '\[\[.*?\]\]' -o intro.tex | sort > A.txt
$ grep -P '\[\[.*?\]\]' -o intro.tex | sort | uniq > B.txt
$ grep '\\pnum %% \[\[' intro.tex | sed 's/\\pnum %% //' | sort > C.txt
$ diff3 A.txt B.txt C.txt | wc -l
0

diff3 em substituições de processo executando os mesmos comandos encontra uma diferença:

$ diff3 \
  <(grep -P '\[\[.*?\]\]' -o intro.tex | sort) \
  <(grep -P '\[\[.*?\]\]' -o intro.tex | sort | uniq) \
  <(grep '\\pnum %% \[\[' intro.tex | sed 's/\\pnum %% //' | sort) | wc -l
95

Por que? Alguma ideia?

Um reprodutor mínimo:

$ echo test > a
$ diff3 a a a
$ diff3 <(cat a) <(cat a) <(cat a)
====1
1:1c
  test
2:0a
3:0a
diff

1 respostas

  1. Best Answer

    Se executarmos diff3sob strace -f:

    $ strace -qqfe execve -e signal=none diff3 a b c
execve("/usr/bin/diff3", ["diff3", "a", "b", "c"], 0x7ffef2bb2d78 /* 53 vars */) = 0
[pid 13360] execve("/usr/bin/diff", ["diff", "--horizon-lines=100", "--", "b", "c"], 0x7ffc019c6d50 /* 53 vars */) = 0
[pid 13361] execve("/usr/bin/diff", ["diff", "--horizon-lines=100", "--", "a", "c"], 0x7ffc019c6d50 /* 53 vars */) = 0

    Como você pode ver , diff3chama diffduas vezes e o terceiro arquivo é um dos operandos para ambas as invocações.

    Com a substituição do processo no estilo ksh <(...), o arquivo é um pipe.

    cmd1 <(cmd2)

    é o mesmo que:

    cmd2 | cmd1 /dev/fd/0

    exceto que um fd diferente de 0 é usado.

    Então, para o terceiro argumento para diff3, o primeiro diffconsumirá toda a entrada, o segundo não terá mais nada para ler, então o arquivo aparecerá vazio.

    Portanto, o terceiro argumento pelo menos não pode ser um pipe¹.

    Se estiver usando zsh, você pode usar a =(...)forma de substituição de processo que usa um arquivo temporário em vez de um pipe:

    diff3 <(cmd1) <(cmd2) =(cmd3)

    (os 2 primeiros ainda podem ser tubos).

    No seu caso:

    $ diff3 \
  <(grep -Po '\[\[.*?\]\]' intro.tex | sort) \
  <(grep -Po '\[\[.*?\]\]' intro.tex | sort -u) \
  =(sed -n 's/\\pnum %% \[\[/[[/p' intro.txt | sort)

    (Também removi o supérfluo grepe uniqmovi a -oopção antes das não opções).

    Você pode até fazer alguma fatoração com:

    (){ diff3 $1 <(uniq<$1) $2; } =(grep -Po '\[\[.*?\]\]' intro.tex) \
                              =(sed -n 's/\\pnum %% \[\[/[[/p' intro.txt | sort)

    ¹ se o terceiro argumento é -o que diff3interpreta como leitura stdin, então é o segundo argumento que não pode ser um pipe, pois é o que ele passa para ambas as diffinvocações nesse caso. Você notará que o manual diz: " No máximo um desses três nomes de arquivo pode ser -, o que diz diff3para ler a entrada padrão desse arquivo."

    • 3

relate perguntas