MPI和移动语义

Question

对C++11对象使用move语义有多安全？

让我们来看一个小例子：

#include <mpi.h>
#include <iostream>

int main() {
    MPI_Init(nullptr, nullptr);

    int rank;
    MPI_Comm_rank(MPI_COMM_WORLD, &rank);

    if (rank == 0) {
        // create info object and set a key value pair
        MPI_Info info;
        MPI_Info_create(&info);
        MPI_Info_set(info, "key", "value");

        int size;
        MPI_Info_get_nkeys(info, &size);
        std::cout << "size: " << size << std::endl;

        // move into new object
        MPI_Info info2 = std::move(info);
        MPI_Info_set(info2, "kex2", "value2");

        MPI_Info_get_nkeys(info2, &size);
        std::cout << "size: " << size << std::endl;
    }

    MPI_Finalize();
}

move结构有多安全？例如，这样的移动操作是在MPI对象上定义的还是未定义的行为？

Answer 1

类型要么实现移动，要么不实现，在这种情况下，移动只是一个拷贝。尝试移动不动的东西并不是未定义的行为。

请记住，std::move本身仅强制转换为r值引用，而不会自行移动。