Αντικειμενοστραφής Προγραμματισμός

User Tools

Site Tools

Trace:
cpp:copy_constructors

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
cpp:copy_constructors [2017/04/20 12:50] – [Ορισμός ενός κατασκευαστή αντιγραφέα] gthanoscpp:copy_constructors [2017/05/10 07:07] – gthanos
Line 81: Line 81:
 </WRAP> </WRAP>
  
-Μία άλλη περίπτωση κατά την οποία θα κληθεί o κατασκευαστής αντιγραφέας είναι η παρακάτω. Εδώ μαζί με την δήλωση της μεταβλητής γίνεται ανάθεση των πεδίων του αντικειμένου //r1// στο //r2//. +Μία άλλη περίπτωση κατά την οποία θα κληθεί o κατασκευαστής αντιγραφέας είναι η παρακάτω. Εδώ μαζί με την δήλωση της μεταβλητής καλείται ο κατασκευαστής αντιγραφέας του //r1// με όρισμα το //r2//. 
  
 <code cpp CopyRectangle.cpp> <code cpp CopyRectangle.cpp>
Line 103: Line 103:
 } }
 </code> </code>
-Για τον μεταγλωττιστή όμως οι κώδικες είναι διαφορετικοί. Στην πρώτης περίπτωση καλείται ο κατασκευαστής αντιγραφέας, ενώ στη 2η περίπτωση καλείται ο //default// κατασκευαστής και στη συνέχεια γίνεται ανάθεση των πεδίων του //r1// στα πεδία του //r2//.+Για τον μεταγλωττιστή όμως οι κώδικες είναι διαφορετικοί. Στην πρώτη περίπτωση καλείται ο κατασκευαστής αντιγραφέας (//copy constructor//), ενώ στη 2η περίπτωση καλείται ο //default// κατασκευαστής και στη συνέχεια γίνεται ανάθεση των τιμών των πεδίων του //r1// στα πεδία του //r2//.
 </WRAP> </WRAP>
  
-==== Δημιουργία κατασκευαστών αντιγραφέων ====+===== Δημιουργία κατασκευαστών αντιγραφέων =====
  
 Στις περιπτώσεις που υπάρχουν πεδία δείκτες που δείχνουν σε άλλα αντικείμενα (στατικά ή δυναμικά δεσμευμένα) αντιγράφονται οι διευθύνσεις αυτές, όπως θα αντιγράφονταν οποιοδήποτε άλλο πεδίο. Αυτό πρακτικά σημαίνει ότι δύο ή περισσότερα αντικείμενα δείχνουν σε μία κοινή περιοχή μνήμης. Το παραπάνω μπορεί να προκαλέσει δυσλειτουργίες καθώς η μεταβολή του κοινού αντικειμένου επηρεάζει το σύνολο των αντικειμένων που το μοιράζονται. Στις περιπτώσεις που υπάρχουν πεδία δείκτες που δείχνουν σε άλλα αντικείμενα (στατικά ή δυναμικά δεσμευμένα) αντιγράφονται οι διευθύνσεις αυτές, όπως θα αντιγράφονταν οποιοδήποτε άλλο πεδίο. Αυτό πρακτικά σημαίνει ότι δύο ή περισσότερα αντικείμενα δείχνουν σε μία κοινή περιοχή μνήμης. Το παραπάνω μπορεί να προκαλέσει δυσλειτουργίες καθώς η μεταβολή του κοινού αντικειμένου επηρεάζει το σύνολο των αντικειμένων που το μοιράζονται.
Line 145: Line 145:
     Point *origin;     Point *origin;
   public:   public:
-    Rectangle(int w, int h, Point *p); +    Rectangle(int w, int h, Point p); 
-    Rectangle(int s, Point *p);+    Rectangle(int s, Point p);
     Rectangle();     Rectangle();
 +    ~Rectangle();
     void setWidth(int w);     void setWidth(int w);
     void setHeight(int h);     void setHeight(int h);
     int getWidth();     int getWidth();
     int getHeight();     int getHeight();
 +    void setOrigin(Point *p);
 +    Point *getOrigin();
 }; };
  
