c++中的extern “C“

在一些c语言的library库中，我们经常可以还看下面这样的结构

#ifndef __TEST_H
#define __TEST_H#ifdef _cplusplus
extern "C" {
#endif/*...*/#ifdef _cplusplus
}
#endif
#endif

#ifndef __TEST_H这样的宏定义应该是非常常见了，其作用是为了避免重复包含。

往下看,如果定义了_cplusplus宏，则添加extern "C"的标记，那么这个标记的作用是什么呢？

#ifdef _cplusplus
extern "C" {
#endif

这里首先给出答案，这是为了c/c++程序可以相互调用。下面就看看extern "C"是如何做到的。我们分两个场景，第一个场景就是c语言写的库，c和c++程序去调用。第二个场景就是c++写的库，c和c++程序去调用。

c写的库给c/c++调用

我们看第一个例子，在这个例子中，我们使用c语言构建了一个add函数，并提供了其头文件。我们要将该实现提供给c和c++的程序调用。

下面是该例子的目录结构。

.
├── add.c
├── add.h
├── main_c.c
├── main_cpp.cpp
└── makefile

add.h

#ifndef C_EXAMPLE_H
#define C_EXAMPLE_H#ifdef __cplusplus
extern "C"{
#endifextern int add(int x,int y);#ifdef __cplusplus
}
#endif#endif

add.c

#include "add.h"
int add( int x, int y )
{return x + y;
}

main_cpp.cpp

#include "add.h"int main()
{add(2,3);return 0;
}

main_c.c

#include "add.h"int main()
{add(2,3);return 0;
}

makefile

all:main_cpp main_cmain_cpp: main_cpp.o add.o$(CXX)  -o $@ $^main_c: main_c.o add.o$(CC) -o $@ $^main.o: main_cpp.cpp$(CXX) -c -o $@ $<add.o: add.c$(CC)  -c -o $@ $<clean:rm -f *.o main_cpp main_c

使用make命令对上述模块进行构建。如果没有任何错误，那么恭喜你，add.o成功的被c和c++程序使用了。

我们知道c和c++编译器编译出来的符号名称是不同的，用c++的方式去寻找c语言的符号是无法寻找到的。extern "C"为何可以做到？

我们使用readelf -s add.o查看add.o的符号，可以看到add函数的名称就是add，这个就是典型c编译器编译出来的名字。

Symbol table '.symtab' contains 9 entries:Num:    Value          Size Type    Bind   Vis      Ndx Name0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND1: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS add.c2: 0000000000000000     0 SECTION LOCAL  DEFAULT    13: 0000000000000000     0 SECTION LOCAL  DEFAULT    24: 0000000000000000     0 SECTION LOCAL  DEFAULT    35: 0000000000000000     0 SECTION LOCAL  DEFAULT    56: 0000000000000000     0 SECTION LOCAL  DEFAULT    67: 0000000000000000     0 SECTION LOCAL  DEFAULT    48: 0000000000000000    20 FUNC    GLOBAL DEFAULT    1 add

我们再次查看readelf -s main_cpp.o | grep add去查看一下main_cpp中的符号表:

   72: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS add.c90: 0000000000400570    20 FUNC    GLOBAL DEFAULT   11 add

可以看到main_cpp中的符号表的名字也是add，因此main_cpp成功的找到了add函数。

但是我们知道c++的编译器在生成符号时，通常都会带上符号的参数类型（因为c++支持重载），例如下面的c++程序，编译之后，我们使用readelf查看符号表。

int add( int x, int y )
{return x + y;
}int main()
{add(2,3);return 0;
}

其输出的结果如下所示：

86: 0000000000400556    20 FUNC    GLOBAL DEFAULT   11 _Z3addii

可以看到add生成符号是_Z3addii。

因此，加与不加extern "C"，add函数生成的符号名称是不同的。

看到这里，聪明的你已经大概知道extern "C"的作用了，就是修改了符号表的生成方式，将c++符号的生成方式换成了c的生成方式。

c库中生成的符号是c编译器的符号， 因此c语言可以直接链接。而c++程序需要使用extern "C"让编译器使用c的符号命名方式去进行链接，这样才能找到对应的符号。

c++写的库给c/c++调用

下面这个例子，我们使用c++语言构建了一个add函数，并提供了其头文件。我们要将该实现提供给c和c++的程序调用。

.
├── add.cpp
├── add.h
├── main_c.c
├── main_cpp.cpp
└── makefile

add.h

#ifndef C_EXAMPLE_H
#define C_EXAMPLE_H#ifdef __cplusplus
extern "C"{
#endifextern int add(int x,int y);#ifdef __cplusplus
}
#endif#endif

add.cpp

#include "add.h"
int add( int x, int y )
{return x + y;
}

main_cpp.cpp

#include "add.h"int main()
{add(2,3);return 0;
}

main_c.c

#include "add.h"int main()
{add(2,3);return 0;
}

makefile

all:main_cpp main_cmain_cpp: main_cpp.o add.o$(CXX)  -o $@ $^main_c: main_c.o add.o$(CC) -o $@ $^main.o: main_cpp.cpp$(CXX) -c -o $@ $<add.o: add.cpp$(CXX)  -c -o $@ $<clean:rm -f *.o main_cpp main_c

其实这种场景和第一种场景是基本一致的。现在我们的库add.o是使用c++编译器生成的。

我们使用readelf查看其内容，可以看到其内容和之前c语言生成的库，add函数的符号是一样的。因为我们此时编译时使用了extern "C",也就是说使用c语言的符号构建方式进行编译。

Symbol table '.symtab' contains 9 entries:Num:    Value          Size Type    Bind   Vis      Ndx Name0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND1: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS add.c2: 0000000000000000     0 SECTION LOCAL  DEFAULT    13: 0000000000000000     0 SECTION LOCAL  DEFAULT    24: 0000000000000000     0 SECTION LOCAL  DEFAULT    35: 0000000000000000     0 SECTION LOCAL  DEFAULT    56: 0000000000000000     0 SECTION LOCAL  DEFAULT    67: 0000000000000000     0 SECTION LOCAL  DEFAULT    48: 0000000000000000    20 FUNC    GLOBAL DEFAULT    1 add

接下来链接的过程就和第一个场景一样了。

在本场景中，使用c++编写了一个包含add函数的模块，对其编译时，使用了c语言的符号构建方式。因此其符号表和c语言的库是相同的。最终链接时，由于加上了extern "C"， 链接过程也将使用c语言的方式去寻找符号。

总结

• extern "C"实际上就是告诉c++编译器去使用c编译器的规则去进行构建。
• 在日常使用中，c++调用c库的使用频率更高一些，案例一就是这样的例子。