Здравейте,
принципно, като се вика copy-assignment оператор или copy-конструктор, не се копират битовете на едните полета върху другите , защото се следва разписаната логика на тези методи, Но, ако са дифолтни, не се ли копират директно битовете на other.обект върху битовете на this->обект?
Поздрави!
Здравей,
Не, не се копират по битове. На всяко поле поотделно му се вика съответното нещо:
- default copy constructor вика на всеки един член copy constructor, като му подава съответстващото поле от other
- default copy assignment operator вика на всеки един член copy assignment operator, като му подава съответстващото поле от other
Много лесно може да го тестваш - направи един клас Body, на който в (примерно) copy constructor-а му сложи един cout. След това направи Person клас, който има Body поле и нищо друго не добавяй в този Person. След това направи един Person p; и след това Person copyPerson(p); - ще видиш, че се вика cout-а, който си добавила в copy constructor-а на Body.
Това ти илюстрира и причината да не се копират директно битовете - copy конструкцията на един обект е много вероятно да е по-сложна от просто копиране на битове (в нашия пример copy constructor-а печата на конзолата, което поведение ще се изгуби ако просто се копират битове - може ти да искаш при всяко copy на Body примерно да пазиш информация за дебъгване някъде, която ще я изгубиш ако Person обекта не вика copy constructor-а на Body като се копира).
Още по-сериозен е примерът ако имаш class Student в който имаш vector<int> examScores. Какво ще стане ако при копирането на един Student просто му се копираха битовете? Ами щяхме да имаме 2 Student обекта, които имат вектори, които сочат към една и съща памет, защото щяха да се копират вътрешните указатели, които vector класа ползва, вместо да се задели нова памет в която да се копират данните на examScores и копието да сочи към тях.
Иначе в C++ има функции, наследени от C, които правят тези неща - копиране на памет просто като битове (memcpy), изтриване на памет без викане на деструктори (free) и заделяне на памет без викане на конструктори (malloc) - всичките тези обаче не е препоръчително да ги ползваш, особено ако заделяш памет за обекти, на които конструкторите, деструкторите и copy операциите им са сложни (или ако някой то членовете на тези обекти имат нещо от изброените).
Поздрави,
Жоро