как протестировать оператор присваивания и конструктор копирования класса? Опции

[Litkevich Yuriy]

Собственно вопрос: как протестировать класс на корректность работы самописаных конструктора копирования и оператора присваивания, и на предмет их существования вообще.

Положим, что в конструкторе класса создаётся динамический объект, а в деструкторе удаляется.

Если свои конструктора копирования и оператора присваивания не определять, то компилятор будет использовать побитовое копирование.

При этом могут возникать коварные ситуации. Как я понимаю, связанные с двойным освобождением ресурсов.

Можно ли написать код, который бы осуществлял подобный тест?

[Litkevich Yuriy]

Гмм.... А можно взглянуть на код этого YBuffer1?

можно, заодно может на косяки укажите:

ybuffer1.h

#ifndef YBUFFER1
#define YBUFFER1

/**    Класс YBuffer1 является ... .
 *     Этот класс ...
 */
class YBuffer1
{

public:
    YBuffer1(const char *abuffer, unsigned int asize);
    ~YBuffer1();
    YBuffer1(const YBuffer1 &other);
    YBuffer1 &operator=(const YBuffer1 &other);
    
    const char& at(unsigned int i) const;
    char& operator[](unsigned int i);
    char operator[](unsigned int i) const;
    
    unsigned int size() const {return theSize;}

private:
    unsigned int theSize;
    char *theBuffer;

private:
    void copy(const YBuffer1 &source, YBuffer1 &destination);

};

#endif //YBUFFER1

ybuffer1.cpp

#include "ybuffer1.h"

#include <QtGlobal>


YBuffer1::YBuffer1(const char *abuffer, unsigned int asize)
{
    theSize = asize;
    theBuffer = new char[asize];
    // тут надо скопировать содержимое
    unsigned int cnt = 0;
    while(cnt != asize){
        theBuffer[cnt] = abuffer[cnt];
        cnt++;
    }
}

YBuffer1::~YBuffer1()
{
    delete theBuffer;
}

YBuffer1::YBuffer1(const YBuffer1 &other)
{
    theSize = other.size();
    theBuffer = new char[other.size()];
    // тут надо скопировать содержимое
    copy(other, *this);
}

YBuffer1& YBuffer1::operator=(const YBuffer1 &other)
{
    theSize = other.size();
    theBuffer = new char[other.size()];
    // тут надо скопировать содержимое
    copy(other, *this);
    return *this;
}

void YBuffer1::copy(const YBuffer1 &source, YBuffer1 &destination)
{
    unsigned int size = source.size();
    Q_ASSERT_X(size == destination.size(), "YBuffer1::copy()", "size of objects not eqal");
    unsigned int cnt = 0;
    while(cnt != size){
        destination[cnt] = source[cnt];
        cnt++;
    }
}

const char& YBuffer1::at(unsigned int i) const
{
    Q_ASSERT_X(i <= theSize, "YBuffer1::at()", "requested index too big");
    const char &data = theBuffer[i];
    return data;
}

char& YBuffer1::operator[](unsigned int i)
{
    Q_ASSERT_X(i <= theSize, "YBuffer1::operator[]", "requested index too big");
    char &data = theBuffer[i];
    return data;
}

char YBuffer1::operator[](unsigned int i) const
{
    Q_ASSERT_X(i <= theSize, "YBuffer1::operator[]", "requested index too big");
    char data = theBuffer[i];
    return data;
}

Для копируемых темплейтная фукция:

эта шаблонная функция ничего не даст, в отсутствии самописанных конструктора копирования и оператора присваивания

Весь код проверки находится в операторе сравнения(==).

про это не понял, где и как применяется