Онлайн
Alvaros
.
- Регистрация
- 14.05.16
- Сообщения
- 21.452
- Реакции
- 101
- Репутация
- 204
You must be registered for see links
— это одна из моих любимых утилит для работы с Go. Она позволяет находить код по синтаксическим шаблонам, фильтровать результаты по типам выражений, а также выполнять замену (тоже по шаблону).В этой заметке я расскажу как использовать gogrep, а также о
You must be registered for see links
для более удобной работы с gogrep прямо из редактора.
Зачем нужен gogrep
Если в тезисах, то gogrep может быть полезен при:
- Рефакторинге
- Изучении кодовой базы
- Поиске подозрительного кода (пример:
You must be registered for see links)
Рассмотрим пример, который демонстрирует изящность и эффективность структурного поиска.
Функции a() и b() выполняют одинаковые операции:
func a(xs []int) []int {
xs = append(xs, 1)
xs = append(xs, 2)
return xs
}
func b(xs []int) []int {
xs = append(xs, 1, 2)
return xs
}
Допустим, мы хотим переписать все места, где вызовы append можно схлопнуть.
Попробуем gogrep:
- Находим все подходящие пары с помощью -x шаблона $x=append($x,$a); $x=append($x,$b)
- Через -s шаблон $x=append($x,$a,$b) получаем искомую замену
- Передавая аргумент -w все затронутые файлы будут обновлены.
gogrep -w -x '$x=append($x,$a);$x=append($x,$b)' -s '$x=append($x,$a,$b)' ./...
Если поставить
You must be registered for see links
, то становится ещё проще.Вот пример замены +=1 на ++:
Пример из реальной жизни: как-то захотел выполнить замену slice[:] -> slice. Даже заводил
You must be registered for see links
. Специфика в том, что нельзя просто искать [:], потому что брать такой слайс от массива имеет смысл, а вот от строки или слайса — нет.Вот пример того, как можно найти лишние слайсы от []byte в stdlib:
# Только поиск.
gogrep -x '$s[:]' -a 'type([]byte)' std
# Поиск+замена.
gogrep -x '$s[:]' -a 'type([]byte)' -s '$s' -w std
Если интересно, что найдёт этот запуск
Показываю только первые 30 результатов (всего их 300+):
Поисковые шаблоны
Поисковой шаблон — это небольшой фрагмент Go кода, который может включать в себя $-выражения (мы будем называть их "переменными шаблона"). Шаблон может быть выражением, statement (или их списком) или декларацией.
Переменные шаблона — это Go переменные с префиксом $. Переменные шаблона с одинаковым именем всегда захватывают идентичные элементы AST. Исключением является переменная с именем $_, их можно использовать для обозначения "что угодно".
Перед именем переменной шаблона можно поставить *, тогда переменная будет захватывать произвольное количество элементов.
| Поисковой шаблон | Интерпретация |
|---|---|
$_ | Что угодно. |
$x | Идентично первому примеру, "что угодно". |
$x = $x | Самоприсваивание. |
(($_)) | Любое выражение в двойных скобках. |
if $init; $cond {$x} else {$x} | if с дублирующимися then/else блоками. |
fmt.Fprintf(os.Stdout, $*_) | Вызов Fprintf с аргументом os.Stdout. |
Как уже демонстрировалось в примере с append(), шаблон может содержать несколько statement'ов. Нотация "$x; $y" означает "найди $x, за которым следует $y".
gogrep выполняет честный backtracking для шаблонов с *. К примеру, шаблоном можно найти все map литералы, где есть хотя бы один дублирующийся ключ:
map[$_]$_{$*_, $key: $val1, $*_, $key: $val2, $*_}
Конвейеры и команды gogrep
Ранее мы использовали параметры -x и -s, не разбирая что они из себя представляют.
gogrep оперирует командами, которые составляют конвейер (pipeline). Порядок команд имеет значение. Полный синопсис выглядит следующим образом:
gogrep commands... [targets...]
target может быть файлом, директорией или пакетом. Всё эквивалентно тому, как обрабатывает аргументы команда go build.
| Команда | Описание |
|---|---|
-x pattern | Найти все элементы AST, которые подходят под pattern. |
-g pattern | Отбросить результаты, которые не подходят под pattern. |
-v pattern | Отбросить результаты, которые подходят под pattern. |
-a attr | Отбросить результаты, которые не имеют атрибута attr. |
-s pattern | Переписать результат, используя pattern. |
-p n | Для каждого результата, подняться на n уровней по AST. |
Как можно догадаться, -x чаще всего является первой командой в конвейере. Затем могут следовать фильтрующие команды или модифицирующие команды.
Рассмотрим это всё на примерах.
// file foo.go
package foo
func bar() {
println(1)
println(2)
println(3)
}
# Находим все вызовы println()
$ gogrep -x 'println($*_)' foo.go
foo.go:4:2: println(1)
foo.go:5:2: println(2)
foo.go:6:2: println(3)
# Добавляем команды -v для отбрасывания всех результатов,
# где есть литерал 1, а затем литерал 2.
$ gogrep -x 'println($*_)' -v 1 -v 2 foo.go
foo.go:6:2: println(3)
# Дополнительно поднимаемся на 2 уровня выше
# и доходим до содержащего *ast.BlockStmt.
$ gogrep -x 'println($*_)' -v 1 -v 2 -p 2 foo.go
foo.go:3:12: { println(1); println(2); println(3); }
Атрибуты довольно много, большая часть из них очень ситуативная, а документации на них нет совсем. Остаётся смотреть в
You must be registered for see links
.Одним из наиболее полезных атрибутов является type:
# Матчит и сложение, и конкатенацию.
gogrep -x '$lhs + $rhs'
# Матчит только конкатенацию.
gogrep -x '$lhs + $rhs' -a 'type(string)'
По умолчанию gogrep не выполняет поиск в тестовых файлах. Чтобы это исправить, стоит передавать аргумент -tests.
Обзор возможностей VS Code расширения
Все предоставляемые функции сводятся к нескольким командам (Ctrl+Shift+P или Cmd+Shift+P):
Каждая команда запрашивает поисковой шаблон:
Результаты печатаются в канал (output channel) gogrep:
Для search and replace нужно разделять части "Find" и "Replace" токеном ->:
Если убрать из шаблона !, то вместо изменений файлов inplace в канал будут распечатаны кандидаты для замены.
Пример поиска тех самых комбинируемых append (но без replace):
По умолчанию за командами расширения не назначено никаких горячих клавиш. Если вам нужен более быстрый доступ к поиску, вы можете назначить их самостоятельно, следуя личным предпочтениям эргономики.
Пока что автоматическая установка бинарника gogrep предусмотрена только для GOARCH=amd64 и GOOS=linux|windows|darwin.
Расширение не предоставляет возможностей использовать атрибуты или произвольные конвейеры. Интегрированы только -x и -s.
Если вам не хватает какого-то функционала или вы нашли баг, не стесняйтесь и не ленитесь
You must be registered for see links
.Заключение
Надеюсь, эта заметка поможет этому замечательному инструменту стать хотя бы немного популярнее.
Если вы используете продукты JetBrains, то вам может быть знаком механизм
You must be registered for see links
(SSR). Он решают ту же задачу, но, в отличие от SSR, gogrep удобнее запускать в произвольном окружении, так как это обычная утилита командной строки.Дополнительные материалы:
-
You must be registered for see links
-
You must be registered for see links
- Аналогичный инструмент для PHP —
You must be registered for see links
-
You must be registered for see links