使用标准布局类型与其他语言交流

Question

This draft of the standard 在11.2.6 包含关于标准布局类型的注释：

[注 3：标准布局类对于与用其他编程语言编写的代码进行通信很有用。它们的布局在[class.mem] 中指定。 — 尾注]

在指向class.mem 的链接之后，我们发现了有关以here 开头的标准布局类型的布局规则，但我不清楚它们是什么使它们对与其他语言进行通信有用。这一切似乎都与布局兼容的类型和常见的初始顺序有关，但我没有看到任何迹象表明这些兼容性要求会扩展为给定的实现。

我一直认为标准布局类型不能具有由实现强加的任意填充，并且必须遵循“直观”的布局，这将使它们易于在其他语言中使用。但我似乎找不到任何这样的规则。

这个注释是什么意思？我是否遗漏了任何强制标准布局类型至少在给定平台上保持一致的规则？

Answer 1

该标准不能有意义地谈论其他语言和实现：即使可以明确定义“平台”，它所能做的只是限制 C++ 实现，可能以一种方式不可能满足其他软件做出的任何任意选择。也就是说，ABI 可以定义这些东西，标准布局类型是那些没有任何“C++ 特定”（如引用、基类子对象或虚拟表指针）的类型可能无法映射到其他环境。实际上，“其他环境”只是 C，或其他一些本身遵循 C 规则的语言（例如，Python 中的ctypes）。