我不太确定去这里的路是什么;如果我有一个带有指针成员的类和一个将指针成员设置为 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 且未重新初始化的对象是未定义的行为,那么这将是不必要的。 解决这个问题的方法是什么?
最佳答案
不,没有必要进行所有这些测试,就像您根本没有 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 后,您不应再次尝试使用该对象。
关于c++ - 一旦我有 move 功能,我是否需要在任何地方添加空测试?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/39629768/