C与C++兼容性如何？关键差异有哪些？

C++ 是 C 的“超集”吗？

C++ 并不是 C 的一个严格的超集。 这是一个常见的误解。

更准确的说法是：C++ 在设计时以 C89/C90 标准为基础，并对其进行了扩展和增强，以支持面向对象、泛型编程等新特性。 这种“扩展”导致了在某些情况下，合法的 C 代码可能不是合法的 C++ 代码。

你可以将 C++ 看作是“C 语言的一个主要分支和演进”，而不是一个简单的“包含所有 C 并增加新功能”的集合。

兼容性的层次

我们可以将兼容性分为三个层次来理解：

源代码兼容性

这是指一个 C 语言的源文件（.c）不经修改或只需少量修改，就能被 C++ 编译器成功编译并产生预期的行为。

• 大部分情况是兼容的：对于遵循 C89/C90 标准的、风格良好的 C 代码，C++ 编译器通常可以很好地处理。
• 关键例外：存在一些关键的语法和关键字差异，使得纯 C 代码无法直接作为 C++ 代码编译，这些将在下文详细说明。

二进制兼容性

这是指一个用 C 编译器编译出的目标文件（.o 或 .obj）或库文件（.a, .lib, .so, .dll）能否被 C++ 编译器直接链接。

• 通常不兼容：这是最重要的一点，C 和 C++ 是两种不同的语言，它们在以下方面存在根本性差异，导致二进制不兼容：
  • 名字修饰：这是最核心的原因，C++ 支持函数重载，同一个函数名可以对应不同的参数列表，为了在链接时区分它们，C++ 编译器会对函数名进行“修饰”，即在原函数名后附加参数类型、返回类型、命名空间等信息等信息，而 C 编译器则通常只使用函数名本身（或进行简单的下划线前缀修饰），C++ 代码无法直接调用 C 库中的函数，反之亦然，除非使用 extern "C" 声明。
  • 数据结构布局：C++ 引入了类、继承、虚函数等特性，一个包含虚函数的 C++ 对象通常会有一个隐藏的虚表指针，这会改变其内存布局，即使是简单的结构体，C++ 编译器为了内存对齐或优化而采用不同的策略，其内存布局也可能与 C 编译器不同，直接混用会导致数据错乱。
  • 异常处理和运行时支持：C++ 标准库包含了异常处理、运行时类型信息、动态内存管理等复杂的运行时支持，这些在 C 中是不存在的，链接 C 和 C++ 的代码时，必须确保链接器能正确处理这些差异。

ABI 兼容性

Application Binary Interface (ABI) 比二进制兼容性更宽泛，它定义了应用程序与操作系统、库之间的交互约定，包括调用约定、数据类型对齐、对象内存模型等。

• 不同编译器之间不兼容：即使是同一个语言（如 C++），不同的编译器（如 GCC 和 Clang，或者 GCC 和 MSVC）也可能有不兼容的 ABI，这意味着用 GCC 编译的库不能直接用 Clang 链接。
• C 和 C++ 之间不兼容：如上所述，由于名字修饰、对象模型等差异，C 和 C++ 的 ABI 是不同的。

主要的不兼容点（为什么 C 代码不能直接作为 C++ 编译）

以下是一些最常见、最重要的不兼容原因：

如何实现 C 和 C++ 的互操作？

尽管存在不兼容性,但在实际项目中，我们经常需要让 C++ 和 C 代码协同工作，主要工具是 extern "C"。

extern "C" 的作用

extern "C" 是一个 C++ 语言链接规范，它告诉 C++ 编译器：“请将 内部声明的所有函数，按照 C 语言的规则来处理，特别是不要进行名字修饰”。

使用场景 1：在 C++ 中调用 C 函数或使用 C 库

假设你有一个 C 库 myclib.h 和 myclib.c：

myclib.h (C 头文件)

#ifndef MYCLIB_H
#define MYCLIB_H
int add(int a, int b);
#endif

myclib.c (C 源文件)

#include "myclib.h"
int add(int a, int b) {
    return a + b;
}

main.cpp (C++ 源文件)

#include <iostream>
// 关键步骤：用 extern "C" 包含 C 头文件
extern "C" {
    #include "myclib.h"
}
int main() {
    int result = add(10, 20); // 可以直接调用
    std::cout << "Result: " << result << std::endl;
    return 0;
}

编译命令示例 (Linux with GCC):

# 1. 编译 C 源文件为 C 库
gcc -c myclib.c -o myclib.o
ar rcs libmyclib.a myclib.o
# 2. 编译 C++ 源文件并链接 C 库
g++ main.cpp -L. -lmyclib -o main_program

使用场景 2：在 C 中调用 C++ 函数

这种情况更复杂一些,因为 C++ 编译器必须生成一个没有名字修饰的函数，以便 C 链接器能找到它，通常的做法是创建一个“C 兼容的包装层”。

mycpplib.h (C++ 头文件)

#ifndef MYCPPLIB_H
#define MYCPPLIB_H
#ifdef __cplusplus
extern "C" {
#endif
// 声明为 C 风格的函数，这样 C 代码就能调用它
int cpp_add(int a, int b);
#ifdef __cplusplus
}
#endif
#endif

mycpplib.cpp (C++ 源文件)

#include "mycpplib.h"
// 真正的实现是 C++ 函数
int cpp_add_impl(int a, int b) {
    return a + b;
}
// 提供给 C 使用的入口点，同样用 extern "C" 修饰
extern "C" int cpp_add(int a, int b) {
    return cpp_add_impl(a, b);
}

main.c (C 源文件)

#include "mycpplib.h" // 包含 C 兼容的头文件
int main() {
    int result = cpp_add(5, 7); // 可以直接调用
    printf("Result: %d\n", result);
    return 0;
}

编译命令示例:

# 1. 编译 C++ 源文件为 C++ 库
g++ -c mycpplib.cpp -o mycpplib.o
ar rcs libmycpp.a mycpplib.o
# 2. 编译 C 源文件并链接 C++ 库
gcc main.c -L. -lmycpp -o main_program