深思：C与C++相互调用问题

news2024/11/24 0:51:04

背景

上周，偶然看到同事愁眉苦脸的样子，便善意咨询了下发生了什么。简单沟通下，才知道他遇到了一个工程编译的问题，一直无法编译通过，困扰了他快一天时间。出于个人的求知欲和知识的渴望，我便主动与他一同分析，不一会儿就确认了问题原因。

后经思考，类似的问题应该在工作中会经常遇到，而对于没有相关知识储备的工程师，一般很难会有排查和解决思路。于是乎想通过本篇文章，能够帮助大家了解为什么C与C++相互调用存在的问题？以及如何解决这类问题？

案例描述

首先简单描述一下同事的案例场景：

同事的项目工程依赖其他两个部门A和B提供的动态库libA.so，libB.so。它们之间的关系是：libB.so 依赖 libA.so 生成。之后他再依赖libB.so库生成abupvdiapp可执行程序。在最终生成可执行程序时，会提示部分符号未定义。而这些符号是在libA.so。依赖关系如下图：

排查思路：

首先确认编译生成可执行程序abupvdiapp时，是否链接了libA.so。打开cmake 中的VERBOSE参数，发现的确有-lA -lB链接信息。
查看libB.so是否依赖libA.so。通过ldd libB.so查看，发现libB.so 并不依赖libA.so。这是我第一个疑惑点。
查看未定义符号adm_vdi_init是否在libA.so定义。结果是存在。
查看未定义符号adm_vdi_init是否被libB.so引用。结果是有被引用，但是符号不匹配。

其实到这里我已经知道什么原因了。后续在A.h的头文件中增加extern "C"即可。有兴趣的朋友可以按照下面的示例演示一遍，加深影响。

//A.c
#include <stdio.h>
int adm_vdi_init()
{
    printf("i'm adm_vdi_init\n");
}

//A.h
extern int adm_vdi_init();

//B.cpp
#include<A.h>
#include<stdio.h>
int adm_host_init()
{
    adm_vdi_init();
    printf("i'm adm_host_init\n");
    return 0;
}
//B.h
extern int adm_host_init();

//main.cpp
#include<B.h>
int main()
{
        adm_host_init();
        return 0;
}

编译流程如下：

修改后：

//A.h
#ifdef __cplusplus
extern "C" {
#endif
extern int adm_vdi_init();
#ifdef __cplusplus
}
#endif

我相信有经验的朋友肯定已经知道问题的原因了，但是对于未接触相关案例的同学，估计还是一头雾水，特别是一直从事C语言开发的工程师，估计还不清楚发生了什么。如果你有同样的疑问，请继续往下阅读，一定不会让你失望。

原理

我们知道模块之间的函数或全局变量的引用，其实就是对符号的引用。在链接过程中就是通过这个符号寻找对应的代码，实现上下文的跳转。

在历史的长河中，先辈们发现随着项目工程的扩大，很容易出现不同模块定义了相同的全局变量或对外函数，导致符号相同的情况。这样就导致链接时，不知道应该链接到哪一个代码段。但是上述的现象是一个趋势，很难去避免。因此，出现了符号修饰的概念。

符号修饰即根据一定的规则，对源码中的符号进行修饰，进行区分。

在较新的GCC编译工具中，并不会对C 符号进行修饰。如上面的A.c文件中，定义了adm_vdi_init函数，编译之后的符号表中，依旧是adm_vdi_init。

C++因为支持类，继承，重载，名称空间等这些特定，因此GCC编译工具，会对C++进行符号修饰。C++符号的修饰规则可参考该GNU C++的符号改编机制介绍_gnu c++的符号装饰机制-CSDN博客

如图：B.cpp文件中adm_host_init函数经过修饰，变为了_Z13adm_host_initv。分析：

_Z:属于标识
13：adm_host_init字符串长度
adm_host_init :函数名
v:参数void

了解以上原理后，我们就明白为什么在A.h的头文件中增加extern "C",就编译通过了。libA.so是C语言，因此不会进行符号修饰。B.cpp 是C++,会进行符号修饰，编译器并不知道adm_vdi_init是否进行了符号修饰，所以它默认进行了修饰。所以libB.so引用的符号与libA.so的符号并不匹配。而extern "C"就是明确告诉编译器，adm_vdi_init是C编译的，并没有进行符号修饰。

C++调用 C

同事的案例，其实就是C++(B.cpp)调用C(A.c)导致的问题。在这里我再简单总结一下：

C 并不会进行符号修饰，而C++默认会对符号进行修饰，因此会导致C++ 认知中A.h 的符号与 A.o的实际符号不匹配，虽然动态库libB.so 已经能生成，但是在链接阶段，符号重定位时，就会出现undefined reference to错误。

因此，C 代码以SDK的方式提供给外部使用时，应该在头文件中用extern "C"修饰。如：

#ifdef __cplusplus
extern "C" {
#endif

.....

#ifdef __cplusplus
}
#endif

C调用C++

C++ 调用C 的方式大家可能比较常见，因为C++更适合用于开发偏上层应用，C更适合底层开发。天然的存在依赖关系,所以在工作中也比较常见。

而C 调用C++ 的场景就比较少了，一般是因为公司内部原因了。还是用上面的示例，将 main.cpp 改为main.c。

该现象与我们预期相符，因为libB.so是C++ 编译的库，所以会对符号进行修饰。但是main.c 是C,gcc 并不会进行符号修饰。

但是我们如何解决符号的问题呢？很难受，并没有extern "C++"的参数。在这里我提供三种思路：

最简单的方式

最简单的方式就是将main.c 改为main.cpp 。要求GCC 以C++的方式去编译，自然会进行符号修饰。但是这样容易出现其他问题，因为C依赖的很多头文件，C++可能并不支持。为了做到兼容，可能会修改更多的代码。

封装一层C接口

如我们增加一个libC.so,代码如下：

// C.h
#ifdef __cplusplus
extern "C" {
#endif
extern int adm_C_init();
#ifdef __cplusplus
}
#endif

//C.cpp
#include<C.h>
#include<B.h>
int adm_C_init()
{
    adm_host_init();
    return 0;
}

// main.c
#include<C.h>
int main()
{
        adm_C_init();
        return 0;
}