一、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
。通过单独调试,我们可以得到详细运行流程
- 由于a初值为0,因此第一次switch会跳转到
else case 0:
这里,需要注意的是,switch其实不会看if-else、for之类的结构,只会找到第一个满足要求的case X
,并跳转到所在行。 - 跳转后顺序执行
phase 1
的打印操作,然后顺序执行直到switch (a?0:1)
,此时a已经在前面赋值为1了,因此相当于switch(0)
。这里同样会无视下面的for(;;)
、if-else
之类的语句,直接跳转到最下方满足条件的case 0
,并执行后续的"case 0 in Phase 1"
打印语句 - 在执行完打印后,此时从结构上看,程序执行正处于打印语句所在的
for(;;)
循环中。因此会继续依次执行for(;;)
、case 1
、if(a)
等语句,此时a==1,因此执行goto bail…语句,跳转到对应标签,然后break结束顶层的switch(a)操作,因为这个break对应的是顶层的switch(a)
而非下方的switch (a?0:1)
。 - 第一次循环结束后,第二次循环执行
switch(a)
时,由于此时a==1,则直接跳转到下方的case 1
的位置,并执行打印语句case 1 in Phase 2
。此时从结构上看,程序正处于for(a = 1;;)
循环中,因此后续这个break结束的是for循环,然后执行下方的cout << "Phase 2" << endl;
语句。 - 打印完后,退出最外层循环,所有程序执行完毕
可以看到,在这个流程中,我们两次for循环用switch和goto搭配,使程序执行了不同的代码,在一些无法保存局部变量且异步的情况下,例如某些协程切换时,可以用这种办法来实行两次重入执行不同内容的逻辑。