c++ - 一旦我有 move 功能，我是否需要在任何地方添加空测试？

Question

我不太确定去这里的路是什么；如果我有一个带有指针成员的类和一个将指针成员设置为 nullptr 的 move 构造函数，并且 move 函数是唯一可以将指针成员设置为 0 的函数，那么我是否需要放置在任何地方测试零我取消引用任何成员，因为对象可能已传递给 move 构造函数？

例如，一个函数

unisgned size()
{
    return memberpointer->size();
}

会变成

unisgned size()
{
    if memberpointer == nullptr
        return 0;
    return memberpointer->size();
}

否则，如果在 move 的对象上调用 size()，当然会出现段错误。那是用户的错还是我没有构建空测试的错？如果用户在重新初始化它之前没有访问 move 的对象，只要我在复制赋值运算符中放置一个空测试就不会发生这种情况:

C& operator=(C& src)
    {
        if (this != &src)
        {
            if (memberpointer == nullptr)
                init();
            *memberpointer = *src.memberpointer;
        }
        return *this;
    }

在任何地方测试 null 都会降低性能，如果用户知道访问已 move 且未重新初始化的对象是未定义的行为，那么这将是不必要的。解决这个问题的方法是什么？

Answer 1

不，没有必要进行所有这些测试，就像您根本没有 move 语义一样。如果在调用某种初始化函数之前使用您的对象是非法的，那么您也应该认为在 move 之后使用该对象也是非法的。您的对象应该处于可以正确销毁的状态，但没有其他规则指定该状态应该是什么。

例如:

Foo foo;
foo.Init();  // required
// foo is now allowed to be used

Foo bar = std::move( foo );
// No guarantees on whether foo is now initialised or not.

move 语义不规定从 move 的对象在 move 后将处于什么状态。它只要求对象处于某种内部一致的状态。因此，如果需要，您的 move 构造函数或赋值运算符完全有权交换成员...前提是该对象的所有其他内部状态都与此一致。也就是说，出现这种情况是完全可以的:

Foo foo, bar;
foo.Init();
bar.Init();
bar = std::move( foo );
// foo and bar contents now swapped.
// caveat: you should not use foo again

但是，您不能期望这一点。规则是 move 后，您不应再次尝试使用该对象。