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

至少在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语句，但是提供默认大小写会使它更具可读性。

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

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

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

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

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

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

如果switch语句中没有缺省情况，则在缺省情况下行为可能是不可预测的 在某个时间点出现，这在发展阶段是无法预测的。这是一个很好的练习 要包含默认大小写。

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 */

这样的做法可能会导致错误，如NULL解引用，内存泄漏以及其他类型的 严重的错误。

例如，我们假设每个条件初始化一个指针。但如果默认情况是 应该是上升的，如果我们不初始化这个例子，那么就完全有可能上升 一个空指针异常。因此，建议使用默认case语句，即使它 可能是微不足道的。

一些(过时的)指南是这么说的，比如MISRA C:

最后一个默认子句的要求是防御性编程。该条款应采取适当的行动，或包含关于为什么不采取行动的适当评论。

这个建议已经过时了，因为它不是基于目前的相关标准。明显的疏漏是哈兰·卡斯勒说的

省略默认大小写允许编译器在看到未处理的大小写时选择性地发出警告或失败。静态可验证性毕竟比任何动态检查都要好，因此当您也需要动态检查时，这种牺牲是不值得的。

正如Harlan还演示的那样，在切换之后可以重新创建与默认情况相同的功能。当每个情况都是早期返回时，这是微不足道的。

从广义上讲，动态检查的典型需求是输入处理。如果一个值来自程序控制之外，它就不可信。

这也是Misra采取极端防御性编程立场的地方，即只要一个无效值在物理上是可表示的，就必须检查它，无论程序是否可证明是正确的。如果软件需要在出现硬件错误时尽可能地可靠，这是有意义的。但正如Ophir Yoktan所说，大多数软件最好不要“处理”错误。后一种做法有时被称为进攻性编程。

在我看来，答案是“默认”是可选的，说一个开关必须总是包含一个默认就像说每个“if-elseif”必须包含一个“其他”。 如果有一个逻辑在默认情况下完成，那么'default'语句应该在那里，但否则代码可以继续执行而不做任何事情。