考虑下面的switch语句:
switch( value )
{
case 1:
return 1;
default:
value++;
// fall-through
case 2:
return value * 2;
}
此代码编译，但它是有效的(=定义的行为)C90/C99?我从未见过默认情况不是最后一个情况的代码。
编辑: 正如Jon Cage和KillianDS所写的:这真的是丑陋而令人困惑的代码，我很清楚这一点。我只对通用语法(有定义吗?)和预期的输出感兴趣。
当前回答
switch语句中没有定义的顺序。你可以把这些情况看作一个命名标签，一个goto标签。与人们在这里的想法相反，在值2的情况下，默认标签不会跳转到。为了用一个经典的例子来说明，这里是Duff的设备，它是C语言中switch/case的极端代表。
send(to, from, count)
register short *to, *from;
register count;
{
register n=(count+7)/8;
switch(count%8){
case 0: do{ *to = *from++;
case 7: *to = *from++;
case 6: *to = *from++;
case 5: *to = *from++;
case 4: *to = *from++;
case 3: *to = *from++;
case 2: *to = *from++;
case 1: *to = *from++;
}while(--n>0);
}
}
其他回答
有些情况下，当您正在将ENUM转换为字符串或将字符串转换为ENUM时，您正在写入/读取文件或从文件中读取文件。
有时需要将其中一个值设为默认值，以弥补手动编辑文件时所犯的错误。
switch(textureMode)
{
case ModeTiled:
default:
// write to a file "tiled"
break;
case ModeStretched:
// write to a file "stretched"
break;
}
另一个例子:如果“default”是一个意外的情况，并且您希望记录错误，但也要做一些合理的事情，那么这可能很有用。示例来自我自己的一些代码:
switch (style)
{
default:
MSPUB_DEBUG_MSG(("Couldn't match dash style, using solid line.\n"));
case SOLID:
return Dash(0, RECT_DOT);
case DASH_SYS:
{
Dash ret(shapeLineWidth, dotStyle);
ret.m_dots.push_back(Dot(1, 3 * shapeLineWidth));
return ret;
}
// more cases follow
}
switch语句中没有定义的顺序。你可以把这些情况看作一个命名标签，一个goto标签。与人们在这里的想法相反，在值2的情况下，默认标签不会跳转到。为了用一个经典的例子来说明，这里是Duff的设备，它是C语言中switch/case的极端代表。
send(to, from, count)
register short *to, *from;
register count;
{
register n=(count+7)/8;
switch(count%8){
case 0: do{ *to = *from++;
case 7: *to = *from++;
case 6: *to = *from++;
case 5: *to = *from++;
case 4: *to = *from++;
case 3: *to = *from++;
case 2: *to = *from++;
case 1: *to = *from++;
}while(--n>0);
}
}
在一种情况下，我认为将默认情况设置在switch语句的末尾以外的地方是合适的，即在状态机中，无效状态应该重置机器并继续执行，就像它是初始状态一样。例如:
switch(widget_state)
{
default: /* Fell off the rails--reset and continue */
widget_state = WIDGET_START;
/* Fall through */
case WIDGET_START:
...
break;
case WIDGET_WHATEVER:
...
break;
}
另一种安排，如果无效状态不应该重置机器，但应该容易识别为无效状态:
switch(widget_state)
{
case WIDGET_IDLE:
widget_ready = 0;
widget_hardware_off();
break;
case WIDGET_START:
...
break;
case WIDGET_WHATEVER:
...
break;
default:
widget_state = WIDGET_INVALID_STATE;
/* Fall through */
case WIDGET_INVALID_STATE:
widget_ready = 0;
widget_hardware_off();
... do whatever else is necessary to establish a "safe" condition
}
其他地方的代码可以检查widget_state == WIDGET_INVALID_STATE，并提供任何合适的错误报告或状态重置行为。例如，状态条形码可以显示一个错误图标，在大多数非空闲状态下禁用的“启动小部件”菜单选项可以为WIDGET_INVALID_STATE和WIDGET_IDLE启用。
case语句和default语句可以在switch语句中以任意顺序出现。default子句是一个可选子句，如果case语句中的常量都不能匹配，则匹配它。
很好的例子:
switch(5) {
case 1:
echo "1";
break;
case 2:
default:
echo "2, default";
break;
case 3;
echo "3";
break;
}
输出2，默认值。
如果你想让你的案例在代码中以逻辑顺序呈现(比如，不是说案例1，案例3，案例2/default)，你的案例非常长，所以你不想在默认的底部重复整个案例代码，这非常有用。
