PyO3项目在Python 3.13.0b3中遇到的字符串引用计数问题分析

在Python扩展开发领域，PyO3作为连接Rust和Python的重要桥梁，近期在Python 3.13.0b3版本中遇到了一个关键的技术问题。本文将深入分析这一问题的成因、影响范围以及解决方案。

问题现象

当使用PyO3 0.21.2版本开发的扩展模块在Python 3.13.0b3环境下运行时，会出现以下错误：

python: Objects/unicodeobject.c:15052: intern_static: Assertion `_Py_IsImmortal(s)' failed.
Aborted (core dumped)

这个问题在多个项目中都能复现，例如在pyproject-fmt-rust项目中，简单的导入语句就会触发这个断言错误。

技术背景

Python 3.13引入了一个重要的内部机制变更——不可变(immortal)对象。这是Python解释器内部优化的一部分，旨在减少某些常用对象（如小整数、空元组等）的引用计数操作。这些对象的引用计数被设置为一个特殊值，表示它们永远不会被释放。

在Python 3.13.0b3中，__all__这样的内置字符串也被标记为不可变对象。当PyO3尝试对这些字符串进行引用计数操作时，触发了Python内部的断言检查。

问题根源

通过深入分析，我们发现问题的核心在于：

1. PyO3 0.21.2版本在操作模块属性时，会对属性名（如__all__）进行引用计数增加操作
2. 这些字符串在Python 3.13中被实现为不可变对象
3. Python解释器新增了断言检查，确保不可变对象的引用计数不会被修改
4. PyO3通过ABI3（稳定ABI）兼容模式运行，按照规范可以直接操作对象的引用计数

解决方案

Python核心开发团队已经确认这是一个解释器端的断言错误。正确的做法应该是：

1. 对于非稳定ABI的扩展，应该调用Py_IncRef函数而非直接操作引用计数
2. 对于稳定ABI扩展（如PyO3 0.21.2），允许直接修改引用计数以保持向后兼容性

Python 3.13.0b4版本将修复这个断言检查，使其不再对稳定ABI扩展报错。

开发者建议

对于PyO3用户，建议采取以下措施：

1. 短期方案：等待Python 3.13.0b4发布，该版本将包含修复
2. 长期方案：考虑升级到PyO3最新版本，以获得更好的Python 3.13+支持
3. 开发实践：了解Python不可变对象机制，在扩展开发中避免不必要的引用计数操作

这个问题展示了Python内部机制演进与扩展兼容性之间的微妙平衡，也提醒我们在使用预发布版本时需要更加谨慎。