C++跳转语句之Goto对变量定义的影响详解
goto语句也称为无条件转移语句,以下是为大家分享的C++跳转语句之Goto对变量定义的影响详解,供大家参考借鉴,欢迎浏览!
前言
goto语句也称为无条件转移语句,其基本形式如下 :
语句标号由一个有效地标识符和符号";"组成,其中,标识符的命名规则与变量名称相同,即由字母、数字和下划线组成,且第一个字符必须是字母或下划线。执行goto语句后,程序就会跳转到语句标号处,并执行其后的语句。
通常goto语句与if条件语句连用,但是,goto语句在给程序带来灵活性的同时,也会使得使程序结构层次不清,而且不易读,所以要合理运用该语句。
发现问题
我们经常碰到有在goto后面定义变量,linux下编译不通过的问题(报错信息:crosses initialization of)。其实,只要注意一下就好了,今天问了一下公司前辈之后,也翻了些资料,记录一下,加深记忆,也希望能对一些人有些许帮助。
错误示例代码:
#include <iostream>
using namespace std;
int main()
{
goto Exit;
int a = 0;
Exit:
return 0;
}
报错:
[root@localhost c-c++]# g++ goto_
goto_: In function 'int main()':
goto_: error: jump to label 'Exit'
goto_: error: from here
goto_: error: crosses initialization of 'int a'
正确写法
也不能说是正确的写法,只能说是编译OK的写法。
直接上代码:
写法一:
改变域,变成局部变量:
int main()
{
goto Exit;
{
int a = 0;
}
Exit:
return 0;
}
写法二
神奇的写法:
int main()
{
goto Exit;
int a;
a = 1;
Exit:
cout << "a = " << a << endl;
return 0;
}
关键是还可以访问!结果:
[root@localhost c-c++]# g++ goto_
[root@localhost c-c++]# ./
a = 1259648
研究
神奇的写法
看到两个可以编译通过的写法之后,最纳闷的.是写法二为毛可以编译通过,而且还能使用???
C++规定
参考[1][2]中提到了C++标准中的规定: > It is possible to transfer into a block, but not in a way that bypasses declarations with initialization. A program that jumps from a point where a local variable with automatic storage duration is not in scope to a point where it is in scope is ill-formed unless the variable has POD type (3.9) and is declared without an initializer.
意思是说:如果一个程序的执行路径从代码中的点A(某个局部变量x还未定义)跳到代码中另一点B(该局部变量x已定义,并且定义的时候有初始化),那么编译器会报错。这样的跳跃可以是由于执行goto语句,或者是switch-case造成的。所以,在写法二中a是int类型,是一个POD类型,并且没有初始化,所以编译通过。但是,很明显:如果去使用这个变量a的时候,结果是未知的,就像前辈说的,没有意义,还不如不支持!那如果只在局部使用,完全可以用花括号括起来!网上也有人说到,C++规范虽然没有明确说明这样是错误的,但是变量的域的规定其实是隐性说这种做法是不可取的,见参考[4]。
隐性说明
Goto can't skip over definitions of variables, because those variables would not exist after the jump, since lifetime of variable starts at the point of definition. The specification does not seem to explicitly mention goto must not do that, but it is implied in what is said about variable lifetime.
-fpermissive标记
参考[4]中提到,g++编译器默认是检查的,自己可以设置编译器的这个标记变成警告,未实践!!!
查了下资料-fpermissive标记的作用是: 把代码的语法错误作为警告,并继续编译进程,所以就安全起见,这个角度就不要想了,还是老老实实码砖!
POD类型
参考[3],按照上面C++规定的说法,只要是POD类型,并且没有初始化都是可以编译通过的。
看一段代码:
#include <iostream>
using namespace std;
class A{
public:
// 注意:和B不同的是有构造和析构函数, 所以编译报错
A(){}
~A(){}
void testA(){
cout << "A::test." << endl;
}
};
class B{
public:
void testB(){
cout << "B::test." << endl;
}
};
int main()
{
goto Exit;
// int a = 1; // windows x failed!
//A classA; // failed:
B classB; // success:
B();
Exit:
B();
return 0;
}
结果:
[root@localhost c-c++]# g++ goto_
[root@localhost c-c++]# ./
a = 1259648
B::test.
小结:
1、以上代码在windows和linux下均编译通过和执行;
2、A classA一句在windows和linux均编译不通过!因为A有构造和析构函数,不满足条件;
3、至于int a = 1;这样的写法在windows(msvc)下面能够通过就与C++规范不符了,求解释!!!
以下是POD类型(还是看英文吧):
1、int, char, wchar_t, bool, float, double是POD类型,这些类型的long/short and signed/unsigned版本也是;
2、 指针(包括函数指针和成员指针)都是POD类型;
3、enums枚举类型;
4、POD的const和普通变量也都是;
5、POD类型的class,struct和union也是。但要求所有的成员是public,并且没有基类,没有构造、析构函数和虚函数。静态成员在这些规则下也是。
总结
1、最好不要用goto;
2、goto后面不要跳过定义和初始化的变量,如果是POD类型可以先申明再定义,是不会编译报错的。但是不建议这么使用,可以看到如果执行语句跳过了赋值语句,那么变量的值是未知的,存在危险性;
3、goto后面如果是局部的变量,可以用花括号括起来构成一个局部域,就安全了。
以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作能带来一定的帮助,如果有疑问大家可以留言交流。
参考
[1]Getting a bunch of crosses initialization error
[2]>switch case、goto对变量定义的影响
[3]>“POD type” in C++
[4]>Statement goto can not cross pointer definition?
[5]>error: jump to label ‘foo' crosses initialization of ‘bar'
-
为什么入门首选C语言?
C语言的设计目标是提供一种能以简易的方式编译、处理低级存储器、产生少量的机器码以及不需要任何运行环境支持便能运行的编程语言。对于大部分程序员,C语言是学习编程的第一门语言,很少有不了解C的程序员。那么为什么入门首选C语言呢,下面小编为大家介绍一下吧!C...
-
直接插入排序(C语言实现)
直接插入排序方法:仅有一个记录的表总是有序的,因此,对于有n个记录的表,可以从第二个记录开始直到第n个记录逐个有序的向有序表中进行插入操作,从而得到n个记录按关键字有序的表。下面一起跟着小编学习一下吧!实现一个直接插入排序的`C语言函数,要求对要排序的元素按...
-
Mac系统怎样使用终端编写c语言程序
C语言是目前较为普遍的程序语言,它功能丰富、表达能力强、使用灵活方便、目标程序效率高,适合编制一般应用软件。下面是应届毕业生小编收集整理的Mac系统怎样使用终端编写c语言程序,希望对大家有帮助~~Mac系统使用终端编写c语言程序的'方法工具/原料Mac系统,终...
-
c语言中多个if的用法
c语言中多个if的用法的用法你知道吗?下面小编就跟你们详细介绍下c语言中多个if的用法的用法,希望对你们有用。c语言中多个if的用法的用法如下:用if语句可以构成分支结构。它根据给定的条件进行判断,以决定执行某个分支程序段。C语言的if语句有三种基本形式。语句的...
相关文章
- The Reasons of Going to School 英语作文
- Spring Boot使用slf4j+logback记录日志配置详解
- 初中英语How do you get to school单元同步习题及答案
- 八年级新课标英语(上)Unit 4 How do you get to school
- 初中英语What time do you go to school的教案设计
- 《unit 5 How do you go to school》说课材料
- 高一英语写作范文:Is It the Only Way Out To Go To College
- stoptodo/stopdoing的初二英语上册语法复习详解总结
- Ways to go to school为题目的作文
- How do you get to school教案