switch语句应该总是包含一个默认子句吗?

“switch”语句总是应该包含一个默认子句吗?不。通常应该包含一个默认值。

包含默认子句只有在它需要做某些事情时才有意义，比如断言错误条件或提供默认行为。包括一个“仅仅因为”是狂热的节目，没有任何价值。这相当于说所有的“if”语句都应该包含一个“else”。

下面是一个毫无意义的小例子:

void PrintSign(int i)
{
switch (Math.Sign(i))
{
case 1:
Console.Write("positive ");
break;
case -1:
Console.Write("negative ");
break;
default: // useless
}
Console.Write("integer");
}

这相当于:

void PrintSign(int i)
{
int sgn = Math.Sign(i);
if (sgn == 1)
Console.Write("positive ");
else if (sgn == -1)
Console.Write("negative ");
else // also useless
{
}
Console.Write("integer");
}

这取决于switch在特定语言中的工作方式，但是在大多数语言中，当没有匹配到case时，switch语句的执行就会毫无警告地结束。想象一下，你期望得到一组值，并在switch中处理它们，然而你在输入中得到了另一个值。什么都没发生，你也不知道什么都没发生。如果您发现了违约情况，您就会知道有问题。

我总是会使用默认子句，无论您使用哪种语言。

事情会出错，也确实会出错。价值观不会是你所期望的，等等。

不想包含默认子句意味着您确信自己知道可能的值集。如果你相信你知道这个可能值的集合，那么如果这个值在这个可能值的集合之外，你会想要知道它-这当然是一个错误。

这就是为什么你应该总是使用默认子句并抛出错误的原因，例如在Java中:

switch (myVar) {
case 1: ......; break;
case 2: ......; break;
default: throw new RuntimeException("unreachable");
}

除了“unreachable”字符串之外，没有理由包含更多信息;如果它真的发生了，无论如何您都需要查看源代码和变量的值等，异常堆栈跟踪将包括该行号，因此不需要浪费时间在异常消息中写入更多文本。

我会说这取决于语言，但在C中，如果你要打开一个枚举类型并处理每个可能的值，最好不要包含默认大小写。这样，如果您稍后添加了一个额外的enum标记，并且忘记将其添加到交换机中，称职的编译器将会就缺少的大小写向您发出警告。

开关案例几乎应该总是有一个default案例。

使用default的原因

1.“捕捉”一个意外值

switch(type)
{
case 1:
//something
case 2:
//something else
default:
// unknown type! based on the language,
// there should probably be some error-handling
// here, maybe an exception
}

2. 处理“默认”操作，其中的case是针对特殊行为的。

您在菜单驱动程序和bash shell脚本中经常看到这种情况。当变量声明在switch-case之外但没有初始化时，您也可能会看到这种情况，并且每个case初始化它为不同的东西。这里的默认值也需要初始化它，以便访问变量的代码不会引发错误。

3.向阅读您的代码的人展示您已经覆盖了这种情况。

variable = (variable == "value") ? 1 : 2;
switch(variable)
{
case 1:
// something
case 2:
// something else
default:
// will NOT execute because of the line preceding the switch.
}

这是一个过于简化的例子，但关键是阅读代码的人不应该怀疑为什么variable不能是1或2以外的东西。

我能想到的唯一不使用default的情况是当开关正在检查一些非常明显的东西时，其他选项都可以愉快地忽略

switch(keystroke)
{
case 'w':
// move up
case 'a':
// move left
case 's':
// move down
case 'd':
// move right
// no default really required here
}

当不需要真的时使用默认子句是防御性编程 这通常导致代码过于复杂，因为有太多的错误处理代码。 这种错误处理和检测代码损害了代码的可读性，使维护更加困难，并最终导致比解决更多的错误

因此，我认为如果不应该达到默认值—您不必添加它。

注意，“不应该达到”意味着如果达到了，这是软件中的一个错误——你确实需要测试可能包含不需要的值的值，因为用户输入等等。

