Question

我第一次写了一个应该可用作std::map<>的密钥类型的类。我已经按照SO上的其他问题的建议重载了复制构造函数，赋值和operator <。但由于某种原因，当我尝试使用operator []插入时，它会崩溃。此类用于保存二进制数据的缓冲区，其长度由成员m_nLen指示。

以下是代码：

class SomeKeyClass
{
public:

   unsigned char m_buffer[ SOME_LENGTH_CONSTANT ];

   size_t m_nLen;

public:

   inline SomeKeyClass( const unsigned char * data, size_t nLen )
   {
      m_nLen = min( SOME_LENGTH_CONSTANT, nLen );
      memcpy( m_buffer, data, m_nLen );
   }

   inline SomeKeyClass( const SomeKeyClass& oKey )
   {
      *this = oKey;
   }

   inline bool operator < ( const SomeKeyClass& oKey ) const
   {
      return memcmp( m_buffer, oKey.m_buffer, min( m_nLen, oKey.m_nLen ) ) < 0;
   }

   inline SomeKeyClass & operator = ( const SomeKeyClass& oKey )
   {
      memcpy( m_buffer, oKey.m_buffer, oKey.m_nLen );
      return *this;
   }
};

这门课有什么不对吗？我可以使用std::string<unsigned char>代替二进制数据作为键吗？

Answer 1

问题是您没有在复制构造函数或赋值运算符中设置m_nLen成员。因此，每当您使用具有未初始化或错误m_nLen值的对象时，事情可能会出错，导致可能的崩溃（通常，未定义的行为）。

当实现用户定义的复制构造函数和赋值运算符时，您应该努力确保最后出现的是相关对象的实际副本（引用计数对象是一种特殊情况，但它仍然暗示复制正在进行中）。否则，生成对象的不完整或错误副本的程序非常脆弱，并且调试负担很重。

Answer 2

请参阅Paul McKenzie关于它崩溃的原因的答案。

这门课有什么问题吗？

是的，您的operator<已损坏。

考虑你有一个键“abc”和另一个键“abcd”的情况，你的less-than运算符会说它们是等价的，因为你只测试前3个字符。

正确的实现需要比较memcmp表示它们相等的长度，因为memcmp调用不一定比较完整的字符串：

bool operator<(const SomeKeyClass& oKey) const
{
  const std::size_t len = std::min(m_nLen, oKey.m_nLen);
  if (len > 0)
  {
    const int cmp = memcmp(m_buffer, oKey.m_buffer, len);
    if (cmp != 0)
      return cmp < 0;
  }
  return m_nLen < oKey.m_nLen;
}

C ++ Custom std :: map＆lt;＆gt;键类导致内存冲突

2 个答案: