Structure and Union Declarations

shihyu

A very special rule applies to declarations of the form

    struct-or-union identifier;

that declare a structure or union, but have no declaration list and no declarators. Even if the identifier is a structure or union tag already declared in an outer scope (Par.A.11.1), this declaration makes the identifier the tag of a new, incompletely-typed structure or union in the current scope.


This recondite is new with ANSI. It is intended to deal with mutually-recursive structures declared in an inner scope, but whose tags might already be declared in the outer scope.


请问有朋友可以跟我说上面所说的是什么意思? 看很久都不太明白它的意思 , 可否用代码举例一下他的意思


谢谢

whyglinux

比如下面的程序：

1. struct s1 { int m; /* ... */ }; /* G1 */
   
2. struct s2 { int n; /* ... */ }; /* G2 */
   
3. 
   
4. int main( void )
   
5. {
   
6.   struct s2; /* P */
   
7.   struct s1 { struct s2 *s2p; /* ... */ }; /* D1 */
   
8.   struct s2 { struct s1 *s1p; /* ... */ }; /* D2 */
   
9. 
   
10.   /* ... */
    
11. 
    
12.   return 0;
    
13. }
    

复制代码

如果只有 P 一句不存在，则 D1 中的 s2 指的是 G2 中的 s2。如果把 P 和 G2 都去掉，则 D1 中的 s2 指的是 D2 中的声明的 s2。可见，如果没有 P 的话，则 D1 中的 s2 是上下文敏感的——对它的解释取决于外层作用域中是否声明有 s2 标签。

如果有 P 一句，则不论在其外层范围中是否声明了 s2，D1 中的 s2 指的都是同一作用域中声明的 D2 中的 s2，从而消除了上下文敏感。这就是 struct-or-union identifier; 这样的前向声明的作用。

zx_wing

原帖由 whyglinux 于 2007-6-11 17:22 发表
比如下面的程序：
[code]struct s1 { int m; /* ... */ }; /* G1 */
struct s2 { int n; /* ... */ }; /* G2 */

int main( void )
{
  struct s2; /* P */
  struct s1 { struct s2 *s2p; /* ... */ }; / ...

好，不愧为语言律师