The ccffer from khei4

トップレベルで定義されている関数名一覧, シグネチャを取得する

"go/parser", "go/token"を使ってとる

パラメータ入りのASTをパラメータを含まないASTに変換できる?

types.Instantiateはあるけど, astはInstantiateできない??

Generic関数を具体的な型で呼び出すテストコードを書く

templateをつかって

type X interface {
	~int | ~string
}

func F[T X](v T) {
	println(v + v)
	println(string(v))
	println(any(v).(int))
}

この関数に対して

package main_test

import "testing"

func TestF(t *testing.T) {
  F(42)
  F("42")
}

を作る

pointer型にnil

testing.Fを使ったテストを生成する

Review

気づいたことを書いていきます
文脈をわからずに書いているので、気に入ったら修正してもらえるといいと思います。

型のテーブルの形式

これで実際のGoの型が取れるか?
いちいちMatchをかくしかないのか

var TypeVals map[string][]string = map[string][]string{
	"bool":   {"true", "false"},
	"string": {"\"\""},
	"int":    {"0", "-(1 << 31) - 1", "1 << 31"},
	"int64":  {"0", "-(1 << 63) - 1", "1 << 63"},
	"uint":   {"0", "^uint(0)"},
	// TODO: import math library by formatting test
	// "float32": []string{"0", "math.NaN()", "math.Inf(0)", "math.Inf(-1)"},
}

Interfaceへも対応

静的解析して得た関数のデータを, コード生成用のデータに詰める

Genericな関数に対して
- 型パラメータと, その制約の一覧を取得
  - 満たす型を一通り残す
  - 組み合わせ的に関数呼び出しをする
[ ]

関数定義, 構造体定義のリストを作る

とりあえず単一のソースの中にある関数の定義のリストと構造体定義のリストを作る

普通の関数

package main

import (
	"fmt"
)

func SignleArg(a int) {
	fmt.Print(a)
}
func SignleRes() int {
	return 42
}
func NamedRes() (g int) {
	g = 42
	return
}

func main() {
	SignleArg(13)
	_ = SignleRes()
	_ = NamedRes()
}

構造体と関数

package main

type (
	A struct {
		X int
	}
	B struct {
		Y int
	}
	C interface {
		C()
	}
)

func StructF(a A) B {
	return B{a.X}
}

func main() {
	_ = StructF(A{})
}

Genericな関数

package main

func SignleTypeParam[T any](a T) T {
	return a
}

func TypeConstraint1[T comparable](a, b T) bool {
	return a == b
}

func main() {
	SignleTypeParam("hoge")
	SignleTypeParam(13)
	TypeConstraint1(1, 2)
	TypeConstraint1("1,2", "2,3")
}

割り算関数を実行する

部分的なコードを実行したい時, ASTを取ってくるのが良いのか, それとも文字列を実行するのがいいのか

types.Eval()を使う

func main2() {
		fmt.Print("hello")
	}

khei4 / ccffer Goto Github PK

ccffer's Introduction

khei4

ccffer's People

Contributors

Watchers

ccffer's Issues

Recommend Projects

Recommend Topics

Recommend Org