home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / cplus / 19773 < prev    next >
Encoding:
Text File  |  1993-01-23  |  2.8 KB  |  99 lines
  1. Newsgroups: comp.lang.c++
  2. From: nikki@trmphrst.demon.co.uk (Nikki Locke)
  3. Path: sparky!uunet!pipex!demon!trmphrst.demon.co.uk!nikki
  4. Subject: Re: operator = with inheritance
  5. Reply-To: nikki@trmphrst.demon.co.uk
  6. References: <1993Jan20.221834.26489@murdoch.acc.Virginia.EDU> <1993Jan14.184649.17113@ucc.su.OZ.AU>
  7. Distribution: world
  8. X-Mailer: cppnews $Revision: 1.31 $
  9. Organization: Trumphurst Ltd.
  10. Lines: 84
  11. Date: Fri, 22 Jan 1993 15:13:40 +0000
  12. Message-ID: <727740820snx@trmphrst.demon.co.uk>
  13. Sender: usenet@demon.co.uk
  14.  
  15. In article <1993Jan20.221834.26489@murdoch.acc.Virginia.EDU> gs4t@virginia.edu (Gnanasekaran Swaminathan) writes:
  16. > nikki@trmphrst.demon.co.uk (Nikki Locke) writes:
  17. > : But this unfortunately fails the test from the previous posting ...
  18. > 
  19. > It works fine. Note the assign op is also virtual.
  20. > 
  21. > Since assign op is virtual, B::op = (a2) is called for
  22. > reference a1. B::op = (a2), in turn, calls B::copy2 (this).
  23. > 
  24. > g++ compiler gets this wrong. Probably try a different compiler
  25. > if you are using g++.
  26. I am afraid I think it is YOU who has got it wrong !
  27.  
  28. I tested the program at the end of this post under Zortech c++ 3.0r4,
  29. Borland C++ 3.0, and Microsoft C7, and they all gave the following output ...
  30.  
  31. B::=(A&)
  32. B::copy2(A*)
  33. A::copy2(A*)
  34. b1.b = 11 b2.b = 22 b1.a = 2 b2.a = 2
  35.  
  36. If you follow this through,
  37. a1=a2; calls the virtual operator B::operator=(const A&)
  38. B::operator=(const A&) calls virtual function B::copy2(A*), NOT B::copy2(B*),
  39.   because polymorphism doesn't act on function arguments.
  40.  
  41. Did you actually test this on some compiler ? If so, which one ?
  42. _I_ think it has a bug !
  43. -- 
  44. Nikki Locke,Trumphurst Ltd.(PC and Unix consultancy) nikki@trmphrst.demon.co.uk
  45. trmphrst.demon.co.uk is NOT affiliated with ANY other sites at demon.co.uk.
  46. ----------------------- cut here -------------------------
  47. #include <iostream.h>
  48.  
  49. class A {
  50. public:
  51.   int a;
  52.   virtual void copy2 (A* c) const { c->a = a; cout << "A::copy2(A*)\n"; }
  53.   A (int c): a(c) {}
  54.   virtual A& operator = (const A& c) {
  55.       if (this != &c) { // testing for assignment to the same object
  56.         cout << "A::=(A&)\n"; 
  57.     c.copy2 (this);
  58.       }
  59.       return *this;
  60.   }
  61. };
  62.  
  63. class B: public A {
  64. public:
  65.   int b;
  66.   virtual void copy2 (A* c) const { cout << "B::copy2(A*)\n"; A::copy2 (c); }
  67.   virtual void copy2 (B* c) const { cout << "B::copy2(B*)\n"; A::copy2 (c); c->b = b; }
  68.   B (int c): A(c), b(2*c) {}
  69.   A& operator = (const A& c) {
  70.      if (this != &c) {
  71.        cout << "B::=(A&)\n";
  72.        c.copy2 (this);
  73.      }
  74.      return *this;
  75.   }
  76. };
  77.  
  78. main()
  79. {
  80.     B b1(1);
  81.     B b2(2);
  82.  
  83.     b1.a=1;
  84.     b1.b=11;
  85.     b2.a=2;
  86.     b2.b=22;
  87.     
  88.     A &a1=b1;
  89.     A &a2=b2;
  90.  
  91.     a1=a2; // OH! only assigns the 'A' subobject of B.
  92.              // A::op= (a), A::copy2 (A* &a)
  93.     cout << "b1.b = " << b1.b << " b2.b = " << b2.b << " b1.a = " << b1.a <<
  94.         " b2.a = " << b2.a << "\n";
  95.     return 0;
  96. }
  97.  
  98.  
  99.