- PVSM.RU - https://www.pvsm.ru -

Кодогенерация в языке Go

В данной статье хотелось бы рассмотреть некоторые возможности кодогенарации в рамках языка Go, которые могут частично заменить встроенную рефлексию и не потерять типобезопасность на этапе компиляции.
Язык программирования Go предоставляет мощные инструменты для кодогенерации. Очень часто Go ругают за отсутствие обобщений (generics) и это в самом деле может стать проблемой. И вот тут на помощь приходит кодогенерация которая на первый взгляд довольно трудна для небольших рутинных операций, но тем не менее является достаточно гибким инструментом. Уже существует некоторое количество готовых библиотек кодогенерации покрывающих базовые потребности в обобщениях. Это и «эталонный» stringer [1] и более полезные jsonenums [2] с ffjson [3] А мощный gen [4] и вовсе позволяет добавить в Go немного функциональщины, в том числе добавляет аналог так не хватаемого многим forEach для пользовательских типов. Ко всему прочему gen довольно легко расширяется собственными генераторами. К сожалению gen ограничен кодогенерацией методов для конкретных типов.
Собственно тему кодогенерации я решил затронуть не от хорошей жизни, а из за того, что столкнулся с небольшой задачей для которой не смог найти другого подходящего решения.

Задача следующая, есть список констант:

type Color int

const (
	Green Color = iota
	Red
	Blue
	Black
)

Необходимо иметь массив (список) содержащий в себе все константы Color, например для вывода в палитре.

Colors = [...]Color{Green, Red, Blue, Black}

При этом хочется что бы Colors формировался автоматически, дабы исключить возможность забыть добавить или удалить элемент при изменении количества констант имеющих тип Color.

Ключевыми инструментами будут следующие стандартные пакеты:
go/ast/ [5]
go/parser/ [6]
go/token/ [7]

С помощью этих пакетов мы имеем возможность получить ast (abstract syntax tree [8]) любого файла с исходным кодом на языке go. AST получаем буквально в две строки:

fset := token.NewFileSet()
f, err := parser.ParseFile(fset, "", []byte(source), 0)

В качестве аргументов для ParseFile можно передать либо путь до файла, либо текстовое содержимое (подробности в https://golang.org/pkg/go/parser/#ParseFile [9]). Теперь в переменной f будет содержаться ast который можно использовать для генерации необходимого кода.
Для того, что бы создать список содержащий все константы заданного типа (Color) необходимо пройтись по ast и найти узлы описывающие константы. Делается это достаточно тривиальным способом, хотя и не без особенностей. Дело в том, что Go позволяет определять не типизированные константы или список констант с авто инкрементом через конструкцию iota [10] Для таких констант их тип в ast будет не определен, значение и тип вычисляется уже на этапе компиляции. Поэтому придется учесть особенности синтаксиса при разборе ast.
Ниже пример кода учитывающий определение констант через iota.

обход ast

typeName := "Color"         //тип констант для которых будет создан список
typ := ""                   //для запоминания последнего определенного типа в ast
consts := make([]string, 0) //массив для сохранения найденных констант
for _, decl := range f.Decls {
	//массив с определениями типов, переменных, констант, функций и т.п.
	switch decl := decl.(type) {
	case *ast.GenDecl:
		switch decl.Tok {
		case token.CONST: //нам интересны только константы
			for _, spec := range decl.Specs {
				vspec := spec.(*ast.ValueSpec) //отсюда мы получим название константы
				if vspec.Type == nil && len(vspec.Values) > 0 {
					//случай определения константы как "X = 1"
					//такая константа не имеет типа и может быть пропущена
					//к тому же это может означать, что был начат новый блок определения const
					typ = ""
					continue
				}
				if vspec.Type != nil {
					//"const Green Color" - запоминаем тип константы
					if ident, ok := vspec.Type.(*ast.Ident); ok {
						typ = ident.Name
					} else {
						continue
					}

				}
				if typ == typeName {
					//тип константы совпадает с искомым, запоминаем имя константы в массив consts
					consts = append(consts, vspec.Names[0].Name)
				}
			}
		}
	}
}

Более подробно аналогичный код прокомментирован в пакете stringer [11].
Теперь осталось сгенерировать функцию которая вернет список из всех существующих Color.

генерация кода


var constListTmpl = `//CODE GENERATED AUTOMATICALLY
//THIS FILE SHOULD NOT BE EDITED BY HAND
package {{.Package}}

type {{.Name}}s []{{.Name}}
func (c {{.Name}}s)List() []{{.Name}} {
	return []{{.Name}}{{"{"}}{{.List}}{{"}"}}
}
`

templateData := struct {
	Package string
	Name    string
	List    string
}{
	Package: "main",
	Name:    typeName,
	List:    strings.Join(consts, ", "),
}
t := template.Must(template.New("const-list").Parse(constListTmpl))

if err := t.Execute(os.Stdout, templateData); err != nil {
	fmt.Println(err)
}

На выходе получим такую функцию:

type Colors []Color
func (c Colors)List() []Color {
	return []Color{Green, Red, Blue, Black}
}

Использование функции:

Colors{}.List()

Листинг примера https://play.golang.org/p/Mck9Y66Z1b

Готовый к использованию генератор const_list [12] на основе генератора stringer.

Автор: ZurgInq

Источник [13]


Сайт-источник PVSM.RU: https://www.pvsm.ru

Путь до страницы источника: https://www.pvsm.ru/programmirovanie/164041

Ссылки в тексте:

[1] stringer: https://godoc.org/golang.org/x/tools/cmd/stringer

[2] jsonenums: https://github.com/campoy/jsonenums

[3] ffjson: https://github.com/pquerna/ffjson

[4] gen: https://clipperhouse.github.io/gen/

[5] go/ast/: https://golang.org/pkg/go/ast/

[6] go/parser/: https://golang.org/pkg/go/parser/

[7] go/token/: https://golang.org/pkg/go/token/

[8] abstract syntax tree: https://ru.wikipedia.org/wiki/%D0%90%D0%B1%D1%81%D1%82%D1%80%D0%B0%D0%BA%D1%82%D0%BD%D0%BE%D0%B5_%D1%81%D0%B8%D0%BD%D1%82%D0%B0%D0%BA%D1%81%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%B4%D0%B5%D1%80%D0%B5%D0%B2%D0%BE

[9] https://golang.org/pkg/go/parser/#ParseFile: https://golang.org/pkg/go/parser/#ParseFile

[10] iota: https://github.com/golang/go/wiki/Iota

[11] stringer: https://github.com/golang/tools/blob/321c6fd1712ce3e7b050d41b524e6ec44f945f15/cmd/stringer/stringer.go#L403

[12] const_list: https://github.com/ZurgInq/const_list

[13] Источник: https://habrahabr.ru/post/306672/?utm_source=habrahabr&utm_medium=rss&utm_campaign=best