在我的第一次代码评审中(不久前)，有人告诉我，在所有switch语句中包含一个default子句是一种很好的实践。我最近想起了这个建议，但不记得理由是什么了。现在我听起来很奇怪。
是否有一个合理的理由总是包含默认语句? 这是语言依赖吗?我不记得当时我在用什么语言了——也许这适用于一些语言而不是其他语言?
当前回答
在不真正需要的时候使用默认子句是防御性编程 这通常导致代码过于复杂，因为有太多的错误处理代码。 这种错误处理和检测代码损害了代码的可读性，使维护更加困难，并最终导致比解决更多的错误。
因此，我认为如果不应该达到默认值—您不必添加它。
注意，“不应该达到”意味着如果达到了，这是软件中的一个错误——你确实需要测试可能包含不需要的值的值，因为用户输入等等。
其他回答
在我看来，答案是“默认”是可选的，说一个开关必须总是包含一个默认就像说每个“if-elseif”必须包含一个“其他”。 如果有一个逻辑在默认情况下完成，那么'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.
}
这是一个过于简化的例子，但关键是阅读代码的人不应该怀疑为什么变量不能是1或2以外的东西。
我能想到的唯一不使用默认值的情况是，当开关正在检查一些非常明显的东西时，其他选项都可以愉快地忽略
switch(keystroke)
{
case 'w':
// move up
case 'a':
// move left
case 's':
// move down
case 'd':
// move right
// no default really required here
}
如果你知道switch语句只有一组严格定义的标签或值，那么就这样做，以覆盖基础，这样你总是会得到有效的结果。只需将默认值放在标签之上，从编程/逻辑上来说，它将是其他值的最佳处理程序。
switch(ResponseValue)
{
default:
case No:
return false;
case Yes;
return true;
}
我相信这是特定于语言的，对于c++来说是枚举类类型的一个次要问题。这似乎比传统的C enum更安全。但
如果你看一下std::byte的实现，它是这样的:
enum class byte : unsigned char {} ;
来源:https://en.cppreference.com/w/cpp/language/enum
再想想这个:
否则，如果T是一个枚举类型，它的作用域是或 具有固定底层类型的无作用域，如果带括号的init-list具有 只有一个初始化式，如果从初始化式转换为 基础类型是非窄化的，如果初始化为 -直接列表初始化，然后使用 将初始化式转换为其基础类型的结果。 (因为c++ 17)
来源:https://en.cppreference.com/w/cpp/language/list_initialization
这是一个枚举类的例子，表示的值不是定义的枚举值。由于这个原因，您不能完全信任枚举。根据应用的不同，这一点可能很重要。
然而，我真的很喜欢@Harlan Kassler在他的帖子里说的话，我自己也会在某些情况下开始使用这个策略。
这是一个不安全枚举类的例子:
enum class Numbers : unsigned
{
One = 1u,
Two = 2u
};
int main()
{
Numbers zero{ 0u };
return 0;
}
