双周报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 支持模糊匹配包名。

相关推荐
AI大模型2 小时前
斩获59.4K星!一款本地部署的开源私人知识库工具!
程序员·llm·agent
大模型教程2 小时前
GitHub 上 6 万人收藏!RAG 引擎让知识库活起来
程序员·llm·agent
AI大模型2 小时前
从零开始,用自己的电脑搭建第一个本地知识库问答机器人
程序员·llm·deepseek
RainWeb37 小时前
Hardhat3-node-npm-基础版安装-V1
程序员·智能合约
颜如玉20 小时前
艺术家及其时代
程序员·电子书
程序员鱼皮1 天前
Claude 封杀中国后,我终于找到了平替!
计算机·ai·程序员·大模型·互联网
程序新视界1 天前
面试中,如何筛选合格的人才?
面试·程序员
玩转AGI3 天前
【必收藏】12-Factor Agents:让大模型Agent从能跑起来到能用起来的企业级设计指南
人工智能·程序员·llm
tinker4 天前
ROS2 - SLAM 同步定位与建图
程序员