-Rectangle::Rectangle(int w, int h, Point *p) {+Rectangle::Rectangle(int w, int h, Point p) {
   width = w; height = h;   width = w; height = h;
-  origin = p;+  origin = new (nothrow) Point( p.getX(), p.getY() ); 
 +  if(origin == NULL) { 
 +    cerr << "Memory allocation failure!\n"; 
 +    exit(-1); 
 +  }
 } }
  
-Rectangle::Rectangle(int s, Point *p) {+Rectangle::Rectangle(int s, Point p) {
   width = s; height = s;   width = s; height = s;
-  origin = p;+  origin = new (nothrow) Point( p.getX(), p.getY() ); 
 +  if(origin == NULL) { 
 +    cerr << "Memory allocation failure!\n"; 
 +    exit(-1); 
 +  }
 } }
  
Line 172: Line 183:
     exit(-1);     exit(-1);
   }   }
 +}
 +
 +Rectangle::~Rectangle() {
 +  delete origin;
 } }
  
Line 183: Line 198:
  
 <code cpp MoveOrigin.cpp> <code cpp MoveOrigin.cpp>
- 
 #include "Rectangle.cpp" #include "Rectangle.cpp"
  
Line 193: Line 207:
  
 int main() { int main() {
-  Point *p = new Point(10,5); +  Point p{10,5}; 
-  Rectangle r1(5,6,p);  +  Rectangle r1{5,6,p};  
   Rectangle r2 = r1;   Rectangle r2 = r1;
      
Line 201: Line 215:
 </code> </code>
  
-Ο παραπάνω κώδικας αντιγράφει στο αντικείμενο //r2// τα πεδία του αντικειμένου //r1// πεδίο προς πεδίο. Αυτό σημαίνει ότι τα αντικείμενα //r1// και //r2// μοιράζονται το ίδιο αντικείμενο τύπου //Point//. Εάν μεταβληθούν οι συντεταγμένες του //Point// από το αντικείμενο //r1//, η μεταβολή θα ισχύει και για το αντικείμενο //r2//. Εάν θέλετε να αποφύγετε αυτή τη συμπεριφορά θα πρέπει να ορίσετε τον δικό σας κατασκευαστή αντιγραφέα που κάνει τα εξής:+Ο παραπάνω κώδικας αντιγράφει στο αντικείμενο //r2// τα πεδία του αντικειμένου //r1// πεδίο προς πεδίο. Αυτό σημαίνει ότι τα αντικείμενα //r1// και //r2// μοιράζονται το ίδιο αντικείμενο τύπου //Point//. Ισχύουν επομένως τα εξής: 
 +  * Εάν μεταβληθούν οι συντεταγμένες του //Point// από το αντικείμενο //r1//, η μεταβολή θα ισχύει και για το αντικείμενο //r2//.  
 +  * Κατά την έξοδο από τη συνάρτηση main, το αντικείμενο //r1// θα καταστραφεί ελευθερώνοντας τη δεσμευμένη μνήμη για το πεδίο του //origin//. Η προσπάθεια καταστρροφής του αντικειμένου //r2// θα οδηγήσει σε σφάλμα διότι θα προσπαθήσει να ελευθερώσει μία περιοχή μνήμης που έχει ήδη ελευθερωθεί κατά την καταστροφή του //r1//. Το σφάλμα που εκτυπώνεται όταν το πρόγραμμα μεταγλωττιστεί με //g++// είναι το εξής: 
 + 
 +<code> 
 +*** Error in `./a.out': double free or corruption (fasttop): 0x00000000006d6010 *** 
 +Ακυρώθηκε (core dumped) 
 +</code> 
 + 
 +Για να αποφύγετε την παραπάνω συμπεριφορά θα πρέπει να ορίσετε τον δικό σας κατασκευαστή αντιγραφέα που κάνει τα εξής:
   - Δημιουργεί ένα νέο αντικείμενο τύπου //Point//.   - Δημιουργεί ένα νέο αντικείμενο τύπου //Point//.
   - Αντιγράφει τα περιεχόμενα του παλιού στο νέο.   - Αντιγράφει τα περιεχόμενα του παλιού στο νέο.
 +
 Ο προτεινόμενος κατασκευαστής αντιγραφέας δίνεται παρακάτω: Ο προτεινόμενος κατασκευαστής αντιγραφέας δίνεται παρακάτω:
 <code cpp> <code cpp>
cpp/copy_constructors.txt · Last modified: 2022/05/12 19:41 by gthanos