单元测试复制构造函数和赋值运算符

Question

我正在为几个类 (C++) 编写单元测试，并在尝试为复制构造函数和赋值运算符编写单元测试时遇到了问题。 两者都可能出错的一个基本问题是程序员向类中添加了一个成员，然后忘记更新 c'ctor 和/或 operator=。

我当然可以按照以下方式编写单元测试：

class MyClass()
{
public:

    int a, b;
    non_trivial_copyable nasty;

    MyClass& operator=(const MyClass& _r)
    {
        if(this == &r)
          return *this;
        a = _r.a;
        b = _r.b;
        nasty = acquire_non_trivial_copyable();
    }
};


TEST(My_Class_copy_op)
{
  MyClass m1;
  m1.a = m1.b = 2;

  MyClass m2 = m1;
  VERIFY(m2.a == 2);
  VERIFY(m2.b == 2);
}

很好。 现在程序员添加了一个成员c，但不更新操作符和测试用例。

class MyClass()
{
public:
    float c;
// ...
}

即使操作符现在坏了，测试用例仍然会成功。

现在，我们可以执行以下操作：

TEST(My_Class_copy_op)
{
// Aha! Fails when programmer forgets to update test case to include checking c
   static_assert(sizeof(MyClass) == 8);
// Meh, also fails on an architecture where the size of MyClass happens to be != 8

   // ...
}

我找不到任何关于如何解决这个问题的好信息，但肯定有人以前遇到过这个问题！？ 是不是太明显了，我完全错过了！？

Answer 1

显式测试一个复制构造函数是好的，但它可能是绕圈子。更常见的是，复制构造函数本身是您不需要显式测试的细节。相反，您可能想要做的是编写一套对您复制的对象起作用的测试，并确保该工作得出正确的结果。像这样：

MyClass a;
// Now initialize a with stuff it needs to do its job

// Copy a into b
MyClass b = a;

// Make b do its job and make sure it succeeds
VERIFY(b.DoWork());