Question

我不太清楚这里要走的路是什么;如果我有一个带有指针成员的类和一个将指针成员设置为nullptr的移动构造函数，并且move-functions是唯一可以将指针成员设置为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

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

例如：

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.

移动语义没有规定移动后对象从移动的状态。它只要求对象处于某种内部一致的状态。因此，如果愿意，您的移动构造函数或赋值运算符完全有权交换成员...提供对象的所有其他内部状态与此一致。也就是说，有这种情况是完全可以的：

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

但是，你不能期待这个。规则是在移动之后，您不应该再次尝试使用该对象。

Answer 2

C ++标准库通过将移动的对象保持在“有效但未指定”的状态来解决这个问题：换句话说，你可以对它进行操作，使用它不会使你的程序崩溃，但是唯一可预测的事情要做写信给它重新建立一个已知状态。

如果您的默认构造函数没有将指针保留为null，那么您的移动构造函数也不应该：它应该将move-from对象保留在您可以安全地调用其上的成员而不依赖于任何特定值的状态。如果您的默认构造函数将指针保留为null，那么显然对于移动构造函数也是如此。

移动函数后，是否需要在任何地方添加空值测试？

2 个答案: