Проблема со стандартным копировщиком

[Krasiosoft]

Сообщение от Krok27

Как тогда вернуть из функции:

Vita & operator = (const Vita &rhs)

Например, так:

Vita & operator = (const Vita &rhs)
{
    if (this != &rhs)
    {
        *x = rhs.fvf();
        //*x = *(rhs.x);
    }
    return *this;
}

[Perchik71]

Сообщение от crazy horse

*x = rhs.fvf();

Нифига не читабельно.

               if (this == &rhs) return *this;

		*x = rhs.fvf();

		//*x = *(rhs.x);

		return *this;

Я бы не советовал плодить return'ы на ровном месте.

if (this != &rhs)

и дальше по тексту.

Это что вообще?

конструктор копий

cclass(const cclass& _c) { *this = _c; }

оператор

cclass& operator=(const cclass& _c) 
{ /* тут копируем данные */ }

P.S.

оператор

/* я возвращаю ссылку, объект не порождается */
cclass& operator=(const cclass& _c) 
{ 
    /* тут копируем данные */
    return *this; /* Возвращаем текущий объект */
}

P.S.
Вы выделяете память под указатель при создании объекта,
что бы избежать проблем при уничтожении объекта,
выделяйте память и при копии

[220Volt]

В норме не стоит переписывать стандартные функции (копирование, перемещение, конструкторы) ведь не зря они предоставляются по умолчанию. Стоит правильно организовывать объект, например:

#include <vector>
#include <memory>
using namespace std;

struct Data {};

struct Container1  { vector<Data> data; };

struct Container2  { unique_ptr<Data> udata; };

int main()
{
    Container1 c1;
    Container2 c2;

    Container1 copy1 = c1;
    Container2 move2 = move(c2); // c2 более невалиден
}

unique_ptr и vector возьмут на себя все стандартные процедуры (копирование, перемещение, ...). Мы получили тот же указатель, но не паримся о его сопровождении.
Если приходится писать деструктор, то удаляю конструкторы и операторы = (можно написать свои если нужно).
P.S: на shared_ptr также можно посмотреть. В общем копать здесь http://en.cppreference.com/w/cpp/header/memory

[Helloween]

Да вы что?

Стандартный конструктор копирования копирует ПОБАЙТОВО, не вызывая конструкторов копирования vector'a и shared_ptr.

Вот такой код приведет к интересному результату (да и к тому же семантика shared_ptr нарушается):

class A
{
std::shared_ptr<int> x;
public:
void fill()
{
x.reset(new int(10));
}

void new_val()
{
*x = 11;
}

void print()
{
printf("%d", *x);
}
};

int main()
{
A a;
a.fill();
A b = a;
a.new_val();
b.print();
return 0;
}

[220Volt]

Сообщение от Helloween

Да вы что?

Стандартный конструктор копирования копирует ПОБАЙТОВО, не вызывая конструкторов копирования vector'a и shared_ptr.

Что-то вы меня удивляете, давайте проверим:

#include <iostream>
using namespace std;

class A
{
public:
    A() = default;
    A(const A&) {cout << "copy constr\n";}
};

struct Cont
{
    A a;
};

int main()
{
    Cont c1;
    Cont c2 = c1;
    return 0;
}

$ ./a.out
copy constr

По вашему примеру: у меня печатает 11, что неправильно?

[Пепел Феникса]

Стандартный конструктор копирования копирует ПОБАЙТОВО, не вызывая конструкторов копирования vector'a и shared_pt

стандартный конструктор копирует по-членно.

[Helloween]

Хорошо, с shared_ptr неудачный пример, замените на unique_ptr с тем же кодом.

[220Volt]

Как же можно применить код к unique_ptr, данная логика там не применима. Можно сделать move(a), но не вижу смысла (что это доказывает?).

[waleri]

Сообщение от Helloween

Хорошо, с shared_ptr неудачный пример, замените на unique_ptr с тем же кодом.

А это проблема unique_ptr а не конструктора.
Вот напишите *свой* конструктор, который скопирует unique_ptr.

[Perchik71]

Сообщение от 220Volt

Как же можно применить код к unique_ptr, данная логика там не применима. Можно сделать move(a), но не вижу смысла (что это доказывает?).

Если класс содержит указатели внутри себя, у вас будут большие проблемы, если Вы не опишите конструктор копий, ровно так же как и деструктор. Проблемы очевидные... Вы не контролируете память, и не можете предсказать поведении объекта, вообще это будет "баг", который аргументируется как Ваша неопытность.

P.S. отказ от указателей? хммм, не помню язык, но такую "фичу" пытались сделать... (кто помнит поправите), привело к тому, что Вы ограничены по потреблению памяти, к тому же, нет возможности динамически влиять на размеры.. списки и массивы итд, можете забыть.