一旦我有移动功能，我是否需要在任何地方添加空测试？

Question

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

例如一个函数

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

会变成

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

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

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

到处测试 null 会降低性能，如果用户知道访问已移动但未重新初始化的对象是未定义的行为，则没有必要这样做。解决这个问题的方法是什么？

Answer 1

C++ 标准库通过将移出的对象保持在 "valid but unspecified" 状态来解决这个问题：换句话说，您可以对其进行操作，使用它不会使您的程序崩溃，但唯一可预测的事情要做的就是写入它以重新建立已知状态。

如果您的默认构造函数没有将指针保留为空，那么您的移动构造函数也不应该：它应该使移出对象处于可以安全地调用其成员但不依赖任何特定值。如果您的默认构造函数将指针留空，那么显然这对移动构造函数也没有问题。

Answer 2

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

例如：

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.

移动语义不规定从移动的对象在移动后将处于什么状态。它只要求对象处于某种内部一致的状态。因此，如果您愿意，您的移动构造函数或赋值运算符完全有权 swap 成员......只要对象的所有其他内部状态都与此一致。也就是出现这种情况是完全没问题的：

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

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

一旦我有移动功能，我是否需要在任何地方添加空测试？

Do I need to add null-tests everywhere once I have move functions?

c++

move-semantics

null-pointer