双周报Vol.69: C FFI 支持 borrow、新增.mbt.md测试与调试、WASM 后端支持extern type..

更新目录

· WASM 后端支持将 extern type T 存储到数组等数据结构中

· C FFI 支持 borrow

· type 和 trait支持了 #deprecated attribute

‍· FFI 的 extern 函数的声明添加了后端一致性的检查

· 新增了对 .mbt.md 的测试和调试支持

· moon info --package 支持模糊匹配包名

MoonBit 更新

1、 WASM 后端支持 extern type T 存储到数组等数据结构中

在 FFI 边界(导入/导出函数的签名)上,extern type T 依然会被编译成 WASM 的 externref 类型。2、 C FFI 支持 borrow现在,你可以通过在extern "c"的函数上方指定#borrow(args, ...) 来修改 C FFI 对参数的生命周期管理方式,其中args是 C FFI 的参数名字的一个子集。

默认情况下,C FFI 需要负责把参数释放掉,这意味着,绑定 C FFI 时,往往需要写一个辅助函数来释放掉参数:

kotlin 复制代码
fn open(path : Bytes, flags : Int, mode : Int) -> Int = "open_wrapper"
arduino 复制代码
int open_wrapper(moonbit_bytes_t path, int flags, int mode) {
  int rc = open(path, flags, mode);
  moonbit_decref(path)
  return rc;
}

使用borrow attribute,我们可以指示 MoonBit 对 C FFI 函数调用不生成引用计数指令,从而不用再写辅助函数,可以直接绑定 C 库中的函数:

kotlin 复制代码
#borrow(path)
fn open(path : Bytes, flags : Int, mode : Int) -> Int = "open"

由于 #borrow 标记,MoonBit 会自动在调用完 open 后释放掉 path3、type&trait支持#deprecated attribute我们下次发布将移除旧的 pragmas 机制,建议使用 attribute 替代:

csharp 复制代码
/// the @alert pragmas is deprecated
/// @alert deprecated "message"
fn f() -> Unit {...}

/// use attribute #deprecated instead
#deprecated("message")
fn f() -> Unit {...}

4、 FFI 的 extern 函数声明添加后端一致性检查例如下列函数会在非 Native 后端构建的时候报错。

kotlin 复制代码
extern "c" fn open(path : Bytes, flags : Int, mode : Int) -> Int = "open"

工具链更新

1、从本周开始,工具链的发布从周一改到周四。

2、修复了 test explorer 的 bug,并新增了对 .mbt.md 的测试和调试支持:

可通过开启以下设置来允许在 Markdown 文件中设置断点:

Settings > Debug: Allow Breakpoint Everywhere

3、moon info --package 支持模糊匹配包名。

相关推荐
掘金安东尼6 小时前
记录 Chatgpt 辅助离线配置环境,我就像是个小丑🤡🤡🤡
人工智能·程序员·llm
陈随易8 小时前
对不起,我还是不推荐你用express和koa
前端·后端·程序员
京东云开发者12 小时前
给Ai-Agent重塑真身 ---浅谈如何优雅地拆解AI-Agent
程序员
xiezhr15 小时前
程序员为什么总是加班?
前端·后端·程序员
刻意思考1 天前
KM算法的时间复杂度,为什么可以降低一个数量级
后端·算法·程序员
500佰1 天前
一次线上OOM事故,一个Java程序员的自我救赎
后端·程序员
蜉蝣天地1 天前
【懂点AI】AI重塑思维方式之:AI协助制定目标与计划
人工智能·程序员
陈随易1 天前
盘点23个Nodejs的替代品Bun的实用功能
前端·后端·程序员
zidea2 天前
我和我的 AI Agent(2)工具模块设计上花了不少心思,实现了 AI Agent 从使用工具到创建工具的进化
人工智能·python·程序员