home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / lang / cplus / 15817 < prev    next >
Encoding:
Internet Message Format  |  1992-11-05  |  3.3 KB
  1. Path: sparky!uunet!pipex!warwick!uknet!mcsun!Germany.EU.net!ira.uka.de!uka!news.ira.uka.de!rose
  2. From: rose@t524i5.telematik.informatik.uni-karlsruhe.de (Ortwin Rose)
  3. Newsgroups: comp.lang.c++
  4. Subject: Re: Problem with DEC C++ ?
  5. Message-ID: <ROSE.92Nov5121723@t524i5.telematik.informatik.uni-karlsruhe.de>
  6. Date: 5 Nov 92 12:17:23 GMT
  7. References: <99917da2@p3.f6.n249.z2.fidonet.org>
  8. Organization: /usr/users/rose/.organization
  9. Lines: 87
  10. NNTP-Posting-Host: t524i5.telematik.informatik.uni-karlsruhe.de
  11. In-reply-to: Gilles_Kohl@spam.fido.de's message of Mon,  2 Nov 92 17:57:00 +0100
  12.  
  13.  
  14. Hi,
  15.  
  16. let me start with a short answer:
  17. The error-message given below is wrong, but it doesn't occur with the
  18. newest release of DEC C++ (rel. 1.2). Now to the details:
  19.  
  20. > During a port of (a subset of) the NIHCL to DEC C++ (from Glocken-
  21. > spiel) we encountered the following problem. In the source given below,
  22. > DEC C++ issues an error while other compilers (we tried AT&T cfront 2.1,
  23. > Glockenspiel, BC++ 3.1) do not complain.
  24. > 
  25. > // --- Cut here ---
  26. > 
  27. > #include <iostream.h>
  28. > 
  29. > class Base {
  30. > public:
  31. >    virtual int f()       { return 1; }
  32. >    virtual int f() const { return 2; }
  33. > };
  34. > 
  35. > class Derived : public Base {
  36. > public:
  37. >    void test();
  38. > };
  39. > 
  40. > void Derived::test()
  41. > {
  42. >    cout << f() << endl;
  43. > }
  44. > 
  45. > main ()
  46. > {
  47. >    Derived k;
  48. > 
  49. >    k.test();
  50. > }
  51. > 
  52. > // --- cut again ---
  53. > 
  54. > cpptest.C:16: error: In this statement, the argument list "" matches more than 
  55. > one "Base::f".
  56.  
  57. Well, a tricky situation. However, according to the ARM, p. 320:
  58.  
  59.   "..."constness" acts as a tie-breaker where needed but does not affect
  60.    argument matching otherwise. This is especially important for ... const
  61.    member functions".
  62.  
  63. Since Derived::test() is called as "k.test()", this means (ARM, p. 317):
  64.  
  65.   "Where a member of a class X is explicitly called for a pointer using the
  66.    '->' operator, this extra argument is assumed to have a type 'const X*' for
  67.    'const' members ... and X* for others. Where the member function is explicitly 
  68.    called for an object using the '.' operator ... this extra argument is
  69.    assumed to have type 'const X&' for const members ... and X& for others."
  70.  
  71. Now, since test() is NOT declared to be a 'const' member function, it will
  72. see the 'X&' type for its extra argument, and should thus call the non-const
  73. function f() of its base-class. Making Derived::test() a const member
  74. function will cause it to call the other instance of f().
  75.  
  76. With regard to your question about using DEC C++:
  77. I am working with DEC C++ for more than 1 year, and I think it is one of
  78. the best C++ compilers available. It is very restrictive, giving you hints
  79. about almost any violations of the ARM. 
  80. By the way, the same code compiles and runs correctly with my release of cxx,
  81. which identifies itself (using the -V switch) as
  82.  
  83.    DEC C++ for ULTRIX on RISC V1.2
  84.  
  85. Thus, if you WRITE code that passed cxx, you can almost be sure that it will 
  86. compile with any other compiler (I am also working with AT&T CC, GNU C++, 
  87. Borland C++ and Zortech C++). However, if you have to PORT something, using 
  88. cxx can be quite time-consuming since you often have to correct many mistakes
  89. the original writers made.
  90.  
  91.  
  92. Regards
  93.  
  94. -- O. Rose
  95.    University of Karlsruhe
  96.    Institute of Telematics
  97.    Germany
  98.  
  99.    rose@telematik.informatik.uni-karlsruhe.de
  100.