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

Question

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

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

A 可以看到 B 的私有(private)方法(B 拥有它，因为它是 friend )，但我必须在 B 上实现 move 构造函数。因为 B 可以看到两者的内部容器，所以我实现了 B 为两个类执行所有添加和删除操作。

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

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

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

Is there any way I can check is std::move done on some STL container?

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

obtains an rvalue reference to its argument and converts it to an xvalue.

如果类似于 b_container(std::move(a.b_container)) 的代码被编译，则 std::move“有效”并且 b_container 有一个 move 构造函数， move 构造函数 move 指定为参数的对象的内部。否则代码不可编译。由于缺少 move 构造函数，以下示例不可编译。 Here它在 coliru 上。

#include <utility>

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

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

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

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

Is there any way for B to know that old A's container is moved and it shouldn't access it?

无法检查旧容器是否 move ，即检查它是否处于状态。但是可以访问它，例如，调用 std::vector::empty 方法，因为该对象是有效的。参见 this link用于解释。