反编译g++生成的二进制文件以查看发生了什么
main.cpp
void f() {}
void g();
extern "C" {
void ef() {}
void eg();
}
/* Prevent g and eg from being optimized away. */
void h() { g(); eg(); }
编译和反汇编生成的ELF输出：
g++ -c -std=c++11 -Wall -Wextra -pedantic -o main.o main.cpp
readelf -s main.o
输出包含：
8: 0000000000000000 7 FUNC GLOBAL DEFAULT 1 _Z1fv
9: 0000000000000007 7 FUNC GLOBAL DEFAULT 1 ef
10: 000000000000000e 17 FUNC GLOBAL DEFAULT 1 _Z1hv
11: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND _GLOBAL_OFFSET_TABLE_
12: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND _Z1gv
13: 0000000000000000 0 NOTYPE GLOBAL DEFAULT UND eg
解释
我们看到：
结论：以下两种符号类型均未损坏：
- 定义的
- 已声明但未定义（
Ndx = UND），将在链接或运行时从另一个目标文件提供
因此，extern "C"在调用时，您将同时需要两者：
- C ++中的C：告诉
g++您期望由产生的未破坏符号gcc
- 来自C的C ++：告诉
g++生成未损坏的符号以gcc供使用
在外部C中不起作用的东西
显而易见，任何需要名称修饰的C ++功能都无法在内部使用extern C：
extern "C" {
// Overloading.
// error: declaration of C function ‘void f(int)’ conflicts with
void f();
void f(int i);
// Templates.
// error: template with C linkage
template <class C> void f(C i) { }
}
来自C ++示例的最小可运行C
为了完整起见，也请参见：如何在C ++项目中使用C源文件？
从C ++调用C非常容易：每个C函数只有一个可能的非分解符号，因此不需要额外的工作。
main.cpp
#include <cassert>
#include "c.h"
int main() {
assert(f() == 1);
}
ch
#ifndef C_H
#define C_H
/* This ifdef allows the header to be used from both C and C++
* because C does not know what this extern "C" thing is. */
#ifdef __cplusplus
extern "C" {
#endif
int f();
#ifdef __cplusplus
}
#endif
#endif
抄送
#include "c.h"
int f(void) { return 1; }
跑：
g++ -c -o main.o -std=c++98 main.cpp
gcc -c -o c.o -std=c89 c.c
g++ -o main.out main.o c.o
./main.out
如果没有extern "C"链接，则会失败：
main.cpp:6: undefined reference to `f()'
因为g++希望找到一个错位f，它gcc没有产生。
GitHub上的示例。
C示例中的最小可运行C ++
从C调用C ++有点困难：我们必须手动创建要公开的每个函数的非混合版本。
在这里，我们说明了如何将C ++函数重载公开给C。
main.c
#include <assert.h>
#include "cpp.h"
int main(void) {
assert(f_int(1) == 2);
assert(f_float(1.0) == 3);
return 0;
}
cpp.h
#ifndef CPP_H
#define CPP_H
#ifdef __cplusplus
// C cannot see these overloaded prototypes, or else it would get confused.
int f(int i);
int f(float i);
extern "C" {
#endif
int f_int(int i);
int f_float(float i);
#ifdef __cplusplus
}
#endif
#endif
cpp.cpp
#include "cpp.h"
int f(int i) {
return i + 1;
}
int f(float i) {
return i + 2;
}
int f_int(int i) {
return f(i);
}
int f_float(float i) {
return f(i);
}
跑：
gcc -c -o main.o -std=c89 -Wextra main.c
g++ -c -o cpp.o -std=c++98 cpp.cpp
g++ -o main.out main.o cpp.o
./main.out
没有extern "C"它会失败：
main.c:6: undefined reference to `f_int'
main.c:7: undefined reference to `f_float'
因为g++生成了gcc无法找到的变形符号。
GitHub上的示例。
在Ubuntu 18.04中测试。