home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / cplus / 12589 < prev    next >
Encoding:
Text File  |  1992-08-19  |  2.5 KB  |  59 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: Covariant Types in Derived Classes
  6. References: <1992Aug13.162956.10279@mole-end.matawan.nj.us>
  7. X-Mailer: cppnews $Revision: 1.14 $
  8. Organization: Trumphurst Ltd.
  9. Lines: 45
  10. Date: Tue, 18 Aug 1992 20:00:17 +0000
  11. Message-ID: <714193217snx@trmphrst.demon.co.uk>
  12. Sender: usenet@gate.demon.co.uk
  13.  
  14.  
  15. In article <1992Aug13.162956.10279@mole-end.matawan.nj.us> mat@mole-end.matawan.nj.us writes:
  16.  
  17. > In article <713504630snx@trmphrst.demon.co.uk>, nikki@trmphrst.demon.co.uk (Nikki Locke) writes:
  18. > > By the way, what is 
  19. > >     int x;
  20. > >     long z;
  21. > >     
  22. > >     x = (int)z;
  23. > > 
  24. > > Is this a cast, or a conversion ? (I want a warning anyway, please).
  25. > 
  26. > It is a conversion that is indicated syntactically by a cast.  
  27. > 
  28. > Why do you want a warning?  You asked for it explicitly and it lies
  29. > within the type system.  There's an important principle here: for
  30. > every construct that can produce a warning, there must be a way to
  31. > write an equivalent construct that does _not_ produce the warning.
  32. > This is part and parcel of the C/C++ philosophy that ``if you _really_
  33. > want to do that, we'll take you at your word.''
  34. > 
  35. > The code fragment written _without_ the cast might very well merit a
  36. > warning about value truncation.
  37. You are quite right. In this case, it is legal to write
  38. x = z;        // Give me a warning please
  39. x = (int)z;    // I really mean it, don't warn me
  40.  
  41. However, there are many cases where the cast syntax is _necessary_ (e.g. 
  42. to distinguish between multiple user-defined conversions). To have the 
  43. compiler accept all such casts without warning (because cast means "I
  44. really mean it") is unfortunate - I might have typed the wrong thing.
  45.  
  46. I think what I am asking for is some kind of language syntax which
  47. distinguishes between casts which I expect to be safe [conversions] (so I
  48. hope the compiler will warn me if they aren't), and those which I know
  49. aren't safe [coercions] (but I want to do it anyway, because of some
  50. additional knowledge I possess which the compiler can't see). 
  51.  
  52. What does the team think ?
  53. ---
  54. Nikki Locke              |                        | nikki@trmphrst.demon.co.uk
  55. Trumphurst Ltd.          | Tel: +44 (0)691-670318 | nikki@cix.compulink.co.uk
  56. PC and Unix consultancy  | Fax: +44 (0)691-670316 | nikki@kewill.co.uk
  57. trmphrst.demon.co.uk is NOT affiliated with ANY other sites at demon.co.uk.
  58. Demon.co.uk is a dial-up subscription access point to the Internet.
  59.