c++ switch的一些神奇用法

一、switch作用域

switch中，如果写成下面这样会报错

switch(i)
	case 1:
		int a = 0;
		break;
	case 2:
		break;

因为case中的变量属于整个switch块结构，编译器认为如果不执行case 1，a会未经初始化就使用，所以编译通不过，需要加一个作用域如下，将a的作用域局限在case 1中即可

switch(i)
	case 1:
		{
			int a = 0;
		}
		break;
	case 2:
		break;

二、switch与goto控制流程分割的技巧

switch中的每个case可以类似地理解为一个goto的标签，有了这个前提，可以用switch实现一些流程分割，如下

int main()
{
	int a = 0;
	for(int i = 1; i < 3; ++i)
	{ 
		cout << "Loop " << i << endl;
		switch(a)
			case -1: if (false)
			{
			cout << "case -1" << endl;
			goto terminate_coroutine;
			terminate_coroutine:
			cout << "terminate_coroutine" << endl;
			goto bail_out_of_coroutine;
			bail_out_of_coroutine:
			cout << "bail_out_of_coroutine" << endl;
			break;
			}
			else case 0:
			{
				cout << "Phase 1" << endl;
				for(a = 1;;)
					if (a == 0)
					{
						case 1: 
							cout << "case 1 in Phase 2" << endl;
							break;
					}
					else
						switch (a?0:1)
							for (;;)
							case -1: 
								if (a)
									goto terminate_coroutine;
								else 
									for (;;)
										case 1: 
											if (a)
												goto bail_out_of_coroutine;
											else 
												case 0: 
													cout << "case 0 in Phase 1" << endl;
				cout << "Phase 2" << endl;
			}
	}
	return 0;
}

这段程序运行输出如下

Loop 1
Phase 1
case 0 in Phase 1
bail_out_of_coroutine
Loop 2
case 1 in Phase 2
Phase 2

可以看到程序主要有两次for循环，在第一次for循环中，程序运行了Phase 1的打印语句，第二次循环中运行了Phase 2的打印语句同时跳过了Phase 1。通过单独调试，我们可以得到详细运行流程

1. 由于a初值为0，因此第一次switch会跳转到else case 0:这里，需要注意的是，switch其实不会看if-else、for之类的结构，只会找到第一个满足要求的case X，并跳转到所在行。
2. 跳转后顺序执行phase 1的打印操作，然后顺序执行直到switch (a?0:1)，此时a已经在前面赋值为1了，因此相当于switch(0)。这里同样会无视下面的for(;;)、if-else之类的语句，直接跳转到最下方满足条件的case 0，并执行后续的"case 0 in Phase 1"打印语句
3. 在执行完打印后，此时从结构上看，程序执行正处于打印语句所在的for(;;)循环中。因此会继续依次执行for(;;)、case 1、if(a)等语句，此时a==1，因此执行goto bail…语句，跳转到对应标签，然后break结束顶层的switch(a)操作，因为这个break对应的是顶层的switch(a)而非下方的switch (a?0:1)。
4. 第一次循环结束后，第二次循环执行switch(a)时，由于此时a==1，则直接跳转到下方的case 1的位置，并执行打印语句case 1 in Phase 2。此时从结构上看，程序正处于for(a = 1;;)循环中，因此后续这个break结束的是for循环，然后执行下方的cout << "Phase 2" << endl;语句。
5. 打印完后，退出最外层循环，所有程序执行完毕

可以看到，在这个流程中，我们两次for循环用switch和goto搭配，使程序执行了不同的代码，在一些无法保存局部变量且异步的情况下，例如某些协程切换时，可以用这种办法来实行两次重入执行不同内容的逻辑。