移动构造函数和前增量与后增量

Question

在 C++ 中，如果您有一个使用移动构造函数“复制” 用户定义类型的对象的 for 循环，那么使用 ++i 或 i++ 作为循环计数器？

我知道这个问题似乎相当模糊，但我（我相信）在电话采访中被问到这个问题。我不确定我是否正确理解了这个问题，面试官认为这是我不知道答案，因此缩短了面试时间。

他到底想干什么？

Answer 1

在 C++ 中，如果您有一个使用移动构造函数“复制”用户定义类型的对象的 for 循环 [...]

首先，移动构造函数用于移动构造，这通常意味着您不是“复制”：您可以将移动实现为复制-实际上是一个复制的类-可构造的也是可移动构造的——但是为什么要显式定义移动构造函数呢？

[...] 使用 ++i 或 i++ 作为循环计数器有什么不同吗？

这取决于i 是什么。如果是标量对象，比如int，那么就没有区别了。

如果i 是一个类类型的迭代器，另一方面，++i 应该更有效（在纯理论基础上），因为operator ++ 的实现将不必创建在迭代器本身递增之前返回的迭代器。

例如，这里是 stdlibc++ 如何为 std::list 的迭代器类型定义增量运算符：

_Self&
operator++()
{
    _M_node = _M_node->_M_next;
    return *this;
}

_Self
operator++(int)
{
    _Self __tmp = *this;
    _M_node = _M_node->_M_next;
    return __tmp;
}

如您所见，后缀版本（接受虚拟int）还有更多工作要做：它需要创建原始迭代器的副本以重新生成，然后更改迭代器的内部指针，然后返回副本。

另一方面，前缀版本只需要改变内部指针并返回（引用）自身。

但是，请记住，在涉及性能时，所有假设都必须有衡量的支持。在这种情况下，我不希望这两个函数之间有任何明显的区别。