在我的公司，我们为航空电子设备和国防市场编写软件，我们总是包含一个默认语句，因为switch语句中的所有情况都必须显式处理(即使它只是一个说“什么都不做”的注释)。我们不能让软件只是行为不端，或者仅仅是在意外值(甚至是我们认为不可能的值)上崩溃。

可以讨论的是，默认情况并不总是必要的，但通过总是需要它，我们的代码分析人员很容易检查它。

您应该有一个默认值来捕捉传入的非预期值。

然而，我不同意Adrian Smith关于默认的错误消息应该是完全没有意义的。可能会有一个你没有预见到的未处理的情况(这是一点)，你的用户最终会看到，像“无法到达”这样的消息是完全没有意义的，在这种情况下对任何人都没有帮助。

举个例子，你有多少次经历过毫无意义的蓝皮书?或者致命异常@ 0x352FBB3C32342?

不。

如果没有默认操作，那么上下文就很重要了。如果你只关心几个价值怎么办?

以读取游戏按键为例

switch(a)
{
case 'w':
// Move Up
break;
case 's':
// Move Down
break;
case 'a':
// Move Left
break;
case 'd':
// Move Right
break;
}

添加:

default: // Do nothing

只是浪费时间，毫无理由地增加了代码的复杂性。

如果你知道switch语句只有一组严格定义的标签或值，那么就这样做，以覆盖基础，这样你总是会得到有效的结果。只需将默认值放在标签之上，从编程/逻辑上来说，它将是其他值的最佳处理程序。

switch(ResponseValue)
{
default:
case No:
return false;
case Yes;
return true;
}

至少在Java中它不是强制性的。根据JLS，它说最多可以出现一个违约情况。这意味着任何违约情况都是不可接受的。它有时也取决于你使用switch语句的上下文。例如，在Java中，下面的开关块不需要默认大小写

private static void switch1(String name) {
switch (name) {
case "Monday":
System.out.println("Monday");
break;
case "Tuesday":
System.out.println("Tuesday");
break;
}
}

但在下面的方法中，它期望返回一个String，默认大小写可以方便地避免编译错误

    private static String switch2(String name) {
switch (name) {
case "Monday":
System.out.println("Monday");
return name;


case "Tuesday":
System.out.println("Tuesday");
return name;


default:
return name;
}
}

虽然你可以在没有默认大小写的情况下避免上述方法的编译错误，只需要在最后添加一个return语句，但是提供默认大小写会使它更具可读性。

如果开关值(开关(变量)不能达到默认情况，则根本不需要默认情况。即使我们保留默认情况，它也不会被执行。这是死代码。

这是一个可选的编码“约定”。是否需要取决于用途。我个人认为，如果你不需要它，它就不应该在那里。为什么要包含一些用户不会使用或接触到的内容?

如果大小写可能性有限(即布尔值)，则默认子句为< em > < / em >冗余!

在某些情况下，没有默认情况实际上是有益的。

如果你的开关案例是枚举值，通过没有默认案例，如果你缺少任何案例，你可以得到编译器的警告。这样，如果将来添加了新的enum值，而您忘记在交换机中为这些值添加大小写，则可以在编译时发现问题。您仍然应该确保代码对未处理的值采取适当的操作，以防将无效值强制转换为enum类型。所以这可能在简单的情况下工作得最好，你可以在枚举中返回，而不是break。

enum SomeEnum
{
ENUM_1,
ENUM_2,
// More ENUM values may be added in future
};


int foo(SomeEnum value)
{
switch (value)
{
case ENUM_1:
return 1;
case ENUM_2:
return 2;
}
// handle invalid values here
return 0;
}

switch ( x ){
case 0 : { - - - -}
case 1 : { - - - -}
}


/* What happens if case 2 arises and there is a pointer
* initialization to be made in the cases . In such a case ,
* we can end up with a NULL dereference */