c++ - 为什么调用 move 分配？

Question

我有一些带有复制和 move 分配的类(class)，但 move 在我的示例中似乎是错误的，并导致意外的行为。为什么调用 move 以及如何避免这种情况？C1 被分配给 C2 并在之后使用，但调用 move 时 C1 为空。

#include <iostream>

class CSomeClass
{
protected:
   size_t m_uiSize = 0u;

public:
   CSomeClass() {}

   ~CSomeClass() {}

   size_t size() const { return m_uiSize; }

   void resize( size_t p_uiNewSize ) { m_uiSize = p_uiNewSize; }

   /* This operator I was expected to be called in all cases. */
   CSomeClass& operator=( const CSomeClass& p_rzOther )
   {
      std::wcout << "Copy explicit" << std::endl;
      m_uiSize = p_rzOther.size();
      return *this;
   }

   CSomeClass& operator=( CSomeClass&& p_rzOther )
   {
      std::wcout << "Move explicit" << std::endl;
      m_uiSize = p_rzOther.size();
      p_rzOther.resize( 0u );
      return *this;
   }

#if 1
   template<typename M> CSomeClass& operator=( const M& p_rzOther )
   {
      std::wcout << "Copy UNDEF" << std::endl;
      m_uiSize = p_rzOther.size();
      return *this;
   }

   template<typename M> CSomeClass& operator=( M&& p_rzOther )
   {
      std::wcout << "Move UNDEF" << std::endl;
      p_rzOther.resize( 0u );
      return *this;
   }
#endif
};


int main()
{
   CSomeClass C1;
   CSomeClass C2;

   C1.resize( 1u );

   std::wcout << L"C1 size before: " << C2.size() << std::endl;

   C2 = C1;

   std::wcout << L"C1 size after: " << C2.size() << std::endl;

   return 0;
}

这会产生以下输出:

C1 size before: 1
Move UNDEF
C1 size after: 0

我真正的问题有点复杂(有更多的模板和大量的分配变体)。

如果将#if 1更改为#if 0，则会调用正确的复制赋值运算符，但在我的真实代码中，存在以下情况:赋值运算符被调用(相反，完成了一个简单的拷贝，这也是错误的)。

我希望你能向我解释一下这个机制。我错过了什么？

Answer 1

template<typename M> CSomeClass& operator=( M&& p_rzOther )

这里，M&& p_rzOther 是 forwarding reference 。您可以向其传递左值和右值，包括 const 和非 const。

在您的情况下，M 被推导为 CSomeClass &，这是由于 reference collapsing将赋值运算符变成:

CSomeClass &operator=(CSomeClass &p_rzOther)

因为在 C2 = C1; 中，C1 不是 const，所以上面的运算符比其他两个采用一个const CSomeClass &。

您可以使用 SFINAE 解决此问题，方法是防止 M 成为 CSomeClass(可能是 cv 限定的，可能是对一个的引用):

template <
    typename M,
    std::enable_if_t<
        !std::is_same_v<
            CSomeClass,
            std::remove_cv_t<std::remove_reference_t<M>>
        >,
        decltype(nullptr)
    > = nullptr
>
CSomeClass &operator=(M &&p_rzOther)

由于此 operator= 可以处理带或不带 const 的值类别，因此您不需要另一个。我建议删除

template<typename M> CSomeClass& operator=( const M& p_rzOther )

防止与其他运算符发生冲突。