[go] go/types 패키지의 활용 사례들

21 Dec 2023

go/types 패키지는 Go 언어에서 타입 체킹이나 타입 정보 분석을 할 때 유용한 도구입니다. 이 패키지를 이용하면 프로그램의 구조를 분석하고 타입 정보를 추출할 수 있습니다. go/types 패키지의 활용 사례들에 대해 알아보겠습니다.

1. 타입 체킹

go/types 패키지는 타입 체킹을 위한 도구로 활용됩니다. 소스 코드를 분석하여 타입 오류를 검출하거나 타입 안정성을 보장하는 데에 사용될 수 있습니다. 이를 통해 런타임 에러를 줄이고 안정성을 높일 수 있습니다.

package main

import (
	"fmt"
	"go/types"
	"go/importer"
	"go/parser"
	"go/token"
)

func main() {
	code := `
package main

import "fmt"

func main() {
	var x int
	x = "hello"   // 타입 오류
	fmt.Println(x)
}
`

	fset := token.NewFileSet()
	node, err := parser.ParseFile(fset, "demo", code, 0)
	if err != nil {
		fmt.Println(err)
		return
	}

	conf := types.Config{Importer: importer.For("source", nil)}
	_, err = conf.Check("demo", fset, []*ast.File{node}, nil)
	if err != nil {
		fmt.Println(err)
		return
	}

	fmt.Println("타입 체킹 통과")
}

2. 타입 정보 추출

go/types 패키지를 사용하면 소스 코드에서 타입 정보를 추출할 수 있습니다. 이를 통해 코드 생성, 분석, 변환 등 다양한 작업에 활용할 수 있습니다.

package main

import (
	"fmt"
	"go/types"
	"go/importer"
)

func main() {
	code := `
package main

import "fmt"

func main() {
	var x int
	fmt.Println(x)
}
`
	conf := types.Config{Importer: importer.Default()}

	// 타입 정보 추출
	pkg, err := conf.Check("demo", fset, []*ast.File{node}, nil)
	if err != nil {
		fmt.Println(err)
		return
	}

	for _, name := range pkg.Scope().Names() {
		obj := pkg.Scope().Lookup(name)
		fmt.Printf("%s: %s\n", name, obj.Type())
	}
}

3. 코드 변환

go/types 패키지는 코드를 변환하는 데에도 활용될 수 있습니다. 타입 정보를 분석하여 코드를 변환하거나 리팩토링하는 작업에 사용될 수 있습니다.

package main

import (
	"fmt"
	"go/types"
	"go/importer"
)

func main() {
	code := `
package main

import "fmt"

func main() {
	var x int
	fmt.Println(x)
}
`
	conf := types.Config{Importer: importer.Default()}

	// 코드 변환
	// ...

	fmt.Println("변환된 코드")
}

go/types 패키지는 타입 체킹, 타입 정보 추출, 코드 변환 등 다양한 작업에 유용하게 활용될 수 있습니다.

참고 문헌:

go/types 패키지 공식 문서