home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / std / cplus / 1133 < prev    next >
Encoding:
Text File  |  1992-09-08  |  2.8 KB  |  95 lines
  1. Path: sparky!uunet!wupost!micro-heart-of-gold.mit.edu!bloom-beacon!eru.mt.luth.se!lunic!sunic!seunet!diab!dalle
  2. From: dalle@diab.se (Jan-Erik Dahlin)
  3. Newsgroups: comp.std.c++
  4. Subject: Incomplete types and nested classes
  5. Message-ID: <DALLE.92Sep7140132@mu.diab.se>
  6. Date: 7 Sep 92 19:01:32 GMT
  7. Sender: news@diab.se
  8. Distribution: comp
  9. Organization: Diab Data AB
  10. Lines: 83
  11.  
  12. steve@taumet.com (Steve Clamage) recently wrote about forward declaration
  13. of nested classes:
  14.  
  15. > You do it the same way you handle any other forward declaration.
  16. > You have to be careful about scopes.
  17. > 
  18. >     class A {
  19. >       public:
  20. >         class C;    // forward declaration of A::C
  21. >         class B {
  22. >         C *p;    // pointer to A::C
  23. >         };
  24. >         class C {
  25. >         B *p;    // pointer to A::B
  26. >         };
  27. >     };
  28. > 
  29.  
  30. How about incomplete types and nested classes? What happens if we skip
  31. the first declaration of class C? I ran into the problem when compiling
  32. some old C code.
  33.  
  34. Section 9.1, paragraph 2 of the draft says: "A class declaration
  35. introduces the class name into the scope where it is declared and hides
  36. any class, object, function or other declaration of that name in an
  37. enclosing scope."
  38.  
  39. Paragraph 3: "An elaborated-type-specifier can also be used in the
  40. declarations of objects and functions. It differs from a class
  41. declaration in that if a class of the elaborated name is in scope the
  42. elaborated name will refer to it." 
  43.  
  44. What happens if no class with that name is found in scope???
  45.  
  46. Paragraph 4 has the following example: "A name declaration takes effect
  47. immediately after the identifier is seen. For example,
  48.  
  49.     class A * A;
  50.  
  51. first specifies A to be the name of a class and the redefines it as
  52. the name of a pointer to an object of that class."
  53.  
  54. I guess this means that class A is introduced into the current scope if
  55. not defined earlier.
  56.  
  57. Example:
  58.  
  59.      class A {
  60.        public:
  61.          class B *bp; // pointer to A::B or B?
  62.         f(void);
  63.      };
  64.  
  65.      class B {
  66.       public:
  67.          int memb;
  68.      };
  69.  
  70.     A::f()
  71.     {
  72.         bp->memb = 4711;    // Is this legal?
  73.     }
  74.  
  75. When the elaborated class specifier for B is seen, should the name be
  76. introduced in the scope of class A (as in a nested class declaration)
  77. or the scope enclosing A?
  78.  
  79. I think that the declaration 'class B *bp;' should introduce (a nested)
  80. class B in the scope of A. The declaration of class B will introduce a
  81. new type in the file/global scope. When 'bp' is used in A::f() it is a
  82. pointer to the local class B in A's scope, which still is incomplete.
  83. Since both Cfront and gcc accept the above declarations without complaint
  84. I assume I've misinterpreted the standard. Could someone, please,
  85. straighten things out for me?
  86.  
  87. > 
  88. > Steve Clamage, TauMetric Corp, steve@taumet.com
  89. > Vice Chair, ANSI C++ Committee, X3J16
  90.  
  91.                             /Jan-Erik Dahlin
  92. --
  93. "Sometimes the magic works and sometimes it doesn't."
  94.  Chief Dan George of the Sioux Indian tribe, after an unsuccessful rain dance.
  95.