Golang?動(dòng)態(tài)腳本調(diào)研詳解
一、技術(shù)背景
1.1 程序的動(dòng)態(tài)鏈接技術(shù)
在實(shí)際開(kāi)發(fā)過(guò)程中，我們經(jīng)常需要?jiǎng)討B(tài)地更新程序的功能，或者在不變更程序主體文件的情況下添加或者更新程序模塊。
1.1.1 動(dòng)態(tài)鏈接庫(kù)
首先最常見(jiàn)的是windows平臺(tái)所支持的動(dòng)態(tài)鏈接庫(kù)（Dynamic Link Library），一般后綴名為.dll 。其優(yōu)勢(shì)非常明顯：
- 多個(gè)程序可以共享代碼和數(shù)據(jù)。即多個(gè)程序加載同一個(gè)DLL文件。
- 可以自然地將程序劃分為若干個(gè)模塊。每個(gè)模塊輸出為單獨(dú)的DLL文件，由主程序加載執(zhí)行。
- 跨語(yǔ)言調(diào)用。由于DLL文件是語(yǔ)言無(wú)關(guān)的，一個(gè)DLL文件可以被多種編程語(yǔ)言加載執(zhí)行。
- 便于更新。在程序更新過(guò)程中，僅更新對(duì)應(yīng)模塊的DLL文件即可，無(wú)需重新部署整個(gè)程序。
- 為熱更新提供技術(shù)可能性。動(dòng)態(tài)鏈接庫(kù)可以通過(guò)編程手段實(shí)現(xiàn)加載和卸載，以此可以支持不重啟程序的情況下更新模塊。
- 為程序提供編程接口?？梢詫⒆约撼绦虻恼{(diào)用接口封裝為DLL文件，供其他程序調(diào)用。
1.1.2 動(dòng)態(tài)共享對(duì)象
在Linux平臺(tái)，此項(xiàng)技術(shù)名為動(dòng)態(tài)共享對(duì)象（dynamic shared objects），常見(jiàn)后綴名為.so。
動(dòng)態(tài)共享對(duì)象除了上述“動(dòng)態(tài)鏈接庫(kù)”的優(yōu)勢(shì)之外，也能解決由于Linux的開(kāi)放性帶來(lái)的底層接口兼容問(wèn)題。即通過(guò)動(dòng)態(tài)共享對(duì)象封裝操作系統(tǒng)底層接口，對(duì)外提供統(tǒng)一的調(diào)用接口，以供上層應(yīng)用程序調(diào)用。相當(dāng)于提供了一層兼容層。
1.1.3 非編譯語(yǔ)言的動(dòng)態(tài)技術(shù)
非編譯語(yǔ)言，由于本身是通過(guò)源代碼發(fā)布，所以實(shí)現(xiàn)動(dòng)態(tài)加載程序模塊或者更新模塊，直接修改源代碼即可。思路簡(jiǎn)單且容易實(shí)現(xiàn)。
1.2 Golang 的動(dòng)態(tài)技術(shù)
Golang作為編譯型的開(kāi)發(fā)語(yǔ)言，本身并不支持通過(guò)源代碼實(shí)現(xiàn)動(dòng)態(tài)加載和更新。但Golang官方提供了Plugin技術(shù)，實(shí)現(xiàn)動(dòng)態(tài)加載。
通過(guò)在編譯時(shí)添加參數(shù)，將Go程序編譯為 Plugin：
go build -buildmode=plugin
但是此技術(shù)在當(dāng)前版本（1.19）局限性非常大。通過(guò)其文檔 https://pkg.go.dev/plugin 可知：
- 平臺(tái)限制，目前僅支持：Linux, FreeBSD 和 macOS
- 卸載限制，僅支持動(dòng)態(tài)加載，不支持動(dòng)態(tài)卸載。
- 不提供統(tǒng)一接口，只能通過(guò)反射處理Plugin內(nèi)部的屬性和函數(shù)。
并且上述問(wèn)題，Golang官方并不打算解決……
二、Golang 的第三方解釋器（Yaegi）
解釋器一般只存在于腳本語(yǔ)言中，但是Traefik為了實(shí)現(xiàn)動(dòng)態(tài)加載的插件功能，開(kāi)發(fā)了一個(gè)Golang的解釋器。提供了在運(yùn)行時(shí)直接執(zhí)行Golang源代碼的能力。
參考項(xiàng)目：https://github.com/traefik/yaegi
2.1 使用場(chǎng)景
yaegi 項(xiàng)目官方推薦三種場(chǎng)景：
- 內(nèi)嵌解釋器
- 動(dòng)態(tài)擴(kuò)展框架
- 命令行解釋器
并且官方針對(duì)上述三種場(chǎng)景，均給出了相應(yīng)的示例：
2.1.1 內(nèi)嵌解釋器
package main
import (
"github.com/traefik/yaegi/interp"
"github.com/traefik/yaegi/stdlib"
)
func main() {
i := interp.New(interp.Options{})
i.Use(stdlib.Symbols)
_, err := i.Eval(`import "fmt"`)
if err != nil {
panic(err)
}
_, err = i.Eval(`fmt.Println("Hello Yaegi")`)
if err != nil {
panic(err)
}
}
2.1.2 動(dòng)態(tài)擴(kuò)展框架
package main
import "github.com/traefik/yaegi/interp"
const src = `package foo
func Bar(s string) string { return s + "-Foo" }`
func main() {
i := interp.New(interp.Options{})
_, err := i.Eval(src)
if err != nil {
panic(err)
}
v, err := i.Eval("foo.Bar")
if err != nil {
panic(err)
}
bar := v.Interface().(func(string) string)
r := bar("Kung")
println(r)
}
2.1.3 命令行解釋器
Yaegi提供了一個(gè)命令行工具，實(shí)現(xiàn)了 讀取-執(zhí)行-顯示 的循環(huán)。
$ yaegi
> 1 + 2
3
> import "fmt"
> fmt.Println("Hello World")
Hello World
>
2.2 數(shù)據(jù)交互
數(shù)據(jù)交互方式比較多，需要注意的是從解釋器內(nèi)部返回的數(shù)據(jù)都是 reflect.Value 類(lèi)型，獲取其實(shí)際的值需要類(lèi)型轉(zhuǎn)換。
2.2.1 數(shù)據(jù)輸入
可以有（但不限于）下述四種方法：
- 通過(guò) os.Args 傳入數(shù)據(jù)
- 通過(guò) 環(huán)境變量 傳入數(shù)據(jù)
- 通過(guò) 賦值語(yǔ)句 傳入數(shù)據(jù)
- 通過(guò) 函數(shù)調(diào)用 傳入數(shù)據(jù)
下面是我自己寫(xiě)的代碼示例：
package main
import (
"fmt"
"github.com/traefik/yaegi/interp"
"github.com/traefik/yaegi/stdlib"
)
func main() {
{ // 通過(guò) os.Args 傳入數(shù)據(jù)
i := interp.New(interp.Options{
Args: []string{"666"},
})
i.Use(stdlib.Symbols)
i.Eval(`import "fmt"`)
i.Eval(`import "os"`)
i.Eval(`fmt.Printf("os.Args[0] --- %s\n", os.Args[0])`)
// os.Args[0] --- 666
}
{ // 通過(guò) 環(huán)境變量 傳入數(shù)據(jù)
i := interp.New(interp.Options{
Env: []string{"inputEnv=666"},
})
i.Use(stdlib.Symbols)
i.Eval(`import "fmt"`)
i.Eval(`import "os"`)
i.Eval(`fmt.Printf("os.Getenv(\"inputEnv\") --- %s\n", os.Getenv("inputEnv"))`)
// os.Getenv("inputEnv") --- 666
}
{ // 執(zhí)行賦值語(yǔ)句傳入數(shù)據(jù)
i := interp.New(interp.Options{})
i.Use(stdlib.Symbols)
i.Eval(`import "fmt"`)
i.Eval(fmt.Sprintf("inputVar:=\"%s\"", "666"))
i.Eval(`fmt.Printf("inputVar --- %s\n", inputVar)`)
// inputVar --- 666
}
{ // 通過(guò)函數(shù)調(diào)用傳遞
i := interp.New(interp.Options{})
i.Use(stdlib.Symbols)
i.Eval(`import "fmt"`)
i.Eval(`var data map[string]interface{}`)
i.Eval(`func SetData(d map[string]interface{}){ data = d }`)
f, _ := i.Eval("SetData")
fun := f.Interface().(func(map[string]interface{}))
fun(map[string]interface{}{
"data01": 666,
})
i.Eval(`fmt.Printf("SetData --- %d\n", data["data01"])`)
// SetData --- 666
}
}
2.1.2 數(shù)據(jù)輸出
從解釋器獲取數(shù)據(jù)，實(shí)際上是獲取全局變量的值，可以通過(guò)下述方法：
- Eval 方法直接獲取
- 通過(guò)函數(shù)調(diào)用獲取
- Global 方法獲取所有全局變量
package main
import (
"fmt"
"github.com/traefik/yaegi/interp"
"github.com/traefik/yaegi/stdlib"
)
func main() {
{ // 通過(guò) Eval 直接獲取
i := interp.New(interp.Options{})
i.Use(stdlib.Symbols)
i.Eval(`data := 666`)
v, _ := i.Eval("data")
value := v.Interface().(int)
fmt.Printf("data = %d\n", value)
// data = 666
}
{ // 通過(guò)函數(shù)返回值獲取
i := interp.New(interp.Options{})
i.Use(stdlib.Symbols)
i.Eval(`data := 666`)
i.Eval(`func GetData() int {return data}`)
f, _ := i.Eval("GetData")
fun := f.Interface().(func() int)
fmt.Printf("data = %d\n", fun())
// data = 666
}
{ // 通過(guò) Eval 直接獲取
i := interp.New(interp.Options{})
i.Use(stdlib.Symbols)
i.Eval(`dataInt := 666`)
i.Eval(`dataStr := "666"`)
for name, v := range i.Globals() {
value := v.Interface()
switch value.(type) {
case int:
fmt.Printf("%s = %d\n", name, value)
// dataInt = 666
case string:
fmt.Printf("%s = %s\n", name, value)
// dataStr = 666
}
}
}
}
三、實(shí)現(xiàn)原理
就解釋器的實(shí)現(xiàn)原理，各個(gè)語(yǔ)言都大差不差。Golang由于其強(qiáng)大的基礎(chǔ)庫(kù)，直接提供了構(gòu)建抽象語(yǔ)法樹(shù)（Abstract Syntax Tree）的能力?；诔橄笳Z(yǔ)法樹(shù)實(shí)現(xiàn)腳本解釋器，就容易很多。
3.1 AST - 抽象語(yǔ)法樹(shù)
在計(jì)算機(jī)科學(xué)中，抽象語(yǔ)法樹(shù)（Abstract Syntax Tree，AST），或簡(jiǎn)稱(chēng)語(yǔ)法樹(shù)（Syntax tree），是源代碼語(yǔ)法結(jié)構(gòu)的一種抽象表示。它以樹(shù)狀的形式表現(xiàn)編程語(yǔ)言的語(yǔ)法結(jié)構(gòu)，樹(shù)上的每個(gè)節(jié)點(diǎn)都表示源代碼中的一種結(jié)構(gòu)。
Golang 通過(guò) go/ast 包（https://pkg.go.dev/go/ast），提供抽象語(yǔ)法樹(shù)相關(guān)能力。
3.1.1 抽象語(yǔ)法樹(shù)示例
我們?nèi)olang語(yǔ)法的子集進(jìn)行示例：一個(gè)簡(jiǎn)單的條件表達(dá)式
`A!=1 && (B>1 || (C<1 && A>2))`
抽象語(yǔ)法樹(shù)長(zhǎng)這樣：
*ast.BinaryExpr {
. X: *ast.BinaryExpr {
. . X: *ast.Ident {
. . . NamePos: -
. . . Name: "A"
. . }
. . OpPos: -
. . Op: !=
. . Y: *ast.BasicLit {
. . . ValuePos: -
. . . Kind: INT
. . . Value: "1"
. . }
. }
. OpPos: -
. Op: &&
. Y: *ast.ParenExpr {
. . Lparen: -
. . X: *ast.BinaryExpr {
. . . X: *ast.BinaryExpr {
. . . . X: *ast.Ident {
. . . . . NamePos: -
. . . . . Name: "B"
. . . . }
. . . . OpPos: -
. . . . Op: >
. . . . Y: *ast.BasicLit {
. . . . . ValuePos: -
. . . . . Kind: INT
. . . . . Value: "1"
. . . . }
. . . }
. . . OpPos: -
. . . Op: ||
. . . Y: *ast.ParenExpr {
. . . . Lparen: -
. . . . X: *ast.BinaryExpr {
. . . . . X: *ast.BinaryExpr {
. . . . . . X: *ast.Ident {
. . . . . . . NamePos: -
. . . . . . . Name: "C"
. . . . . . }
. . . . . . OpPos: -
. . . . . . Op: <
. . . . . . Y: *ast.BasicLit {
. . . . . . . ValuePos: -
. . . . . . . Kind: INT
. . . . . . . Value: "1"
. . . . . . }
. . . . . }
. . . . . OpPos: -
. . . . . Op: &&
. . . . . Y: *ast.BinaryExpr {
. . . . . . X: *ast.Ident {
. . . . . . . NamePos: -
. . . . . . . Name: "A"
. . . . . . }
. . . . . . OpPos: -
. . . . . . Op: >
. . . . . . Y: *ast.BasicLit {
. . . . . . . ValuePos: -
. . . . . . . Kind: INT
. . . . . . . Value: "2"
. . . . . . }
. . . . . }
. . . . }
. . . . Rparen: -
. . . }
. . }
. . Rparen: -
. }
}
圖形表示：
3.1.2 執(zhí)行抽象語(yǔ)法樹(shù)
簡(jiǎn)要說(shuō)明一下如果要執(zhí)行抽象語(yǔ)法樹(shù)，應(yīng)該怎么做：
執(zhí)行過(guò)程與程序執(zhí)行過(guò)程相似。先遍歷聲明列表，將已聲明的內(nèi)容初始化到堆內(nèi)存（可以使用字典代替）。深度優(yōu)先遍歷抽象語(yǔ)法樹(shù)，處理遍歷過(guò)程中遇到的抽象對(duì)象，比如（舉例而已，實(shí)際可能有出入）：
- 初始化堆內(nèi)存和執(zhí)行棧。
- 遍歷聲明部分，寫(xiě)入堆，等待調(diào)用。
- 找到主函數(shù)聲明，主函數(shù)入棧，遍歷其函數(shù)體語(yǔ)句，逐語(yǔ)句進(jìn)行深度優(yōu)先遍歷執(zhí)行。
遇到變量定義，則寫(xiě)入棧頂緩存。
遇到函數(shù)調(diào)用，則函數(shù)入棧。從堆中尋找函數(shù)定義，遍歷其函數(shù)體語(yǔ)句，遞歸執(zhí)行語(yǔ)句。
遇到變量使用，依次從下述位置獲取值：棧頂緩存 -> 堆內(nèi)存
遇到表達(dá)式，遞歸執(zhí)行表達(dá)式。
函數(shù)體執(zhí)行結(jié)束后出棧，出棧后將返回值寫(xiě)入棧頂緩存。
- 上述遞歸過(guò)程完成，程序結(jié)束。
上述是簡(jiǎn)單的執(zhí)行過(guò)程，并未處理特殊語(yǔ)法和語(yǔ)法糖，各個(gè)語(yǔ)言的語(yǔ)法定義均有不同，需要單獨(dú)處理。比如，Golang支持的語(yǔ)法可以參考：https://pkg.go.dev/go/ast
若能對(duì)其中定義的所有語(yǔ)法進(jìn)行處理，就可以實(shí)現(xiàn)golang的腳本解釋器。
對(duì)于上面（3.1.1）的那個(gè)簡(jiǎn)單示例，可以通過(guò)下述代碼直接執(zhí)行：
（不處理函數(shù)，只處理括號(hào)和有限的操作符。也未定義執(zhí)行棧，堆內(nèi)存使用全局變量Args代替）
package main
import (
"fmt"
"go/ast"
"go/parser"
"go/token"
"strconv"
)
var Args map[string]int
func main() {
{
Args = map[string]int{"A": 1, "B": 2, "C": 3}
code := `A==1 && (B>1 || C<1)`
expr, _ := parser.ParseExpr(code)
result := runExpr(expr)
fmt.Println(result)
}
{
Args["A"] = 3
Args = map[string]int{"A": 1, "B": 2, "C": 3}
code := `A!=1 && (B>1 || (C<1 && A>2))`
expr, _ := parser.ParseExpr(code)
result := runExpr(expr)
fmt.Println(result)
}
}
// 執(zhí)行表達(dá)式
// 支持操作：>, <, ==, !=, &&, ||
// 支持括號(hào)嵌套
func runExpr(expr ast.Expr) interface{} {
var result interface{}
// 二元表達(dá)式
if binaryExpr, ok := expr.(*ast.BinaryExpr); ok {
switch binaryExpr.Op.String() {
case "&&":
x := runExpr(binaryExpr.X)
y := runExpr(binaryExpr.Y)
return x.(bool) && y.(bool)
case "||":
x := runExpr(binaryExpr.X)
y := runExpr(binaryExpr.Y)
return x.(bool) || y.(bool)
case ">":
x := runExpr(binaryExpr.X)
y := runExpr(binaryExpr.Y)
return x.(int) > y.(int)
case "<":
x := runExpr(binaryExpr.X)
y := runExpr(binaryExpr.Y)
return x.(int) < y.(int)
case "==":
x := runExpr(binaryExpr.X)
y := runExpr(binaryExpr.Y)
return x.(int) == y.(int)
case "!=":
x := runExpr(binaryExpr.X)
y := runExpr(binaryExpr.Y)
return x.(int) != y.(int)
}
}
// 基本類(lèi)型值
if basicLit, ok := expr.(*ast.BasicLit); ok {
switch basicLit.Kind {
case token.INT:
v, _ := strconv.Atoi(basicLit.Value)
return v
}
}
// 標(biāo)識(shí)符
if ident, ok := expr.(*ast.Ident); ok {
return Args[ident.Name]
}
// 括號(hào)表達(dá)式
if parenExpr, ok := expr.(*ast.ParenExpr); ok {
return runExpr(parenExpr.X)
}
return result
}
執(zhí)行結(jié)果：
A==1 && (B>1 || C<1) => true
A!=1 && (B>1 || (C<1 && A>2)) => false
以上就是Golang 動(dòng)態(tài)腳本調(diào)研詳解的詳細(xì)內(nèi)容，更多關(guān)于Golang 動(dòng)態(tài)腳本的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！
相關(guān)文章
Golang基礎(chǔ)學(xué)習(xí)之map的示例詳解
哈希表是常見(jiàn)的數(shù)據(jù)結(jié)構(gòu)，有的語(yǔ)言會(huì)將哈希稱(chēng)作字典或者映射，在Go中，哈希就是常見(jiàn)的數(shù)據(jù)類(lèi)型map，本文就來(lái)聊聊Golang中map的相關(guān)知識(shí)吧2023-03-03
為什么Go里值為nil可以調(diào)用函數(shù)原理分析
這篇文章主要為大家介紹了為什么Go里值為nil可以調(diào)用函數(shù)原理分析,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進(jìn)步,早日升職加薪2023-08-08
Golang語(yǔ)言如何避免空指針引發(fā)的panic詳解
簡(jiǎn)單地說(shuō)go語(yǔ)言的指針類(lèi)型和C/C++的指針類(lèi)型用法是一樣的,除了出去安全性的考慮,go語(yǔ)言增加了一些限制,這篇文章主要給大家介紹了關(guān)于Golang語(yǔ)言如何避免空指針引發(fā)panic的相關(guān)資料,需要的朋友可以參考下2022-01-01
這篇文章主要為大家詳細(xì)介紹了golang在多線程中避免CPU指令重排的相關(guān)知識(shí),文中的示例代碼講解詳細(xì),感興趣的小伙伴可以跟隨小編一起學(xué)習(xí)一下2024-03-03
這篇文章主要介紹了Go語(yǔ)言寫(xiě)入字符串到文件的方法,實(shí)例分析了Go語(yǔ)言操作字符串及文本的技巧,具有一定參考借鑒價(jià)值,需要的朋友可以參考下2015-02-02
Go 如何基于IP限制HTTP訪問(wèn)頻率的方法實(shí)現(xiàn)
這篇文章主要介紹了Go 如何基于IP限制HTTP訪問(wèn)頻率的方法實(shí)現(xiàn)，文中通過(guò)示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2019-11-11
這篇文章主要想來(lái)和大家討論一下,GO?語(yǔ)言處理并發(fā)的時(shí)候我們是選擇sync還是channel,文中的示例代碼講解詳細(xì),感興趣的小伙伴可以了解下2023-08-08
這篇文章主要介紹了Go語(yǔ)言指針使用分析與講解,本篇文章通過(guò)簡(jiǎn)要的案例,講解了該項(xiàng)技術(shù)的了解與使用,以下就是詳細(xì)內(nèi)容,需要的朋友可以參考下2021-07-07
Golang實(shí)現(xiàn)HTTP代理突破IP訪問(wèn)限制的步驟詳解
在當(dāng)今互聯(lián)網(wǎng)時(shí)代,網(wǎng)站和服務(wù)商為了維護(hù)安全性和保護(hù)用戶(hù)隱私,常常會(huì)對(duì)特定的IP地址進(jìn)行封鎖或限制,本文將介紹如何使用Golang實(shí)現(xiàn)HTTP代理來(lái)突破IP訪問(wèn)限制,需要的朋友可以參考下2023-10-10
解決Golang 中使用WaitGroup的那點(diǎn)坑
這篇文章主要介紹了解決Golang 中使用WaitGroup的那點(diǎn)坑，具有很好的參考價(jià)值，希望對(duì)大家有所幫助。一起跟隨小編過(guò)來(lái)看看吧2021-04-04