Rust 与 C/C++ 特性对比及排序算法实现

一、特性对比

以下是 Rust 与 C/C++ 的特性对比表，结合系统编程核心需求标注重要性（★★★★★ 为最高，★ 为最低），并附具体示例说明：

特性	C/C++	Rust	重要性	示例/说明
内存管理	手动管理（malloc/free、new/delete），依赖程序员经验。易出现内存泄漏、悬垂指针、双重释放等问题。	基于所有权系统自动管理，编译时强制检查内存生命周期。无垃圾回收，零成本抽象。	★★★★★	- C：char* buf = malloc(100); free(buf); 若重复 free(buf) 会导致未定义行为。

• Rust：let s = String::from("hello"); 离开作用域自动释放，无手动操作。 | | 内存安全 | 无编译时保护，依赖运行时检查（如 assert）或工具（如 Valgrind）。缓冲区溢出、野指针等是常见漏洞。 | 编译时通过借用检查（Borrow Checker）和生命周期机制，禁止悬垂指针、越界访问等危险操作。 | ★★★★★ | - C：int arr[5]; arr[10] = 0; 数组越界，运行时崩溃或未定义行为。
• Rust：let arr: [i32; 5] = [0;5]; arr[10]; 编译报错'索引超出范围'。 | | 类型系统 | 弱类型倾向（如隐式转换），模板元编程复杂但易引入未定义行为。STL 提供容器但需手动管理迭代器有效性。 | 强类型系统，泛型（Generics）+ 特征（Trait）实现零成本抽象。Option<T>/Result<T,E> 强制处理空值和错误。 | ★★★★☆ | - C++：void* ptr = new int(5); 解引用需手动转换类型，易出错。
• Rust：fn parse_int(s: &str) -> Option<i32> 调用者必须处理 Some/None。 | | 并发安全 | 依赖手动同步（如 std::mutex），易出现数据竞争（Data Race）。线程间通信复杂，需开发者保证原子性。 | 基于所有权和生命周期的无锁并发，编译时禁止数据竞争。Send/Sync 特征标记类型是否可安全跨线程传递。 | ★★★★☆ | - C++：多线程共享 std::vector 时未加锁，可能导致迭代器失效或数据损坏。
• Rust：let data = Arc<Mutex<Vec<i32>>>(); 自动管理锁，编译检查锁的持有。 | | 性能 | 接近硬件底层，无运行时开销（如无 GC）。适合对性能极致要求的场景（如游戏引擎、高频交易）。 | 零成本抽象（Zero-cost Abstraction），性能与 C/C++ 持平（部分场景因借用检查有微小开销，可忽略）。 | ★★★★☆ | - C++：std::vector 的随机访问 O(1)，无额外开销。
• Rust：Vec<T> 性能与 std::vector 几乎一致，编译后机器码相似。 | | 工具链与生态 | 构建工具依赖 CMake/Makefile，包管理（如 Conan）较复杂。生态成熟但历史包袱重（如旧标准库兼容性问题）。 | 内置 Cargo 包管理器（依赖解析、构建、测试一体化），生态快速增长（如 tokio 异步运行时、serde 序列化）。 | ★★★☆☆ | - C++：跨平台编译需手动配置编译器和链接器参数。
• Rust： 一键交叉编译。 | | | 无内置安全机制，需依赖开发者经验或第三方库（如静态分析工具）。缓冲区溢出、整数溢出等是高危漏洞来源。 | 编译时阻止大部分内存/线程安全问题，运行时仅保留必要检查（如 替代崩溃）。 | ★★★★★ | - C： 若 长度超过 缓冲区，导致缓冲区溢出（常见于漏洞利用）。