AssemblyScript中unsafe关键字报错，如何禁用运行时边界检查？

AssemblyScript 里的 unsafe 特性并不是通过 unsafe 关键字或代码块来实现的，得靠编译器配置 + 内置语法/函数来跳过运行时边界检查，具体步骤如下：

第一步：开启编译器的 Unsafe 模式 #

默认情况下，AssemblyScript 会通过 noUnsafe 选项禁用 unsafe 能力，你需要手动关闭这个限制：

• 命令行编译时添加参数：asc your-file.ts --noUnsafe false
• 或者在项目的 asconfig.json 里配置：

{
  "options": {
    "noUnsafe": false
  }
}

只有开启这个选项，后续的unsafe操作才能生效。

第二步：使用正确的 Unsafe 语法 #

跳过数组边界检查 #

要绕开数组的边界校验，有两种常用方式：

• 用内置的 unchecked 命名空间方法：

import { unchecked } from "assemblyscript";

function fastGet(arr: i32[], idx: i32): i32 {
  return unchecked.at(arr, idx);
}

• 用语法糖（数组括号前加 !）：

function fastGet(arr: i32[], idx: i32): i32 {
  return arr![idx];
}

直接内存操作 #

在unsafe模式下，你可以直接使用内置的 load/store 函数操作内存地址，或者访问 memory 对象：

// 从指定内存地址加载i32类型的值
function loadFromPtr(ptr: usize): i32 {
  return load<i32>(ptr);
}

避坑提醒 #

• AssemblyScript 没有 unsafe 关键字、unsafe{} 代码块或者 @unsafe 装饰器这类语法，你之前尝试的写法都是不符合规范的，这就是编译报错的原因。
• 如果没开启 --noUnsafe false，即使写了 unchecked 相关代码，编译器要么报错，要么自动插入边界检查，达不到性能优化的目的。

内容的提问来源于stack exchange，提问作者Prasad V L