c – 单元测试复制构造和赋值运算符

我正在为几个类(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

   // ...
}

我找不到任何关于如何解决这个问题的好信息,但确定有人必须在此之前遇到过这个问题！？
是如此明显,我完全错过了它！？

解决方法:

明确地测试一个拷贝构造函数很好,但它可能在丛林中肆虐.更常见的情况是,复制构造函数本身是一个您不需要显式测试的细节.您可能想要做的是编写一组测试,这些测试可以对复制的对象起作用,并确保工作得到正确的结果.像这样：

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

标签：c,unit-testing,assignment-operator,copy-constructor
来源： https://codeday.me/bug/20190728/1560181.html