如何避免类析构函数调用MPI接口时触发MPI_Finalize后运行报错

1. C++ 函数栈上的局部对象析构顺序为构造顺序的逆序，且所有局部对象的析构操作都会在main函数内最后一行显式代码执行完成后、return语句执行前触发。
2. 你的代码实际执行顺序如下：
   • 调用MPI_Init初始化MPI环境
   • 构造comm_std（M_Comm类栈对象）
   • 构造bar（foo类栈对象）
   • 显式调用MPI_Finalize，MPI环境完全关闭，后续任何MPI接口调用都会触发报错
   • 开始析构栈上对象：先析构bar，触发~foo()执行，内部调用MPI_Type_free触发报错
   • 最后析构comm_std，此时M_Comm析构函数内的判断逻辑已经无法解决已经发生的报错
3. 第二版修改的逻辑缺陷：你在main内仍然手动调用了MPI_Finalize，且没有调整对象析构顺序，bar的析构始终发生在MPI环境关闭之后，因此问题会复现。

以下方案可按场景选择：

方案1：限定对象生命周期（侵入性最低，推荐） #

通过花括号划定单独作用域，保证所有用到MPI接口的对象在MPI_Finalize调用前完成析构，修改后的main函数示例：

int main(int argc, char* argv[])
{
    MPI_Init(&argc, &argv);
    // 单独作用域限定所有MPI相关对象的生命周期
    {
        M_Comm comm_std(MPI_COMM_WORLD);
        foo bar(comm_std);
        // 所有业务逻辑全部放在该作用域内执行
    }
    // 出作用域时bar、comm_std已经完成析构，再关闭MPI环境
    MPI_Finalize();
    return 0;
}

方案2：析构函数增加MPI状态判断（兜底兼容） #

在所有调用MPI接口的析构函数中，先判断MPI环境是否已经关闭，再执行对应操作，修改后的foo类析构函数示例：

~foo() 
{
    printf("%2d: Destructing foo.\n", id);
    int finalized = 0;
    MPI_Finalized(&finalized);
    // 仅当MPI环境未关闭时才调用MPI接口
    if (!finalized) {
        MPI_Type_free(&M_INT);
    }
}

方案3：完全RAII管理MPI生命周期 #

如果要完全通过RAII机制管理MPI的初始化和销毁，不要在main内手动调用MPI_Init和MPI_Finalize，将两个调用全部封装到M_Comm的构造和析构函数中，同时保证M_Comm对象的构造早于所有其他MPI相关对象、析构晚于所有其他MPI相关对象即可。

内容的提问来源于stack exchange，提问作者Nanashi No Gombe