除了声明的参数和“this”指针之外，c++ (g++) 构造函数还有哪些其他参数，以什么顺序？

Question

我想从另一种语言调用 C++ 构造函数，并且需要知道要给它什么参数。我认为应该是陈述的论点和“this”指针。但是在 Gnu G++ 中，“this”指针是先出现还是最后出现？除了“this”指针还有其他隐藏的参数吗？

由于我已经解决了这些问题，因此此问题不涉及其他问题，例如名称错误。这个问题只是关于构造函数的参数。我使用的特定语言也不是问题，因为它是一种正在开发中的语言，而且这个问题一般适用于非 C++ 语言，而不仅仅是特定语言。

编辑添加：这是针对使用 G++ 约定的 Intel CPU。这应该回答了涉及 ABI 的问题。

至于“extern C”，这不是 C++ 代码。它调用C++代码，但由于它本身不是C++代码，所以使用“extern C”是没有意义的。此外，它调用的 C++ 代码必须按原样使用，而不能添加诸如“extern C”之类的东西。

我正在寻找的不是调用约定的确切正式定义。我只是想尝试一些线索。例如，C++ 编译器将“this”指针放在第一个参数以外的位置有多常见？除了“this”指针之外，还有其他隐藏的参数是多么普遍。如果“this”指针不是第一个，它几乎总是最后一个，还是有时在中间？等等。

Answer 1

this 指针在参数列表中的位置是实现定义的。如果您想与另一种语言交互，请添加 C 包装器：

// Your class
struct MyClass {
    MyClass(int, int);
    void doSomething(char,int);
};
// C wrapper
void* construct_MyClass(int a, int b) {
    return new MyClass(a, b);
}
void doSomething(void* thisPtr, char c, int a) {
    static_cast<MyClass*>(thisPtr)->doSomething(c, a);
}

这样，编译器会按照预期的顺序放置参数，让调用者代码与 C API 交互。您需要在 C 函数的声明中使用 use extern C 以保留 C 链接的名称。

Answer 2

C++ 标准没有定义如何将this 指针和任何参数传递给构造函数（或与此相关的任何函数）。这是 ABI（应用程序二进制接口）的工作，不同的编译器可以——并且在现实世界中——使用不同的 ABI。 ABI 不是 C++ 标准的一部分。

我将假设您要使用的两种语言都使用编译器编译为机器代码，因为这使讨论更容易。类似的原则适用于解释语言和其他语言，但具体细节有所不同。

一般来说，要从另一种语言正确调用任何 C++ 函数，两种语言必须由各自的语言编译器翻译成相同的 ABI，或者必须有一种定义/记录的方式，使两种不同的 ABI 可以互操作。换句话说，两个编译器——以及它们生成的机器代码——都必须设计成可以互操作。

实际上，C++ 标准指定了它如何在语言级别与 C 进行互操作。 C 不能使用所有 C++ 构造，但 extern "C" 函数是由 C++ 编译器构建的，允许从 C 调用它们。兼容的 C 和 C++ 编译器 - 或它们发出的代码 - 因此可以互操作，假设两者编译器支持相同的 ABI。例如，g++（gnu 的 C++ 编译器前端）和 gcc（gnu 的 C 编译器前端）被设计为可互操作，但它们并不（必然）与其他供应商的编译器互操作。从技术上讲，gnu C 编译器输出的机器代码可能与其他供应商的 C 编译器输出的代码互操作，但这样做需要非常详细地了解两种编译器支持的 ABI 是如何工作的（并且两者都有意支持）供应商）。

对于与 C++ 互操作的其他语言，选项不太直接。通常，共同点是 C - 其他语言提供与 C 互操作的工具，就像 C++ 一样，因此使用一些 C 接口作为两者之间的中介。例如，在 C++ 中实例化对象的代码可以放在extern "C" 函数中。然后可以使用 C++ 编译器编译该代码，生成的函数具有允许从 C 代码调用它的接口。如果其他语言（或编译器）支持与 C 互操作（即符合正确接口以调用 C 函数的要求），则可以从其他语言调用该 C 函数。

Answer 3

至于“extern C”，这不是 C++ 代码。

标记为extern "C" 的C++ 代码是可从C 调用的C++ 代码，因此可从其他非C++ 代码调用。 C是一种语言间接口的通用语言。如果你会说 C，你就可以和任何会说 C 的人交谈，这几乎是编程语言世界中的每个人。 C ABI 相当简单且易于实施。委婉地说，C++ ABI 绝不是（而且它们是 C ABI 的严格超集，因此无论如何您都必须实现它们）。

坚持使用 C 兼容接口。您不是世界上第一个需要从非 C++ 代码创建 C++ 对象的人。每个人都通过extern "C" 代码进行操作。

它调用的 C++ 代码必须按原样使用，而不是添加诸如“extern C”之类的东西。

您无需向现有代码添加任何内容以与其交互。您编写新的 C++ 代码，使其调用旧的 C++ 代码，并标记新代码extern C。没有以任何方式触及旧代码。