home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / cplus / 12590 < prev    next >
Encoding:
Text File  |  1992-08-19  |  2.7 KB  |  110 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. Distribution: world
  5. Subject: Re: Reference counting for vectors, (Tony Hansen's book).
  6. References: <TMB.92Aug16160535@arolla.idiap.ch>
  7. X-Mailer: cppnews $Revision: 1.14 $
  8. Organization: Trumphurst Ltd.
  9. Lines: 96
  10. Date: Wed, 19 Aug 1992 15:54:11 +0000
  11. Message-ID: <714264851snx@trmphrst.demon.co.uk>
  12. Sender: usenet@gate.demon.co.uk
  13.  
  14.  
  15. In article <TMB.92Aug16160535@arolla.idiap.ch> tmb@idiap.ch writes:
  16.  
  17. > Counted.h
  18. > 
  19. > #ifndef __COUNTED__
  20. > #define __COUNTED__
  21. > 
  22. > template <class T>
  23. > struct Counted {
  24. >  private:
  25. >     int *count;
  26. >     T *object;
  27. >     void drop() {
  28. >         if(!count) return;
  29. >         (*count)--;
  30. >         if(*count<=0) {
  31. >             delete count;
  32. >             delete object;
  33. >             count=0;
  34. >             object=0;
  35. >         }
  36. >     }
  37. >     void acquire() {
  38. >         (*count)++;
  39. >     }
  40. >  public:
  41. >     Counted() {
  42. >         count=0;
  43. >         object=0;
  44. >     }
  45. >     Counted(T *object):object(object) {
  46. >         count = new int(1);
  47. >     }
  48. >     ~Counted() {
  49. >         drop();
  50. >     }
  51. >     Counted(Counted &other) {
  52. >         count=other.count;
  53. >         object=other.object;
  54. >         acquire();
  55. >     }
  56. >     Counted &operator=(Counted &other) {
  57. >         drop();
  58. >         count=other.count;
  59. >         object=other.object;
  60. >         acquire();
  61. >         return *this;
  62. >     }
  63. I think this copy operator contains the classic copy operator bug - try 
  64. assigning a Counted object to itself - the object will be deleted before 
  65. copying. Try ...
  66.  
  67.     Counted &operator=(Counted &other) {
  68.         other.acquire();
  69.         drop();
  70.         count=other.count;
  71.         object=other.object;
  72.         return *this;
  73.     }
  74. Mind you, there is still a bug here - try 
  75.  
  76.     Counted<Thing> a, b;
  77.  
  78.     a = b;        // core dump ?
  79.  
  80. The fix is for acquire to check count is not NULL before doing (*count)++;
  81.  
  82. > 
  83. >     T &operator*() {return *object;}
  84. >     T *operator->() {return object;}
  85. >     operator T() {return *object;}
  86. >     
  87. > 
  88. >     // do _not_ provide "operator T*()"
  89. > };
  90. > 
  91. > #endif
  92. > 
  93.  
  94. The original author clearly stated that the program was not tested, but I 
  95. thought I ought to point out these problems so that others didn't copy the
  96. mistakes.
  97.  
  98. Mind you, I haven't even compiled the code, let alone tested it, so I am 
  99. even more likely to be wrong ! 
  100.  
  101. [ Hobby horse of the week ... ]
  102. However, if I am right, think about how useful code review is in picking 
  103. up such obscure bugs, and how cheap compared to hours of testing !
  104. ---
  105. Nikki Locke              |                        | nikki@trmphrst.demon.co.uk
  106. Trumphurst Ltd.          | Tel: +44 (0)691-670318 | nikki@cix.compulink.co.uk
  107. PC and Unix consultancy  | Fax: +44 (0)691-670316 | nikki@kewill.co.uk
  108. trmphrst.demon.co.uk is NOT affiliated with ANY other sites at demon.co.uk.
  109. Demon.co.uk is a dial-up subscription access point to the Internet.
  110.