PyUnicode_FromStringAndSize：非常简洁的文档

Question

抱歉，如果这是一个愚蠢的问题，我怀疑它很可能是。 我是 Python 用户，在 C 方面经验很少。

根据官方 Python 文档（v3.10.6） ：

PyObject *PyUnicode_FromStringAndSize(const char *u, Py_ssize_t size) 返回值：新引用。 稳定 ABI 的一部分。

从字符缓冲区 u 创建一个 Unicode object。 这些字节将被解释为 UTF-8 编码。 缓冲区被复制到新的 object 中。 如果缓冲区不是NULL，则返回值可能是共享的object，即不允许修改数据。 [...]

这让我有点困惑。

它表示数据，即缓冲区 u 被复制。 但随后它说数据可能会被共享，这似乎与第一个陈述相矛盾。

我的问题是：

它们到底是什么意思？ 那新分配的数据副本是共享的吗？ 如果有，和谁在一起？

此外，来自 Python：他们为什么要警告不要篡改数据？ 更改 Python 不可变 object 是否在 C 中例行执行？

最终，我只需要知道如何处理你：我可以/应该释放它还是让 Python 获得所有权？

Answer 1

最终，我只需要知道如何处理你：我可以/应该释放它还是让 Python 获得所有权？

你仍然拥有u 。 Python 不知道u来自哪里或如何释放它。 它甚至可以是一个本地数组。 Python 不会保留指向u的指针。 清理u仍然是你的责任。

它们到底是什么意思？ 那新分配的数据副本是共享的吗？ 如果有，和谁在一起？

返回的字符串 object 可以与任意其他代码共享。 Python 没有承诺这将如何发生，但在当前实现中，一种方法是从此类字符串的缓存数组中提取单字符 ASCII 字符串：

/* ASCII is equivalent to the first 128 ordinals in Unicode. */
if (size == 1 && (unsigned char)s[0] < 128) {
    if (consumed) {
        *consumed = 1;
    }
    return get_latin1_char((unsigned char)s[0]);
}

此外，来自 Python：他们为什么要警告不要篡改数据？ 更改 Python 不可变 object 是否在 C 中例行执行？

这实际上是相当常规的。 Python 不可变对象必须以某种方式初始化，这意味着在 C 中写入它们的 memory。 不变性是在 Python 级别呈现的抽象，但 object 的物理 memory 是可变的。 然而，这种突变仅在非常有限的情况下是安全的，其中一项要求是其他代码不应包含对 object 的任何引用。