Files
jscriptx/errors_goja.go
what 7e1893b246 refactor: 文件按主类型划分,一个 struct 一个功能
约定:文件名 = 主类型名;同一个类型要拆多个文件时用 类型_子项.go。

  engine.go          355 → 231 行。原来混了三件不相干的事
  engine_globals.go  ← bind / lazyGlobal / freeze / defineReadOnly(96 行)
                       它是「Go 值 → 只读 JS 全局」的转换层,跟脚本缓存毫无关系
  engine_console.go  ← console.go,跟上面是同一主题
  script.go          325 → 100 行,只留公开方法
  script_vm.go       ← VM 的取、还、装载。上个 commit 合一的三条路径现在住一起
  script_static.go   ← static.go
  errors.go          364 → 150 行
  errors_goja.go     ← goja 错误的翻译层
  errors_hints.go    ← missingGlobalHint,一份 JS 运行时知识库,跟错误分类是
                       两回事;拆出来之后 missing_global_test.go 才有对应源文件
  bundle_finalize.go ← esmwrap.go
  bundle.go          收下 validIdent / hashVersion(原来住在 engine.go)

Engine.New 原来排在所有私有函数之后,挪到导出方法那一段。

classify 83 → 54 行:四个 errors.As 分支各手搓一个 8 字段的 &Error{},脚本上下文
那三行重复了 4 遍,抽出 gojaError 构造器。

顺带修四处注释漂移:

  Session/会话   代码里叫 Instance,注释里大面积残留。engine_globals.go 那条
                 「注入会话全局对象失败」还是用户可见文案,而公开 API 里根本
                 没有「会话」这个概念
  Extension      文档示例写 Module() string,接口是 Module() (path, source string)。
                 这是唯一一段教人写扩展的文档,照抄编译不过
  doc.go 的 freeze  说白名单「逐层拷贝成只读对象,不会跨 VM 共享可变的 Go map」,
                 但那只对 map[string]any 成立。结构体指针和 slice 是**共享同一个
                 对象**的——扩展走的正是这条路,不该被当成隔离保证
2026-09-10 15:28:59 +08:00

159 lines
4.4 KiB
Go

package jscriptx
import (
"context"
"errors"
"fmt"
"strconv"
"github.com/dop251/goja"
)
// goja 抛出来的东西翻译成本库的 *Error。
//
// goja 的错误有四种形状(中断、栈溢出、脚本异常、其它),每种要摘的上下文都不一样,
// 而调用方只想拿到「哪个脚本、哪个函数、脚本里哪一行」。这一层就干这件事。
// classify 把 goja 抛出来的各种错误翻译成 *Error 并补上脚本上下文。
// 已经是 *Error 的(比如 invoke 自己造的类型错误)原样返回。
// gojaError 是 classify 四个分支共用的骨架:脚本上下文(哪个脚本、哪个函数、
// 什么参数)四处都一样,只有 kind / msg / stack / cause 各不相同。
func gojaError(kind Kind, script, fn string, args []any, msg string, stack []Frame, cause error) *Error {
return &Error{
Kind: kind,
Script: script,
Func: fn,
Msg: msg,
Args: summarize(args),
Stack: stack,
Cause: cause,
}
}
func classify(err error, script, fn string, args []any) error {
if err == nil {
return nil
}
var known *Error
if errors.As(err, &known) {
return err
}
// 超时/取消:goja.Runtime.Interrupt 打断脚本后返回的就是这个。
var interrupted *goja.InterruptedError
if errors.As(err, &interrupted) {
cause := interrupted.Unwrap()
kind, msg := KindTimeout, "脚本执行超时,已强制中断"
switch {
case errors.Is(cause, context.Canceled):
kind, msg = KindCanceled, "调用方 context 被取消,脚本已中断"
case errors.Is(cause, context.DeadlineExceeded):
cause = fmt.Errorf("%w (%w)", ErrTimeout, cause)
case cause == nil:
cause = ErrInterrupted
}
return gojaError(kind, script, fn, args, msg, framesOf(interrupted.Stack()), cause)
}
var overflow *goja.StackOverflowError
if errors.As(err, &overflow) {
return gojaError(KindRuntime, script, fn, args,
"脚本调用栈溢出(多半是无限递归)", framesOf(overflow.Stack()), err)
}
// 脚本里没被 catch 的异常。
var exception *goja.Exception
if errors.As(err, &exception) {
e := gojaError(KindRuntime, script, fn, args,
"脚本抛出异常", framesOf(exception.Stack()), err)
if v := exception.Value(); v != nil {
e.Msg = v.String()
e.Value = v.Export()
if hint := missingGlobalHint(e.Msg); hint != "" {
e.Msg += "。" + hint
}
}
// Go 侧函数返回的 error 透到 JS 又没被 catch 时,这里能把原始 Go error 取回来,
// 让调用方的 errors.Is 还能匹配到自己的哨兵错误。
if inner := exception.Unwrap(); inner != nil {
e.Cause = inner
}
return e
}
return gojaError(KindRuntime, script, fn, args, err.Error(), nil, err)
}
func framesOf(stack []goja.StackFrame) []Frame {
if len(stack) == 0 {
return nil
}
out := make([]Frame, 0, len(stack))
for i := range stack {
pos := stack[i].Position()
out = append(out, Frame{
Source: stack[i].SrcName(),
Func: stack[i].FuncName(),
Line: pos.Line,
Column: pos.Column,
})
}
return out
}
const (
maxSummaryArgs = 8 // 最多记录几个参数
maxSummaryLen = 256 // 单个参数摘要的最大长度
)
// summarize 把调用参数压成可以安全写进日志的短字符串。
// 只在出错路径上调用,正常调用不付这个格式化开销。
func summarize(args []any) []string {
if len(args) == 0 {
return nil
}
n := min(len(args), maxSummaryArgs)
out := make([]string, 0, n+1)
for _, a := range args[:n] {
s := fmt.Sprintf("%v", a)
if len(s) > maxSummaryLen {
s = s[:maxSummaryLen] + "…"
}
out = append(out, fmt.Sprintf("%T=%s", a, s))
}
if len(args) > n {
out = append(out, fmt.Sprintf("…还有 %d 个参数", len(args)-n))
}
return out
}
// fatal 判断这个错误是否说明 VM 已处于不确定状态,不该再放回池子复用。
func fatal(err error) bool {
var e *Error
if errors.As(err, &e) {
switch e.Kind {
case KindTimeout, KindCanceled, KindPanic:
return true
}
return false
}
var interrupted *goja.InterruptedError
if errors.As(err, &interrupted) {
return true
}
var overflow *goja.StackOverflowError
return errors.As(err, &overflow)
}
// toError 把 recover() 拿到的任意值转成 error。
func toError(r any) error {
if err, ok := r.(error); ok {
return err
}
return fmt.Errorf("%v", r)
}
// strconvQuote 是 strconv.Quote 的短名字,给错误信息拼接用。
func strconvQuote(s string) string { return strconv.Quote(s) }