c++ 知识拓展：死循环、复合语句作用域、多文件的作用域问题

知识拓展

死循环

由于循环在条件满足时会一直执行，因此我们在循环体中需要一直改变某些变量，使得循环最终是可以结束的。如果循环的条件永久满足，那么程序将会一直执行循环中的代码，导致计算资源的浪费，这种循环也叫做死循环。

死循环

#include<iostream>
using namespace std;
//死循环
int main()
{
	for (int i = 0 ; i >= 0 ; i++)
	{
	cout << "输出数字：" << i << endl;
	}
	return 0;
}
	

这个例子就是一个死循环，在执行程序后，由于i>=0的条件永远满足，循环将会打印一直递增的数字，知道计算机的资源耗尽。

再循环中会经常需要递减计数器，这是有一个问题需要注意：
递减for语句的陷阱

#include<iostream>
using namespace std;
//递减for语句的陷阱
int main()
{
	for unsigned i = 10 ; i >= 0 ; i--)
	{
	cout << " 输出数字:" << i <<endl;
	}
	return 0;
}

在写递增for循环的时候，经常会用unsigned int来做计数器，这是因为计数器一般从0 开始，用unsigned int显得语义明确；而如果我们在递减for循环中也这样用，程序就会陷入无限循环，这是因为 i在递减到 0 之后，再继续递减1就会向下溢出变成unsigned类型的上限。

复合语句的作用域

在复合语句的头部，我们除了能使用外部的变量外，也可以直接声明新的变量，这样的局部变量的作用域将会是整个复合语句。对于一些只可能在复合语句内部使用的变量，我们就可以用这样的方法避免它的作用域扩散到外部，这有利于结构化编程。

复合语句的作用域

#include<iostream>
using namespace std;
//复合语句的作用域
int main()
{
//复合语句
if ( int a = 0 )
	cout << "a的值为：" << a <<endl;
else
 	cout << "a的值为：" << a << endl;
 	//a在复合语句外不可见
 	//cout <<"a的值为：" << a << endl;
 	return 0 ;
}
 	

示例展示了在条件语句头部定义变量的情况。a在条件语句中可见，而语句结束后自动销毁。如果我们删除最后打印语句的注释符，那么编译器会因为找不到a的定义而报错。
像这样

#include<iostream>
using namespace std;
//复合语句的作用域
int main()
{
//复合语句
if ( int a = 0 )
	cout << "a的值为：" << a <<endl;
else
 	cout << "a的值为：" << a << endl;
 	//a在复合语句外不可见
 	cout <<"a的值为：" << a << endl;
 	return 0 ;
}
 	

报错为：

注意 在if语句中定义变量的时候，我们也隐含地将变量的初值作为if语句的条件了。而更常见的在复合语句头部声明变量的例子，则是在之前的示例中已经出现的for循环头部第一部分的声明，如“for（int i= 0； i>=0; i++）”中的“int i= 0；”，这里不存在任何隐含语义的问题，就算是空语句，循环也能照常执行。

多文件的作用域问题

全局变量可以在变量已经定义的同一源代码文件中的任何地方被访问。那么当我们有多个文件的时候，这个变量是否也能被另一个文件中的代码访问呢？
多文件作用域

1.cpp
#include<iostream>
using namespace std;
//多文件的作用域
//extern int staticNum;
extern int globalNum;
int main()
{
	//cout << " a的值为：" << staticNum << endl;
	cout << "globalNum的值为：" << globalNum << endl;
	return 0 ;
}

2.cpp
//多文件的作用域
static int staticNum = 2 ；
int globalNum = 3 ;

示例展示了多文件中作用域的问题。普通的全局变量要想在另一个文件中被访问，需要额外的显示声明，并且在声明前要加上extern关键字来向编译器表明这个变量已经在另一个文件中定义。这与普通的声明不一样，普通的声明只是为了解决变量名在定义之前无法被识别的问题（常出现于类的定义中），而extern声明则是让编译器从别的文件中找寻变量定义。当然，也可以用#include直接包含整个文件，使得文件中的所有全局变量都能被访问。
除了一般的全局变之外，也可以定义静态（static）的全局变量。函数和类的静态变量，他们的语义与这里的静态全局变量是不同的。静态全局变量意味着变量的作用域仅限于本文件，不能在其他文件中被访问。所以，在这里如果我们把关于staticNum的注释去掉，编译器将会报错，因为staticNum就算用了extern声明也是不能在别的文件中被访问的。此外，const常量也隐含static的语义，因此可以在多文件中重复定义。

如果对您有帮助请点赞支持一下~*