v25.5 (2025-08-05）

mojo_hub

✨亮点

Mojo 现已作为mojoConda 软件包独立提供。它包含 Mojo 编译器、标准库和layout软件包（在 GPU 编程中大量使用）。此外，它还包含 Mojo 开发者工具：LSP、调试器、格式化程序等等。

目前，要使用 Python 与 Mojo 互操作性，您必须安装该 modular包。

有关更多详细信息，请参阅软件包。
现在支持参数别名：可以使用可选参数列表指定别名（就像函数一样）。参数别名也被视为一级参数值。更多详情，请参阅 Mojo 手册中的“参数别名” 。
Mojo API 文档现在为参数、实参和返回值类型生成交叉引用。

语言增强

@parameter for现在适用于更广泛的集合类型，可以实现诸如@parameter for i in [1, 2, 3]: ...。

StringLiteral现在在运行时使用时会自动实现String：

    alias param = "foo"        # type = StringLiteralvar runtime_value = "bar"  # type = Stringvar runtime_value2 = param # type = String

    alias param = "foo"        # type = StringLiteralvar runtime_value = "bar"  # type = Stringvar runtime_value2 = param # type = String

这样就可以实现用户期望的所有行为，而无需转换或注释类型，例如：

    var string = "hello"string += " world"var if_result = "foo" if True else "bar"

    var string = "hello"string += " world"var if_result = "foo" if True else "bar"

String从 a初始化 aStringLiteral最初指向静态常量内存，并且在第一次变异之前不执行任何分配。

编译器现在可以检测将编译时解释器堆栈内存的引用具体化为运行时代码的尝试。这包括引用内存的相关类型，例如切片、跨度和指针。

编译器目前无法跟踪内部堆栈对象在运行时具体化的生命周期，这可能会导致内存泄漏。请考虑以下示例：

    fn test_comptime_materialize():  # This is ok! Forms a comptime pointer to a comptime "stack" value of  # String type.  alias comptime_ptr = String("foo" + "bar").unsafe_ptr()  # This is ok too, dereferences the pointer at comptime, loading the byte.  alias byte = comptime_ptr[]  # This materializes a Byte from comptime to runtime.  var rt_byte = byte  # Error: cannot materialize to runtime value, the type contains an origin  # referring to a compile-time value  var bad_usage = comptime_ptr

    fn test_comptime_materialize():  # This is ok! Forms a comptime pointer to a comptime "stack" value of  # String type.  alias comptime_ptr = String("foo" + "bar").unsafe_ptr()  # This is ok too, dereferences the pointer at comptime, loading the byte.  alias byte = comptime_ptr[]  # This materializes a Byte from comptime to runtime.  var rt_byte = byte  # Error: cannot materialize to runtime value, the type contains an origin  # referring to a compile-time value  var bad_usage = comptime_ptr

以前，编译器会将值的内存表示具体化 String，但不知道它需要被销毁。现在它会检测到这个问题。如果遇到这种情况，请重新编写代码，将完整对象（例如字符串）具体化为运行时显式：

    alias comptime_string = String("foo" + "bar")var runtime_string = comptime_string

    alias comptime_string = String("foo" + "bar")var runtime_string = comptime_string

语言变化

该@value装饰器已正式弃用，并发出警告，将在 Mojo 的下一个版本中移除。请移至 @fieldwise_init 和合成Copyable以及Movabletrait 一致性部分。
隐式特征一致性已被移除。所有一致性都必须显式声明。
参数owned约定已重命名为var。这反映出 var已一致用于“命名、作用域、拥有的值”，而这正是owned约定的作用。在此版本中， var和都owned允许出现在参数列表中，但owned在后续版本中将被移除，因此请将您的代码移至。
现在，只要两个具有相同参数类型列表的函数签名中，至少一个位置是仅关键字参数，并且该位置的参数名称不同，即可完全支持函数重载。之前，当返回类型不同时，存在一种边缘情况，无法实现此支持。例如，这两个函数现在可以共存：
```
    fn get(self, idx: Int) -> Intfn get(self, *, idx2: Int) -> Float32
```
```
    fn get(self, idx: Int) -> Intfn get(self, *, idx2: Int) -> Float32
```

标准库变更

String现在对 a 进行索引将返回 a StringSlice，从而避免分配。String.split()现在将返回 a List[StringSlice]。
增加了对更广泛的消费级 AMD 硬件的支持，包括：
- AMD Radeon RX 7xxx GPU
- AMD Radeon RX 9xxx GPU
以下函数（可从导入）现在提供针对 AMD RDNA3+ GPU 的编译时检查sys.info：
- _is_amd_rdna3()
- _is_amd_rdna4()
- _is_amd_rdna()
为 RDNA3+ GPU 添加了 WMMA 矩阵乘法指令，以帮助支持在这些 GPU 上运行 AI 模型。
增加了对 NVIDIA GeForce RTX 3090 的支持。
memory.UnsafePointer现在已隐式包含在所有 mojo 文件中。此外， OpaquePointer（相当于void*C 语言中的 a ）已移至memory模块中，并且也已隐式包含。
Python 互操作性变化：
- Mojo 方法现在可以py_self: UnsafePointer[Self]代替原始的 py_self: PythonObject，从而消除了常见情况下所需的向下转换样板。
- Mojo 函数现在可以原生地接受 Python 的关键字参数OwnedKwargsDict[PythonObject]作为最后一个参数。这样就可以直接从 Python 使用关键字参数进行调用，而无需使用包装函数。
```
        from collections import OwnedKwargsDict# Callable from Python as `foo(10, y=20)`fn foo(x: PythonObject, kwargs: OwnedKwargsDict[PythonObject]):    y = kwargs["y"]
```
```
        from collections import OwnedKwargsDict# Callable from Python as `foo(10, y=20)`fn foo(x: PythonObject, kwargs: OwnedKwargsDict[PythonObject]):    y = kwargs["y"]
```
- 该PythonTypeBuilder 实用程序现在允许：
  - 注册 Python 静态方法的绑定，即不需要类实例的方法。
  - 注册接受参数的初始化器。类型不再需要 Defaultable从 Python 中暴露和创建。
- 该PythonConvertible特征已重命名为 ConvertibleToPython。现在这与特征一致 ConvertibleFromPython ，建模了可以转换为或从转换的 Mojo 类型 PythonObject。
  
  有关更多信息，请参阅 Mojo 手册中的从 Python 调用 Mojo 。
添加了Iterator用于产生一系列值的建模类型的特征。

类型可以Iterator通过提供__next__()和__has_next__() 方法来实现。此命名和行为基于 Python Iterator 类型注解，但由于 Mojo 目前存在的限制，略有不同。

任何实现的类型都可以在循环语法Iterator中使用。for``@parameter for

Iterator目前没有支持对借用ref值进行迭代的变体。
该Dict类型现在有一个H 参数，允许用户提供自定义Hasher类型。
- default_hasher（AHasher）和default_comp_time_hasher（Fnv1a）现已提供
- H的参数默认Dict为default_hasher
该Hashable特征已更新为使用新的数据流策略。
- 现在要求用户实现该方法 fn __hash__[H: Hasher](self, mut hasher: H): （Hashable有关更多详细信息，请参阅 API 文档）。
InlineArray现在可以用 0 的大小来构造。这使得InlineArray在元素数量是通用的并且也可以是 0 的情况下更容易使用。
List.append(Span)已重命名为。始终将列表的长度精确地增加 1，List.extend(Span)这对于可读性和一致性至关重要。在 Python 和 Rust 中，此操作的变体是将任意长度的附加元素（可能为 0）添加到列表中。append()``extend()
io库中新增了一个模块。builtin模块中先前的一些核心输入/输出 API 已移至io。目前，模块中的所有 APIio均已自动导入。以下 API 已移至io：
- 与文件相关的 API，例如open()、FileHandle和FileDescriptor。
- 和Writer特质Writable。
- input()和print()功能。
StringLiteral.strip()函数系列现在返回一个StaticString。

工具变更

增加了对 GCC 风格调试标志-g0、-g1和的支持，-g2以匹配常见的编译器约定：
- -g0：没有调试信息（的别名--debug-level=none）。
- -g1：行表调试信息（的别名--debug-level=line-tables）。
- -g2：完整的调试信息（的别名--debug-level=full）。
为 Mojo 语言服务器添加了进度报告支持。当服务器正在解析文档时，它将在编辑器中发出进度通知。

❌已移除

包中的各种功能sys.info已被移至 sys.info.CompilationTarget 结构体中：
- is_x86()
- has_sse4()
- has_avx()
- has_avx2()
- has_avx512f()
- has_fma()
- has_vnni()
- has_neon()
- has_neon_int8_dotprod()
- has_neon_int8_matmul()
UnsafePointer.address_of()已被移除。请使用UnsafePointer(to=...) 构造函数代替。同样，Pointer.address_of()已被移除。
DType.tensor_float32由于库和编译器缺乏支持，已被删除。

🛠️已修复

#4121.value() - 为空时提供更好的错误消息Optional。
#4566 - 在内部分配循环变量时挂起@parameter for。
#4820——选择math.exp2了错误的实现float64。
#4836 — 其他路径 @parameter for损坏。
#4499 - ref self用作参数时会导致问题的特征。
#4911 -InlineArray 现在移动时调用其元素的移动构造函数。
#3927 -InlineArray 现在可以构建为大小为 0 的。
#4954 –InlineArray 现在移动时不会调用复制构造函数。
#5066 - 在中正确填充 AMD 上的 64 位值enqueue_fill。
#4982 – 添加toggle_all 到BitSet。
#5086 – 添加set_all 到BitSet。
#5057 - 跨度性能回归。
#5051 - .modularLinux 上的目录位置不正确。
#5021 - 当本地包存在时，LSP 在 VSCode 中崩溃。
#5016 - 条件一致性特征别名错误。