Python 的 C API 的 const 正确性

Posted 2023-02-23

技术标签:

【中文标题】Python 的 C API 的 const 正确性【英文标题】：Const correctness of Python's C API 【发布时间】：2014-01-02 02:38:06 【问题描述】：

看来 Python C API 与字符数组的 const 正确性不一致。例如，PyImport_ImportFrozenModule 接受 char*，而 PyImport_ImportModule 接受 const char*。

所有这一切的含义是，在我使用嵌入式 Python 解释器编写的 C++ 应用程序中，有时我必须将传递给 Python API 调用的字符串文字转换为 char*（而不是const char*)，有时我不会。例如：

PyObject *os = PyImport_ImportModule("os"); // Works without the const_cast
PyObject *cwd = PyObject_CallMethod(os, const_cast<char*>("getcwd"), NULL); // Accepts char*, not const char*

如果我不对字符串文字执行const_cast<char*>（或(char*)），我会收到关于将字符串文字转换为char* 的编译器警告。

这是我的问题：

const char*

char*

const

const char*

因为我对 C++ 的理解有限，我不确定我是否要正确地转换字符串文字。在我看来，我可以选择以下任何一种（我目前正在做第一种）：

// Method 1) Use const_cast<char*>
PyImport_ImportFrozenModule(const_cast<char*>("mymodule"));

// Method 2) Use (char*)
PyImport_ImportFrozenModule((char*) "mymodule");

// Method 3) Use char array
char mod[] = "mymodule";
PyImport_ImportFrozenModule(mod);

使用哪种方法最好？

更新：

看起来 Python3 分支正在慢慢尝试修复 const 正确性问题。例如，我在上面用作示例的 PyImport_ImportFrozenModule 函数现在在 Python 3.4 中采用 const char*，但仍有一些函数只采用 char*，例如 PyLong_FromString。

【问题讨论】：

Here's a thread from 2002 on the python-dev mailing list on this topic。 C API 最初是在没有 const 正确性的情况下创建的，有人想通过在任何地方添加它来解决这个问题。 Guido 拒绝，因为它会破坏第 3 方扩展。 Here's another 更新的线程。似乎最初创建 API 时并没有考虑到这一点。多年来，人们一直在某些地方添加它，但并非在所有地方都这样做。 @dano 这些是我以前没有找到的很棒的链接！所以听起来只有 C++ 程序员会关心这个（以避免编译器警告），这还不足以尝试修复它。 :( @dano：您应该做出回答，以便我们投票！ :) @EthanFurman 当然，我刚刚添加了一个。 【参考方案1】：

根据 python-dev 的一些邮件列表对话，看起来最初的 API 只是没有考虑到 const 的正确性，可能只是因为 Guido 没有考虑它。一直追溯到 2002 年，someone asked 如果有任何希望通过添加 const 正确性来解决这个问题，抱怨总是不得不这样做很痛苦：

somefunc(const char* modulename, const char* key)

    ... PyImport_ImportModule(const_cast<char*>(modulename)) ...

Guido Van Rossum（Python 的创建者）replied（强调我的）：

我之前从未尝试强制执行 const 正确性，但我听说过关于这个的恐怖故事已经够多了。问题是它打破了3rd 派对扩展左右，修复这些并不总是那么容易。通常，每当您在某处添加 const 时，它最终都会传播到其他一些 API，这也需要一个 const，它传播到另一个需要 const 的 API，无穷无尽。

有更多的讨论，但没有 Guido 的支持，这个想法就死了。

快进九年，话题又来了。这次有人只是想知道为什么有些函数是 const 正确的，而另一些则不是。 Python核心开发者之一replied with this：

多年来，我们一直在许多地方添加 const。我觉得只是错过了特定情况（即没有人关心添加 const 那里）。

似乎当它可以在不破坏向后兼容性的情况下完成时，常量正确性已被添加到 C API 中的许多地方（对于 Python 3，在它将打破了与 Python 2 的向后兼容性），但从来没有真正的全球努力来修复它无处不在。所以 Python 3 的情况要好一些，但即使是现在，整个 API 也可能不是 const 正确的。

我不认为 Python 社区有任何首选方法来处理不正确的调用转换 const-正确（在官方 C-API style guide 中没有提到它），可能是因为没有有很多人通过 C++ 代码与 C-API 交互。不过，我会说，从纯 C++ 最佳实践的角度来看，首选方法是首选。（我绝不是 C++ 专家，所以对此持保留态度）。

【讨论】：

【参考方案2】：