home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / std / cplus / 1543 < prev    next >
Encoding:
Internet Message Format  |  1992-11-11  |  2.3 KB
  1. Xref: sparky comp.std.c++:1543 comp.lang.c++:16117
  2. Newsgroups: comp.std.c++,comp.lang.c++
  3. Path: sparky!uunet!sun-barr!cs.utexas.edu!convex!news.utdallas.edu!corpgate!bnrgate!bnr.co.uk!pipex!warwick!bham!bhamvx!mccauleyba
  4. From: mccauleyba@vax1.bham.ac.uk (Brian McCauley)
  5. Subject: Re: Operator -> cannot return non-class types?
  6. Sender: usenet@rs6000.bham.ac.uk (USENET News Service)
  7. Message-ID: <1992Nov11.184341.1@vax1.bham.ac.uk>
  8. Date: Wed, 11 Nov 1992 18:43:41 GMT
  9. Lines: 52
  10. References: <1992Nov11.092316.306@aut.abb.se>
  11. Organization: University of Birmingham
  12.  
  13. In article <1992Nov11.092316.306@aut.abb.se>, dlarsson@aut.abb.se (Daniel Larsson) writes:
  14. > To my surprise, I noticed that operator -> can only return the following
  15. > three types:
  16. >    - a pointer to a class,
  17. >    - a class, or
  18. >    - a reference to a class.
  19. > 
  20. > This means I cannot do simple things like:
  21. > 
  22. >   template< class T >
  23. >   class OffsetPtr 
  24. >     {
  25. >     public:
  26. >       OffsetPtr();
  27. >       OffsetPtr( T* );
  28. >       ...
  29. >       T* operator ->();
  30. >       ...
  31. >     };
  32. > 
  33. >   OffsetPtr<char> ptrToString;
  34. > 
  35. > What is the rationale behind this restriction? I couldn't find anything in
  36. > C++PL 2nd ed. that mentions this restriction, although I didn't look too hard.
  37.  
  38. a->b
  39.   ...where a is of a class type is interpreted as...
  40. (a.operator->())->b
  41.   ...which in turn may expand to...
  42. ((a.operator->()).operator->())->b
  43.   ...and so on.
  44.  
  45. but in all cases the thing on the rhs of the -> is a class member. Since
  46. types other that structs and classes do not have members it would be
  47. useless for operator->() to return anything other than a pointer to a class or
  48. a class for which operator->() is also defined.
  49.  
  50. Now what you could do is define operator T* (). Unfortuneately if you write
  51. `a->b' where a is of a class without an operator->() the compiler does not
  52. try compiling it as `(*a).b' so you'll have to write this out in full each
  53. time. Likewise you can't write `a[5]' but you can write `*(a+5)'.
  54.  
  55. This has annoyed me in the past and I feel that the language definition
  56. should employ user defined type conversions to resolve the lh operand of
  57. the -> ->* and [] operators.
  58. -- 
  59.     \\   ( )  NO BULLSHIT! from BAM (Brian McCauley)
  60.  .  _\\__[oo 
  61. .__/  \\ /\@  E-mail: B.A.McCauley@bham.ac.uk
  62. .  l___\\        Fax: +44 21 625 2175
  63.  # ll  l\\     Snail: 197 Harborne Lane, Birmingham, B29 6SS, UK
  64. ###LL  LL\\     ICBM: 52.5N 1.9W
  65.