[C++知识库]switch 内部变量的定义问题

????????在 C++primer 中学习，也是来自此书的内容摘抄与总结：?

????????switch 的执行流程可能会跨过某些 case 标签，跳转到特定位置的 case 标签，那么，这个 case 标签到 switch 之间的 case 标签就被忽略掉了，在这被忽略的代码中有变量的定义怎么办？

? ? ? ? 如果在某处一个带有初值的变量位于作用域之外，在另一处该变量位于作用域之内，则从前一处跳到后一处的行为是违法行为。

#include<iostream>
#include<string>
using namespace std;
int main()
{
	int m = 0;
	cin >> m;
	switch (m)
	{
		case true:
		//因为程序的执行流程可能绕开下面的初始化语句，所以该 switch 语句是不合法的
			
            string file_name;     //错误:绕开了隐式初始化
			int ival = 0;         //错误:绕开了显示初始化
	
			int jval;            //正确:因为 jval 没有初始化
			break;
		case false:
			//正确:jval 虽然在作用域内，但它没有初始化，只是声明（）
			jval = 5;      //正确:给 jval 赋一个值
		default:	
			break;
	}
	return 0;
}

?

? ? ? ? ?如果上面的代码合法，则一旦控制流直接跳到 false 分支，也就同时略过了变量 file_name 和 ival 的初始化过程，此时这个变量位于作用域之内，跟在 false 之后的代码试图在尚未初始化的情况下使用它们，这显然是行不通的。

因此C++ 规定，不允许跨过变量的初始化语句直接跳转到该变量的作用域内的另一个位置。

如果需要为某个 case 分支定义并初始化一个变量，我们应该把变量定义在块内，从而确保后面的所有 case 标签都在变量的作用域之外。

#include<iostream>
#include<string>
using namespace std;
int main()
{
	int m = 0;
	cin >> m;
	switch (m)
	{
		case true:
		 //这两个变量给case true 分支使用
		{
			string file_name;     //正确了
			int ival = 0;         //正确了
		}
			int jval;            //正确:因为 jval 没有初始化
			break;
		case false:
			//正确:jval 虽然在作用域内，但它没有初始化，只是声明（）
			jval = 5;      //正确:给 jval 赋一个值
		default:	
			break;
	}
	return 0;
}

? ? ? ? 只声明变量，并没有立即初始化? ?(跳过声明时不会报错，只有跳过有初始化时(也就是变量定义时) 才会报错。)，例如上面的：? int? jval；

#include<iostream>
#include<string>
using namespace std;
int main()
{
	int m = 0;
	cin >> m;
	switch (m)
	{
		case 1:
		 //这两个变量给case true 分支使用
		{
			string file_name;     //正确了
			int ival = 0;         //正确了
		}
			int jval;            //正确:因为 jval 没有初始化
			break;
		case 2:
			jval = 5;      //下面的每个 case 分支都能使用 jval
            cout<<jval<<endl;       //5
        
        case 3:
            jval=6;     //如果这里不赋值，下面输出的就是未初始化的错误结果，上面的 jval =5，跟这里没关系，就是两个作用域，case 2 分支的值不会影响 case 3 分支这里的 jval 的值。
		    cout<<jval<<endl;        //6   ，不赋值，输出的就是错误的值
        //...
        default:	
			break;
	}
	return 0;
}

?????????若有错误，希望大佬们指正...