一、C不能直接调用C的原因1.1 语言语义层面的根本差异C是过程式编程语言而C是多范式编程语言C不支持以下C核心特性类与对象class/struct成员函数、this指针继承与多态virtual函数、虚函数表函数重载与运算符重载命名空间namespace模板template异常处理try/catch/throwRTTI运行时类型信息1.2 最根本的技术障碍ABI层的名称编码 Name Mangling名称编码定义C编译器会对函数名、变量名进行编码以支持重载、命名空间、类成员等特性。不同编译器的名字修饰规则完全不同。ABIApplication Binary Interface应用程序二进制接口作用规定二进制程序、动态库、操作系统之间底层交互规范函数调用约定、内存布局、符号规则、系统调用等保证二进制文件无需重新编译即可跨程序兼容。示例1234567// C函数voidfunc(inta);voidfunc(doubleb);classMyClass {public:voidmethod();};GCC编译后的名字void func(int)→_Z4funcivoid func(double)→_Z4funcdMyClass::method()→_ZN7MyClass6methodEv而C编译器只会生成简单的符号func、MyClass_method。ISO C20标准 [dcl.link] 第1条“Two function types with different language linkages are distinct types even if they are otherwise identical.”两种具有不同语言链接的函数类型即使它们在其他方面相同也是不同的类型1.3 其他ABI差异调用约定C和C默认调用约定通常相同如x86的cdecl但成员函数有特殊的this指针传递规则✅C 全局函数 默认 cdecl和 C 一样❌C 成员函数 thiscall和 C 完全不一样异常处理C有栈展开机制C没有RTTIC运行时类型信息需要额外的数据结构标准库C标准库libstdc/libc与C标准库libc完全独立C 和 C 在 x86 平台上默认函数调用规则是一样的都叫 cdeclC Declaration。1.参数从右向左压入栈 2.由调用者清理栈3.返回值存在 EAX 寄存器 4. 不使用寄存器传递参数纯栈传参参数怎么传、栈怎么清理、返回值怎么放C、C完全相同。只要解决名字重整Name Mangling问题C 和 C 函数就能互相调用。二、唯一标准解决方案extern C 句柄模式2.1extern C的精确语义定义extern 是 C 中的一个存储类说明符用于声明一个变量或函数是在别处其他源文件或本文件的后面定义的而不是在当前声明处定义它。extern 与字符串字面量如 “C”结合指定语言链接。extern “C” 告诉 C 编译器“这个函数使用 C 的命名和调用约定不要做 C 的名称修饰。”作用告诉C编译器使用C语言的链接规则生成符号禁止对函数名进行名字修饰确保函数使用C语言的调用约定正确用法123456789// 头文件中必须使用条件编译#ifdef __cplusplusexternC{//使用 C 语言的链接规范不进行名称修饰、使用 C 的调用约定#endif// 所有C可见的声明都放在这里voidc_function(inta);#ifdef __cplusplus}#endif注意extern C只能修饰全局函数和变量不能修饰类、成员函数、模板等。2.2 句柄模式Handle Pattern对C完全隐藏C类的实现细节只暴露一个不透明指针void*作为对象的句柄。所有操作都通过C风格的函数进行这些函数内部将句柄转换为真实的C对象指针。标准实现步骤编写C类正常实现所有功能编写C接口头文件定义句柄类型和C函数声明编写C接口实现文件用extern C函数封装C类的方法C代码只包含C接口头文件调用C函数三、调用实现覆盖绝大多数C特性3.1 普通类的封装完整示例1234567891011121314// MyClass.h (C内部头文件)#ifndef MYCLASS_H#define MYCLASS_HclassMyClass {private:intvalue;public:MyClass(intinitial 0);~MyClass();intgetValue()const;voidsetValue(intv);intadd(inta)const;};#endif1234567// MyClass.cpp (C实现)#include MyClass.hMyClass::MyClass(intinitial) : value(initial) {}MyClass::~MyClass() {}intMyClass::getValue()const{returnvalue; }voidMyClass::setValue(intv) { value v; }intMyClass::add(inta)const{returnvalue a; }1234567891011121314151617181920// MyClass_C.h (C接口头文件给C用)#ifndef MYCLASS_C_H#define MYCLASS_C_H#ifdef __cplusplusexternC{#endif// 不透明句柄typedefvoid* MyClassHandle;// 构造函数MyClassHandle MyClass_Create(intinitial);// 析构函数voidMyClass_Destroy(MyClassHandle handle);// 成员函数封装intMyClass_GetValue(MyClassHandle handle);voidMyClass_SetValue(MyClassHandle handle,intv);intMyClass_Add(MyClassHandle handle,inta);#ifdef __cplusplus}#endif#endif12345678910111213141516171819202122232425262728293031323334// MyClass_C.cpp (C接口实现)// 1. 包含C语言接口头文件给C调用的声明#include MyClass_C.h// 2. 包含C类的头文件才能操作MyClass对象#include MyClass.h// 3. 安全转换函数内部工具函数只在当前文件生效// static内部链接外部无法调用// inline内联优化无函数调用开销staticinlineMyClass* to_MyClass(MyClassHandle h) {// 把C的void*句柄安全转换为C的MyClass对象指针returnstatic_castMyClass*(h);}// 4. 对外提供的C接口创建C对象externCMyClassHandle MyClass_Create(intinitial) {// std::nothrow内存分配失败时返回NULL不抛异常C不支持异常returnnew(std::nothrow) MyClass(initial);}// 5. 对外提供的C接口销毁C对象externCvoidMyClass_Destroy(MyClassHandle handle) {// 转换句柄为对象指针释放内存deleteto_MyClass(handle);}// 6. 对外提供的C接口调用C成员函数getValue()externCintMyClass_GetValue(MyClassHandle handle) {returnto_MyClass(handle)-getValue();}// 7. 对外提供的C接口调用C成员函数setValue()externCvoidMyClass_SetValue(MyClassHandle handle,intv) {to_MyClass(handle)-setValue(v);}// 8. 对外提供的C接口调用C成员函数add()externCintMyClass_Add(MyClassHandle handle,inta) {returnto_MyClass(handle)-add(a);}3.2 继承与多态的封装关键要点基类必须有虚析构函数ISO C标准要求否则delete基类指针会导致未定义行为封装层只暴露基类句柄子类创建函数返回基类句柄多态在C层自动生效C完全无感完整示例1234567891011121314151617181920212223242526// Shape.h (C内部头文件)#ifndef SHAPE_H#define SHAPE_HclassShape {public:virtual~Shape() default;// 必须虚析构函数virtualdoublearea()const 0;virtualdoubleperimeter()const 0;};classCircle :publicShape {private:doubleradius;public:Circle(doubler);doublearea()constoverride;doubleperimeter()constoverride;};classRectangle :publicShape {private:doublewidth, height;public:Rectangle(doublew,doubleh);doublearea()constoverride;doubleperimeter()constoverride;};#endif12345678910111213141516171819// Shape_C.h (C接口头文件)#ifndef SHAPE_C_H#define SHAPE_C_H#ifdef __cplusplusexternC{#endiftypedefvoid* ShapeHandle;// 创建不同子类ShapeHandle Circle_Create(doubleradius);ShapeHandle Rectangle_Create(doublewidth,doubleheight);// 统一接口doubleShape_Area(ShapeHandle handle);doubleShape_Perimeter(ShapeHandle handle);// 销毁voidShape_Destroy(ShapeHandle handle);#ifdef __cplusplus}#endif#endif123456789101112131415161718192021// Shape_C.cpp (C接口实现)#include Shape_C.h#include Shape.hstaticinlineShape* to_Shape(ShapeHandle h) {returnstatic_castShape*(h);}externCShapeHandle Circle_Create(doubleradius) {returnnew(std::nothrow) Circle(radius);}externCShapeHandle Rectangle_Create(doublewidth,doubleheight) {returnnew(std::nothrow) Rectangle(width, height);}externCdoubleShape_Area(ShapeHandle handle) {returnto_Shape(handle)-area();}externCdoubleShape_Perimeter(ShapeHandle handle) {returnto_Shape(handle)-perimeter();}externCvoidShape_Destroy(ShapeHandle handle) {deleteto_Shape(handle);// 虚析构自动调用子类析构}3.3 重载函数的封装C不支持重载因此需要为每个重载函数提供不同的C函数名123456// C类classMath {public:intadd(inta,intb);doubleadd(doublea,doubleb);};123// C接口intMath_AddInt(MathHandle h,inta,intb);doubleMath_AddDouble(MathHandle h,doublea,doubleb);3.4 静态成员函数的封装静态成员函数不依赖this指针可以直接封装12345// C类classUtils {public:staticintversion();};12// C接口intUtils_Version();1234// 实现externCintUtils_Version() {returnUtils::version();}3.5 运算符重载的封装将运算符重载转换为普通函数12345// C类classVector {public:Vector operator(constVector other)const;};12// C接口VectorHandle Vector_Add(VectorHandle a, VectorHandle b);1234567891011121314151617// Vector_C.cpp C接口实现#include Vector_C.h#include Vector.h// 句柄转换staticinlineVector* to_vec(VectorHandle h) {returnstatic_castVector*(h);}// 封装运算符重载externCVectorHandle Vector_Add(VectorHandle a, VectorHandle b) {// 1. 把C句柄转回C对象Vector* vec_a to_vec(a);Vector* vec_b to_vec(b);// 2. 调用C的 operator 重载Vector result *vec_a *vec_b;// 3. 堆上创建新对象返回句柄C只能操作堆对象returnnewVector(result);}3.6 模板类的封装模板类必须实例化后才能封装因为C不支持模板12345678910// C模板类templatetypenameTclassStack {public:voidpush(T value);T pop();};// 显式实例化templateclassStackint;templateclassStackdouble;123456789// C接口typedefvoid* IntStackHandle;typedefvoid* DoubleStackHandle;IntStackHandle IntStack_Create();voidIntStack_Push(IntStackHandle h,intvalue);intIntStack_Pop(IntStackHandle h);DoubleStackHandle DoubleStack_Create();voidDoubleStack_Push(DoubleStackHandle h,doublevalue);doubleDoubleStack_Pop(DoubleStackHandle h);3.7 异常处理的封装异常是 ABI 底层机制C 异常需要 栈展开stack unwinding需要 异常表、类型信息、寄存器处理而C 语言的二进制结构完全没有这些东西异常一旦进入 C 代码栈帧 → 直接触发未定义行为 → 崩溃C不支持C异常因此必须在封装层捕获所有异常并转换为错误码返回给C123456// C类classFile {public:File(constchar* path);// 可能抛出std::runtime_errorvoidwrite(constchar* data);// 可能抛出std::ios_base::failure};1234567// C接口定义错误码#define FILE_OK 0#define FILE_ERROR_OPEN 1#define FILE_ERROR_WRITE 2intFile_Create(FileHandle* out_handle,constchar* path);intFile_Write(FileHandle handle,constchar* data);voidFile_Destroy(FileHandle handle);必须在 C 侧把异常全部拦截绝对不能飞到 C 侧C 只收到返回值0 成功非 0 失败程序才不会崩溃123456789101112131415161718// 实现externCintFile_Create(FileHandle* out_handle,constchar* path) {try{*out_handle newFile(path);returnFILE_OK;}catch(conststd::runtime_error e) {*out_handle nullptr;returnFILE_ERROR_OPEN;}}externCintFile_Write(FileHandle handle,constchar* data) {try{static_castFile*(handle)-write(data);returnFILE_OK;}catch(conststd::ios_base::failure e) {returnFILE_ERROR_WRITE;}}如果C代码抛出异常但未被捕获会直接导致程序崩溃C没有异常处理机制。四、编译与链接4.1 GCC/G编译流程正确步骤用g编译所有C文件.cpp用gcc编译所有C文件.c用gcc或g链接所有目标文件必须链接C标准库完整命令12345678910# 编译C文件g -c MyClass.cpp -o MyClass.o -stdc17 -Wall -Wextrag -c MyClass_C.cpp -o MyClass_C.o -stdc17 -Wall -Wextra# 编译C文件gcc -c main.c -o main.o -stdc17 -Wall -Wextra# 链接两种方式都可以# 方式1用gcc链接手动指定-lstdcgcc main.o MyClass.o MyClass_C.o -o program -lstdc# 方式2用g链接自动链接libstdcg main.o MyClass.o MyClass_C.o -o program常见错误及解决方案错误信息原因解决方案undefined reference to function_name函数未加extern C名字修饰不匹配在函数声明和定义前加extern Cundefined reference to __gxx_personality_v0未链接C标准库链接时加-lstdcGCC或-lcClanginvalid conversion from void* to MyClass*C中不能隐式转换void*使用static_cast显式转换4.2 静态库与动态库静态库12# 编译为静态库ar rcs libmyclass.a MyClass.o MyClass_C.oar工具名 archive归档工具作用把多个 .o 打包成一个 .a 静态库。rcs三个参数的缩写r替换或添加文件到库c创建库不存在就创建s生成索引加快链接速度rcs三个参数的缩写r替换或添加文件到库c创建库不存在就创建s生成索引加快链接速度12# C程序链接静态库gcc main.c -o program -L. -lmyclass -lstdc-L. 去当前目录下查找目标静态库-L 表示 库文件搜索路径. 表示 当前目录-lmyclass 链接 libmyclass.a 这个静态库-l link链接后面写库名 必须去掉 lib 和 .a库文件名libmyclass.a 链接时写-lmyclass-lstdc 链接 C 标准库动态库Linux .so123456# 编译为动态库g -fPIC -shared MyClass.cpp MyClass_C.cpp -o libmyclass.so -stdc17# C程序链接动态库gcc main.c -o program -L. -lmyclass -lstdc# 运行时指定库路径LD_LIBRARY_PATH. ./program #先把当前目录加入动态库搜索路径再运行程序-fPIC非常重要Position Independent Code位置无关代码动态库必须加否则不能动态加载会报错动态库Windows .dll1234# MinGW编译g -shared MyClass.cpp MyClass_C.cpp -o myclass.dll -Wl,--out-impliblibmyclass.a# C程序链接gcc main.c -o program -L. -lmyclass4.3 不同编译器的兼容性GCC与Clang名字修饰规则基本兼容但标准库不兼容libstdcvslibcMSVC名字修饰规则与GCC/Clang完全不同生成的库无法互操作ARMCC支持extern C但需要注意ARM特定的调用约定五、嵌入式系统特殊考虑5.1 内存管理嵌入式系统通常不允许动态内存分配因此需要使用静态内存池静态内存池提前在全局 / 静态区一次性划分好一块固定大小的内存程序运行后不再申请、不释放、不依赖 new/delete自己手动管理这块内存来放对象。alignas(MyClass)强制对齐非常关键否则对象地址错位崩溃static全局静态内存程序一生成就有定位 new 内存你提前准备好它只负责帮你调用构造函数造对象不分配堆内存不能用 delete只能手动析构123456789101112// 静态内存池alignas(MyClass)staticcharmyclass_pool[sizeof(MyClass)];staticboolpool_used false;externCMyClassHandle MyClass_Create(intinitial) {if(pool_used)returnnullptr;pool_used true;returnnew(myclass_pool) MyClass(initial);// 定位new不申请新堆内存只在现成静态内存里造对象}externCvoidMyClass_Destroy(MyClassHandle handle) {static_castMyClass*(handle)-~MyClass();// 显式调用析构函数pool_used false;}静态内存池提前全局划好一块固定内存不用堆、不用 new/delete用定位 new 在这块内存上手动构造 C 对象手动析构专门给嵌入式裸机 / RTOS 规避动态内存风险。5.2 禁用不必要的C特性为了减小代码体积和提高性能嵌入式系统通常禁用以下特性异常处理-fno-exceptionsRTTI-fno-rtti动态内存分配避免使用new/delete标准库避免使用std::string、std::vector等5.3 中断服务程序ISR中调用C代码ISR有严格的限制不能抛出异常不能使用动态内存分配不能调用非重入函数正确做法在ISR中只设置标志位在主循环中调用C代码处理标志位可重入函数多个任务 / 中断同时调用这个函数不会乱、不会崩、数据不会串。非重入函数不能被打断、不能同时嵌套调用一旦在执行中途被中断 / 多任务抢占全局变量、静态变量会被篡改逻辑错乱、死机、数据跑飞。5.4 RTOS环境下的使用在FreeRTOS、RT-Thread等RTOS中使用时确保C标准库是线程安全的大多数现代标准库都是避免在多个任务中同时操作同一个C对象除非加锁使用RTOS提供的内存分配函数如pvPortMalloc代替new/delete