MPI中如何定义本地数组？进程间数组地址是否共享？

核心结论：所有MPI进程的数组都是独立的 #

在MPI的运行模型中，每个进程都是完全独立的执行实例，拥有自己独立的虚拟地址空间。不存在多个进程共享同一个数组/指针地址的情况——哪怕代码里写的是同一个变量名，每个进程都会在自己的地址空间里创建这个变量的副本，彼此互不干扰。

针对你给出的代码：

• numbersx是在main函数中定义的std::vector<int>，每个MPI进程执行到这段代码时，都会独立创建属于自己的numbersx实例。这些实例的内存地址不同，内容也不会自动同步，完全是各进程的本地数据。

注意：你的代码里存在一个bug：numbersx初始化是空vector，直接用&numbersx[0]作为MPI_Recv的接收缓冲区会触发越界访问，导致未定义行为。应该先将numbersxresize到count大小，或者直接使用代码中已经创建的numbers vector作为接收缓冲区。

如何实现每个进程拥有自己的本地数组 #

MPI的**SPMD（单程序多数据）**模型天然支持每个进程拥有本地数组，不需要额外的复杂操作，常见的实现方式有：

• 直接定义静态/动态数组：在进程代码中直接声明数组（比如std::vector<int> local_data;或者int local_arr[100];），每个进程都会独立创建自己的数组副本，这就是本地数组。
• 按进程逻辑初始化不同内容：比如你的代码中，rank=0的进程从文件读取完整数据，其他进程通过MPI_Recv接收分片数据——每个进程的本地数组内容不同，但都是各自独立管理的。
• 动态分配内存：使用new关键字或者vector的动态扩容功能（比如local_data.resize(count);），每个进程自己分配和释放内存，完全掌控本地数组的生命周期。

举个修正后的接收逻辑示例（修复numbersx的bug）：

// 接收部分修正
MPI_Status status;
MPI_Probe(0, 0, MPI_COMM_WORLD, &status);
MPI_Get_count(&status, MPI_INT, &count);
std::vector<int> numbersx(count); // 直接初始化指定大小
MPI_Recv(&numbersx[0], count, MPI_INT, 0, 0, MPI_COMM_WORLD, MPI_STATUS_IGNORE);
// 打印本地数组内容
for (int i = 0; i < numbersx.size(); ++i) {
    std::cout << "Rank " << rank << " Number " << i << ": " << numbersx[i] << std::endl;
}

内容的提问来源于stack exchange，提问作者heyula