是否有必要为没有动态资源的类实现移动构造函数？

如何解决是否有必要为没有动态资源的类实现移动构造函数？

我有一个如下所示的容器类。如您所见，该类使用的所有资源都是静态分配的。类中没有动态分配的资源。这样的类是否需要移动构造函数或移动赋值运算符？

template<class T,std::size_t SIZE>
class Stack{
    static_assert(SIZE != 0,"Stack capacity cannot be zero!");

public:
    /*** Constructors and Destructor ***/
    Stack() = default;             // Default constructor
    Stack(const Stack& copyStack); // Copy constructor
    ~Stack();                      // Destructor

    /*** Member Methods ***/
    /* .... */
    void swap(Stack& swapStack);

private:
    /*** Members ***/
    std::size_t idxTop{0};   // Index after the top element
    T data[SIZE];            // Contained data
};

对于那些想通过实际实现进行尝试的人：

解决方法

需要究竟是什么意思？我猜您的意思是您是否需要为您的班级编写它们以保持可移动性。

如果你有这样的例子：

#include <cstdint>
#include <utility>
class Foo
{
  private: 
  std::size_t idxTop{0};
  int data[4];
};

int main()
{
  Foo f = Foo(); // Default ctor
  Foo x = Foo(f); // Copy ctor
  x = f; // Copy assignment
  x = std::move(f); // Move assignment
  Foo y = std::move(f); // Move ctor
}

编译器会添加

  inline constexpr Foo() noexcept = default;
  inline constexpr Foo(const Foo &) noexcept = default;
  inline constexpr Foo(Foo &&) noexcept = default;
  inline constexpr Foo & operator=(const Foo &) noexcept = default;
  inline constexpr Foo & operator=(Foo &&) noexcept = default;

到类的定义。即类可以被复制，自由移动，如主所示。

但是——这可能是你提出问题的原因——如果你像你所做的那样为一个类编写一个自定义的 {copy con,des}structor，编译器不会把默认的定义放在那里。为什么？因为通过编写自定义实现，您发出了一个信号，表明您的类以某种方式特殊和默认实现很可能不会做正确的事情。

因此，您的类不可移动但仍可复制，并且在需要时将使用副本而不是移动操作 - 例如我示例中的最后两行。

我建议您在自定义这 5 个函数中的一个时，定义所有函数，如果它们足够，请使用 default 或 delete。

您可以在 the rule of three/five/zero 中找到有关默认规则的更多信息。

事情就是这样。您的类不可移动，因为它没有动态分配的资源。但它包含的资源可能。例如，T 在某些实例化中可能是 std::vector。那肯定可以移动，因此您必须确保通过提供复制构造函数（顺便说一句，您忘记 = default; 它），编译器不会意外禁用默认的移动构造函数。

现在，您应该注意您的案例中的默认移动构造函数。问题是你有一个数组作为成员，默认的移动构造函数只是一个一个移动数组的元素。

除了当其中一个的移动构造函数抛出时会发生什么？你最终移动了一半的元素，有些仍然在旧数组中，因为抛出了异常。那不好。看看 std::move_if_noexcept 并尝试实现移动构造函数来解决这个问题。

不，您的类不需要移动构造函数或移动赋值运算符。

您不能移动静态数组，只能复制它们的内容。因此，潜在的 move-ctor 与 copy-ctor 的作用相同。赋值运算符也是如此。

是否有必要为没有动态资源的类实现移动构造函数？

如何解决是否有必要为没有动态资源的类实现移动构造函数？

解决方法

相关推荐