[c] goto语句的疑惑

inet_addr

1. #include <stdio.h>
   
2. 
   
3. int main()
   
4. {
   
5.   int i;
   
6.   for(i = 0; i < 100; i++)
   
7.   {
   
8.     int k;
   
9.     for(k = 0; k < 100; k++)
   
10.     {
    
11.       if(k%3 == 0)
    
12.       {
    
13.         goto next_file;
    
14.       }
    
15.     }
    
16. next_file:
    
17.   }
    
18.   return(0);
    
19. }

复制代码

$ cc t.c
t.c: In function 'main':
t.c:16: error: label at end of compound statement

-------------------------

$ g++ t.cpp
t.cpp: In function 'int main()':
t.cpp:22: error: expected primary-expression before '}' token
t.cpp:22: error: expected `;' before '}' token

下面的可以正常运行

1. #include <stdio.h>
   
2. 
   
3. int main()
   
4. {
   
5.   int i;
   
6.   for(i = 0; i < 100; i++)
   
7.   {
   
8.     int k;
   
9.     for(k = 0; k < 100; k++)
   
10.     {
    
11.       if(k%3 == 0)
    
12.       {
    
13.         goto next_file;
    
14.       }
    
15.     }
    
16. next_file: ;
    
17.   }
    
18.   return(0);
    
19. }

复制代码

next_file是一个标号, 其后为什么非要一个空语句????

gcc: 4.1.2
OS: centos

MMMIX

inet_addr 发表于 2012-07-05 16:18
next_file是一个标号, 其后为什么非要一个空语句????

C 语法就是这么要求/规定的。

inet_addr

MMMIX 发表于 2012-07-05 16:21
C 语法就是这么要求/规定的。

c标准中有吗, 这里这么多人讨论c标准的, 能不能给个原文.

PM~~~~~~

bruceteen

A label name is the only kind of identifier that has function scope. It can be used (in a
goto statement) anywhere in the function in which it appears, and is declared implicitly
by its syntactic appearance (followed by a : and a statement).

inet_addr

bruceteen 发表于 2012-07-05 16:28
A label name is the only kind of identifier that has function scope. It can be used (in a
got ...

ISO_IEC_9899 6.2.1节, 这是说作用域时顺便提到

cc的提示是label at end of compound statement

"{}"是个复合语句, 复合语句也算语句呀(抠字眼的话)

如果那个空语句应该怎么写这段程序呢?

inet_addr

另外, 经常发现g++有类似" expected primary-expression before '}' token"的提示.
   这个primary-expression是什么意思啊,  难道还有secondary-expression这个说法?

MMMIX

inet_addr 发表于 2012-07-05 16:39
"{}"是个复合语句, 复合语句也算语句呀(抠字眼的话)

複合語句是算語句，可你的 label 也沒在這個複合語句之前呀。

tansijie

标签 lable: 就行了，不需要添加；