home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / cplus / 12262 next >
Encoding:
Text File  |  1992-08-12  |  2.2 KB  |  75 lines
  1. Newsgroups: comp.lang.c++
  2. Path: sparky!uunet!decwrl!world!wmm
  3. From: wmm@world.std.com (William M Miller)
  4. Subject: Re: error in Stroustrup text      (?)
  5. Message-ID: <BsvF46.1EH@world.std.com>
  6. Organization: Software Emancipation Technology, Inc.
  7. References: <46960007@hpscit.sc.hp.com>
  8. Date: Wed, 12 Aug 1992 12:38:29 GMT
  9. Lines: 64
  10.  
  11. In article <46960007@hpscit.sc.hp.com>, Greg Weeks writes:
  12. > Someone please correct me if I'm mistaken, but the following text from pg
  13. > 216 of Stroustrup's 2nd edition C++ text seems to be wrong:
  14. > 
  15. >     If you want to supply an allocator/dealocator pair that works correctly
  16. >     for derived classes, you must either supply a virtual destructor in the
  17. >     base class or refrain from using the size_t argument in the
  18. >     deallocator.
  19. > 
  20. > _Whenever_ a derived class object may be deleted through a pointer to base
  21. > object, a virtual destructor is required.  It does not suffice to refrain
  22. > from using the size_t argument in the deallocator.  The reason is that
  23. > `delete' needs to know both the size _and_ the location of the thing to be
  24. > deleted; and the location of the derived object may differ from the
  25. > location of the base object.  (That is, it may be that (void*)pd is
  26. > different from (void*)pb.)
  27. > 
  28. > Right?
  29.  
  30. True, but that's irrelevant to the point of the text you cited.  In
  31. the code below, for instance, the derived-class object is deleted by
  32. means of a derived-class pointer, but you can still get the wrong size
  33. in operator delete():
  34.  
  35.     #include <stddef.h>
  36.     #include <iostream.h>
  37.  
  38.     class base {
  39.     public:
  40.        void* operator new(size_t sz) {
  41.           cout << "allocating " << sz << " bytes.\n";
  42.           return new char[sz];
  43.        }
  44.  
  45.        void operator delete(void* p, size_t sz) {
  46.           cout << "freeing " << sz << " bytes.\n";
  47.           delete [] (char*) p;
  48.        }
  49.  
  50.     private:
  51.        int i;
  52.     };
  53.  
  54.     class derived: public base {
  55.        int j;
  56.     };
  57.  
  58.     int main() {
  59.        derived* d = new derived;
  60.        delete d;
  61.        return 0;
  62.     }
  63.  
  64. The result of running this code (under cfront 2.1 on a Sun, at least)
  65. is:
  66.  
  67.         allocating 8 bytes.
  68.     freeing 4 bytes.
  69.  
  70. Adding a virtual destructor allows the correct size of the object to
  71. be passed to operator delete().
  72.  
  73. -- William M. Miller, wmm@world.std.com
  74.  
  75.