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

Question

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

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

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

只需在C ++代码中声明C ++函数extern“ 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 ++名称修饰 。

---

注意：

由于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
     }
 }

请注意，此处未包含该声明。 这可以用作一种技术，当您要覆盖从库公开的函数以实现弱链接时特别有用。

在包含MyHeader.h情况下，可以省略extern "C" {}范围。

---

从C ++导入C代码

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

  #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 ++链接的函数外，没有链接规范的函数声明不得在该函数的第一个链接规范之前。 在看到显式链接规范之后，可以在没有链接规范的情况下声明函数； 先前的声明中明确指定的链接不受此函数声明的影响。

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

Answer 3

最好同时包括两者。

为了确保在我们用C ++链接C代码时不会弄乱该符号。 我们使用extern“ C”块。

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

整形由于C ++支持函数重载，因此基本上可以有多个同名函数。 因此，在生成目标代码时要区分不同的功能–它通过添加有关参数的信息来更改名称。 将附加信息添加到函数名称的技术称为名称处理。

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

Answer 4

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

Answer 5

在同一文档中 ，它显示了一个代码示例，该代码示例在声明中但在定义中没有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 ++的大多数样式准则。