AssemblyScript编译执行报错：Allocation too large与Index out of range

核心问题分析 #

1. 自定义Abort函数未实现：编译命令中指定了--use abort=assembly/index/myAbort，但你的index.ts里完全没定义myAbort函数。AssemblyScript运行时依赖abort函数处理异常，找不到该函数时会导致错误信息编码异常，出现你看到的乱码Unicode数据。
2. 内存内容打印误导：你直接打印整个Wasm内存，其中包含AssemblyScript运行时预存的错误提示字符串，并非实际运行时触发了这些错误，只是内存预加载了相关信息。

分步解决方案 #

步骤1：修复AssemblyScript代码与编译命令 #

方案A：移除自定义abort参数（推荐）

直接使用AssemblyScript默认的abort实现，修改编译命令：

npx asc assembly/index.ts --target release

方案B：实现自定义myAbort函数

如果确实需要自定义异常处理逻辑，在index.ts中添加如下函数：

export function myAbort(message: usize, fileName: usize, line: u32, column: u32): void {
  // 可在此添加自定义逻辑，比如通过宿主函数输出错误信息
}

保持原编译命令不变即可。

步骤2：调整Go-Wasmtime执行代码 #

原代码未调用导出的newAnimal函数，且直接打印全内存易造成混淆。修改代码以正确调用Wasm模块的导出函数：

package main

import (
    "fmt"

    "github.com/bytecodealliance/wasmtime-go/v9"
)

func main() {
    engine := wasmtime.NewEngine()
    store := wasmtime.NewStore(engine)
    linker := wasmtime.NewLinker(engine)

    // 绑定kv模块（当前index.ts未用到，可注释或保留）
    vals := map[int32]int32{}
    set := func(k, v int32) {
        vals[k] = v
        fmt.Printf("set: %d, %d\n", k, v)
    }
    get := func(k int32) int32 {
        fmt.Printf("get: %d\n", k)
        return vals[k]
    }
    linker.DefineFunc(store, "kv", "set", set)
    linker.DefineFunc(store, "kv", "get", get)

    // 加载Wasm模块
    module, err := wasmtime.NewModuleFromFile(engine, "./release.wasm")
    check(err)

    // 实例化模块
    instance, err := linker.Instantiate(store, module)
    check(err)

    // 调用导出的newAnimal函数
    newAnimal := instance.GetExport(store, "newAnimal").Func()
    result, err := newAnimal.Call(store)
    check(err)
    fmt.Printf("newAnimal返回值: %v\n", result)

    // 查看内存基础信息（避免直接打印全内存）
    mem := instance.GetExport(store, "memory").Memory()
    fmt.Printf("内存页数量: %d, 总字节数: %d\n", mem.Size(store), mem.DataSize(store))
}

func check(e error) {
    if e != nil {
        panic(e)
    }
}

步骤3：验证结果 #

1. 重新编译AssemblyScript代码
2. 运行修改后的Go代码，将正常调用newAnimal函数并返回1，乱码错误信息的问题会消失。

额外说明 #

• 若需要调试，可将编译命令中的--target release改为--target debug，错误信息会更直观。
• 如果不需要kv模块的功能，可以直接从Go代码中移除相关绑定逻辑，简化代码。

内容的提问来源于stack exchange，提问作者Anh Thi