检查 std::move 是否在容器上完成

Question

有什么方法可以检查某些 STL 容器上的 std::move 是否完成？

我有两种类型的类（比如说 A 和 B），它们将另一个类的（一些）实例保存在它们的内部容器中。如果 A 的实例在其容器中保留 B 的实例，则 B 的实例也必须在其容器中保留相同的 A 实例。

A 可以看到 B 的私有方法（B 有它的朋友），但我必须在 B 上实现移动构造函数。由于 B 可以看到两者的内部容器，我已经实现了 B 对两个类的所有添加和删除。

问题是：
我必须为 A 实现移动构造函数，并在该容器上使用 stl::move。将容器移动到 A 的新实例后，通知 B 旧类分离的唯一方法是通过使用 B 和旧 A 的容器并同时删除两个类的方法。
B 有什么方法可以知道旧 A 的容器已移动并且它不应该访问它？
它无需检查即可工作，但由于类在 std::move 之后没有定义状态，我不应该在其上调用 ::remove()（教授说这是一个错误）。
请注意：这是我的作业问题，所以我不希望获得解决完整问题的非法帮助，仅检查对象一致性的部分以跳过移动后调用它的函数。

编辑：添加示例。
重要提示：
1) 我需要使用 std::move。我已经知道使用迭代器在 while 循环中完成所有操作的简单方法。但是，明确要求 std::move。
2）这个sn-p是为了理解我的问题。作为学生，我想自己解决，我只需要信息如何在不允许的情况下跳过一行。

class A;

class B {
public:
    // ...... some constructors, functions and destructor.
    void add(A *a) {
        // .. adds to both containers.
    };
    void remove(A *a) { // I need to remove from both containers at most of the times
        a_container.erase(a);
        a->b_container.erase(this); // PROBLEM(!!): after doing std::move(b_container) I shouldn't do this! How to check is b_container moved?
    };
private:
    std::_______<A*> a_container; //type of container is not important
};

class A {
    friend class B;
public:
    // ...... some constructors, functions and destructor.
    A(A && a) :
        b_container(std::move(a.b_container)) {
        //..
        for (B *b : b_container) {
            b->add(this); //adds to B's connected to the old instance
            a.remove(*b); //I need somehow to disconect old B's from pointer of moved A.
        }
    };
    void add(B & b) {
        b.add(this);
    };
    void remove(B & b) {
        b.remove(this);
    };
private:
    std::_______<B*> b_container; //type of container is not important
    //...
};

Answer 1

有什么方法可以检查某些 STL 容器上的 std::move 是否完成？

std::move 模板不会移动任何东西，它只是

获取对其参数的右值引用并将其转换为 极值。

如果编译类似于b_container(std::move(a.b_container)) 的代码，则std::move“工作”并且b_container 具有移动构造函数，并且移动构造函数移动指定为参数的对象的内部。否则代码不可编译。由于缺少移动构造函数，以下示例无法编译。 Here 在大肠杆菌上。

#include <utility>

class B {
public:
    B() = default;
    B(B &&) = delete;
};

int main() {
    B b0;
    B b1(std::move(b0));
    return 0;
}

总结以上文字。 std::move 总是“有效”。

移动对象的状态未指定。 Link#00 和 Link#01 解释了这种行为。

B 有什么办法可以知道旧 A 的容器被移动了，它不应该访问它？

没有办法检查旧容器是否被移动，即检查它的状态。但是可以访问它，例如调用std::vector::empty 方法，因为该对象是有效的。有关说明，请参阅this link。