外部“C”是否应包含 C++ 函数的声明或定义？

Question

我在一个 cpp 文件中看到 external "C" {...} 包含了几个函数的定义。

从https://isocpp.org/wiki/faq/mixing-c-and-cpp，我猜想在cpp 文件中使用extern "C" 的目的是为了使封闭的C++ 函数可以在C 程序中使用。

链接中的示例显示extern "C" 仅包含 C++ 函数的声明，而不包含它们的定义

只需声明 C++ 函数 extern "C"（在您的 C++ 代码中）并调用 它（来自您的 C 或 C++ 代码）。例如：

    // C++ code:
    extern "C" void f(int);
    void f(int i)
    {
        // ...
    }

我一开始提到的cpp文件看起来是这样的：

    // C++ code:
    extern "C" {

    void f(int i)
    {
        // ...
    }

    void g(int i)
    {
        // ...
    }

    }

extern "C" 应包含 C++ 函数的声明或定义吗？ 如果有，为什么？

Answer 1

它应该将声明包含在头文件中，并且只要翻译单元是使用 c++ 编译器编译的，并且只要在其中没有看到声明，就应该包含定义。
在 c++ 代码中两者都做永远不会错。

如果使用 c 编译器来编译函数定义，则没有必要（或者我应该说是错误的语法，请参阅下面的注释）。

extern "C" {} 范围控制纯 c 符号链接用于内部所有内容。否则将应用c++ name mangling。

---

注意：

由于 extern "C" {} 这不是有效的 c 语法，要使其与 c 编译器一起使用，您需要在 #ifdef 中使用它：

MyHeader.h:

 #ifdef __cplusplus
 extern "C" {
 #endif

 // ... c style function name declarations
 void foo(int i);

 #ifdef __cplusplus
 } // extern "C"
 #endif

---

extern "C" {} 作用域的使用实际上是双重的：

---

将 C++ 代码导出到 C

如果上面是用 c 编译器编译的，它会显示为一个普通的 c 函数声明。如果使用 c++ 编译器编译，则应用 extern 关键字，并且 c++ 名称修改将被禁止。

关于定义，该函数可以使用其定义中的任何 c++ 特性：

 extern "C" {
     void foo(int x) {
         std::vector v(x);
         // ... blah, more c++ stuff
     }
 }

请注意，此处未包含声明。这可以用作一种技术，当您想要覆盖从库中为weak linkage 公开的函数时特别有用。

如果包含MyHeader.h，则可以省略extern "C" {} 范围。

---

从 C++ 导入 C 代码

如果在 c++ 编译器中看到上述声明，则再次抑制 c++ 名称修改，并且任何对 foo() 的调用引用都将由链接器使用纯 c 函数符号名称解析：

  #include "MyHeader.h"
  class MyClass {
  public:
       void bar(int y) {
           // Use foo() as plain c function:
           foo(y);
       }
  };

foo() 函数实现由使用 c 编译器创建的目标文件（或存档）提供。

Answer 2

[dcl.link]/5:

除了具有 C++ 链接的函数外，函数声明没有 链接规范不应在第一个链接之前 该功能的规范。函数可以在没有 a 的情况下声明 显式链接规范之后的链接规范 见过；前面声明中明确指定的链接是 不受此类函数声明的影响。

就功能的语言链接而言，两个版本都很好。重要的是函数的第一个声明必须有extern "C"。

Answer 3

最好两者都包含。

当我们在 C++ 中链接 C 代码时，确保符号不会被破坏。我们使用 extern "C" 块。

每当一些代码放在外部“C”块中时，C++ 编译器都会确保函数名称未被破坏，即编译器生成一个名称不变的二进制文件，就像 C 编译器所做的那样。

Mangling由于C++支持函数重载，所以基本上可以有多个同名函数。因此，为了在生成目标代码时区分不同的函数——它通过添加有关参数的信息来更改名称。向函数名称添加附加信息的技术称为名称修饰。

由于 C 不支持函数重载。所以我们在 C++ 中链接 C 代码时使用 extern 'C' 块。

Answer 4

您应该同时附上声明和定义。 “C”和“C++”函数以不同的名称导出。在 cpp 中需要在目标文件 extern "C" 中生成正确的“C”外部名称，否则将使用 C++ name mangling 导出函数。您还需要将这些extern "C" { 和相应的} 包含在头文件中的#ifdef __cplusplus 和#endif 中，这将被C 项目#included 以避免C 编译错误

Answer 5

在same document 中，它显示了一个代码示例，该代码示例在声明中包含extern "C"，但在定义中没有。

如果您的定义“看到”声明（即，声明在翻译单元中的定义之前），您不需要在定义上需要extern "C"。但它不会受到伤害 - 编译器会默默地忽略它。

这是常见问题解答中给出的代码示例：

// This is C++ code
// Declare f(int,char,float) using extern "C":
extern "C" void f(int i, char c, float x);
// ...
// Define f(int,char,float) in some C++ module:
void f(int i, char c, float x)
{
  // ...
}

如果您出于任何原因决定不在定义之前包含声明，您必须提供extern "C" 修饰符：

// This is C++ code
// Define f(int,char,float) in some C++ module:
extern "C" void f(int i, char c, float x)
{
  // ...
}

但是，这违反了 C 和 C++ 的大多数样式准则。