单元测试拷贝构造函数和赋值运算符

Unit testing copy constructr and assignment operator

我正在为几个 classes (C++) 编写单元测试,在尝试为复制构造函数和赋值运算符编写单元测试时遇到了一个问题。 两者都可能出错的一个基本问题是,程序员向 class 添加了一个成员,然后忘记更新 c'ctor and/or 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

   // ...
}

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

显式测试复制构造函数是可以的,但它可能是拐弯抹角。更常见的情况是,复制构造函数本身是一个不需要显式测试的细节。您可能想要做的是编写一套测试,对您复制的对象进行工作,并确保工作产生正确的结果。像这样:

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());