C++:可分配数组作为输出参数（附带源码）

一、项目背景详细介绍

在 C++ 工程实践中，“函数如何返回数组”是一个极其经典但又极易出错的问题。

尤其是在以下场景中：

• 数值计算库（返回计算结果数组）

• 几何 / 网格生成（返回节点列表）

• IO / 数据解析（返回动态长度数据）

• 科学计算与 HPC 程序

• 与 C 接口 / Fortran 接口交互

开发者往往会遇到类似需求：

函数内部根据输入动态决定数组大小，并将数组“作为输出参数”返回给调用者

然而，C++ 并不像返回一个int那样简单直接地“返回数组”，这就引出了多个设计问题：

• 谁来分配内存？

• 谁来释放内存？

• 如何避免内存泄漏？

• 如何保证异常安全？

• 如何兼顾性能与接口易用性？

1.1 常见的错误做法

初学者常犯的错误包括：

• 返回局部数组指针（悬空指针）

• 使用裸指针但未明确释放责任

• 使用双重指针但接口混乱

• 混用new/delete与malloc/free

这些问题在大型工程中会导致：

• 隐蔽内存泄漏

• 难以定位的崩溃

• 不可维护的接口设计

1.2 为什么这是一个“教学级别的重要问题”

“可分配数组作为输出参数”几乎涵盖了：

• C 与 C++ 的本质差异

• RAII 思想

• 所有权（ownership）模型

• API 设计哲学

• 现代 C++ 风格演进

因此它非常适合作为：

• C++ 课程重点章节

• 工程代码评审的典型话题

• 从 C 过渡到 C++ 的关键知识点

1.3 本文目标

本文将系统、完整、工程化地回答一个问题：

在 C++ 中，如何正确、优雅、安全、高性能地使用“可分配数组作为输出参数”

并通过多种实现方式进行对比与总结。

二、项目需求详细介绍

2.1 功能需求

我们希望设计函数，满足以下需求：

1. 函数内部动态决定数组大小

2. 将数组结果“输出”给调用者

3. 调用者可以安全访问数据

4. 不发生内存泄漏

5. 接口语义清晰、易用

2.2 工程需求

• 支持 C++17

• 不依赖第三方库

• 可用于教学与真实工程

• 代码风格清晰、可扩展

2.3 评估维度

我们将从以下维度评估每种方案：

• 内存安全

• 接口可读性

• 异常安全

• 性能

• 现代 C++ 推荐程度

三、相关技术详细介绍

3.1 为什么函数不能直接返回数组？

在 C++ 中：

int arr[10];

数组在语义上：

• 不是一等对象

• 不能被拷贝或赋值

• 会在函数返回时立即销毁（若为局部变量）

因此不能直接作为返回值。

3.2 “输出参数”的本质

所谓“输出参数”，本质是：

通过引用、指针或对象，让调用者获得函数内部产生的数据

数组作为输出参数的困难在于：

• 数组大小未知

• 生命周期管理复杂

3.3 内存所有权问题（Ownership）

核心问题只有一个：

谁拥有这块内存，谁负责释放？

好的 API 必须做到：

• 所有权明确

• 使用者无需猜测

四、实现思路详细介绍

本文将依次介绍以下方案：

1. C 风格：双重指针 + new

2. 返回裸指针（不推荐）

3. 引用传递std::vector（强烈推荐）

4. 返回std::vector（最推荐）

5. 使用std::unique_ptr<T[]>

6. 模板化输出缓冲区设计

并给出工程级总结。

五、完整实现代码

/************************************************************ * File: output_array_examples.cpp * Description: * Demonstration of dynamically allocated arrays * used as output parameters in C++. * Standard: C++17 ************************************************************/ #include <iostream> #include <vector> #include <memory> /******************* 1. C-style double pointer ****************/ /* 调用者负责 delete[] */ void generate_array_c_style(int** out_array, int* out_size) { *out_size = 5; *out_array = new int[*out_size]; for (int i = 0; i < *out_size; ++i) { (*out_array)[i] = i * i; } } /******************* 2. Reference to std::vector **************/ /* 推荐：清晰、安全、无泄漏 */ void generate_array_vector(std::vector<int>& out) { out.clear(); for (int i = 0; i < 5; ++i) { out.push_back(i * i); } } /******************* 3. Return std::vector ********************/ /* 最推荐方式 */ std::vector<int> generate_array_return_vector() { std::vector<int> result; for (int i = 0; i < 5; ++i) { result.push_back(i * i); } return result; } /******************* 4. unique_ptr<T[]> ***********************/ std::unique_ptr<int[]> generate_array_unique(int& size) { size = 5; std::unique_ptr<int[]> arr(new int[size]); for (int i = 0; i < size; ++i) { arr[i] = i * i; } return arr; } /***************************** Main ***************************/ int main() { // --- 方案 1 --- int* raw_array = nullptr; int size = 0; generate_array_c_style(&raw_array, &size); std::cout << "C-style array:\n"; for (int i = 0; i < size; ++i) std::cout << raw_array[i] << " "; std::cout << "\n"; delete[] raw_array; // --- 方案 2 --- std::vector<int> vec; generate_array_vector(vec); std::cout << "Vector output parameter:\n"; for (int v : vec) std::cout << v << " "; std::cout << "\n"; // --- 方案 3 --- auto vec2 = generate_array_return_vector(); std::cout << "Returned vector:\n"; for (int v : vec2) std::cout << v << " "; std::cout << "\n"; // --- 方案 4 --- int size2 = 0; auto smart_array = generate_array_unique(size2); std::cout << "unique_ptr array:\n"; for (int i = 0; i < size2; ++i) std::cout << smart_array[i] << " "; std::cout << "\n"; return 0; }

六、代码详细解读（仅解读方法作用）

6.1generate_array_c_style

• 典型 C 风格接口

• 使用双重指针返回动态数组

• 调用者必须手动释放内存

6.2generate_array_vector

• 使用std::vector作为输出参数

• 自动管理内存

• 接口清晰，异常安全

6.3generate_array_return_vector

• 直接返回std::vector

• 依赖 RVO / 移动语义

• 现代 C++ 最推荐方案

6.4generate_array_unique

• 使用std::unique_ptr<T[]>

• 明确所有权

• 适合底层库或 C 接口封装

七、项目详细总结

通过本项目，你已经系统理解了：

• 为什么“返回数组”在 C++ 中是一个设计问题

• 不同输出参数设计的优缺点

• C 风格与现代 C++ 风格的根本差异

• RAII 与所有权模型的重要性

结论非常明确：

在现代 C++ 中，90% 的场景应使用std::vector返回或作为输出参数

八、项目常见问题及解答（FAQ）

Q1：返回std::vector会不会慢？

不会。RVO 和移动语义几乎消除了拷贝成本。

Q2：什么时候必须用裸指针？

• 与 C 接口交互

• 极端性能 / 内存布局控制

Q3：输出参数还是返回值更好？

• 能返回就返回

• 输出参数仅用于多返回值或性能敏感场景

九、扩展方向与性能优化

9.1 接口设计扩展

• 使用std::span（C++20）

• 使用模板支持多类型输出

9.2 性能优化

• 提前reserve

• 避免重复分配

• 使用自定义 allocator

9.3 教学扩展

• 对比 Java / Rust 的内存模型

• 分析 ABI 与拷贝消除

• 真实项目 API 设计案例分析