在使用switch语句时，存在几个限制，包括case值的唯一性、必须是常量表达式、不支持数据类型的自动转换、默认的穿透性。其中，case值的唯一性是至关重要的因为每个case必须包含一个在switch语句中唯一的常量值，否则编译器会报错。
一、CASE 值的唯一性与常量限制
switch语句要求它的case标签必须是唯一的，且必须是可在编译时进行求值的常量表达式。换句话说，case后的值不能是变量，这防止了在运行时才确定的值与case值冲突。
二、SWITCH 表达式的数据类型
switch语句的表达式可以是整型、字符型以及枚举类型。它不支持其他数据类型，例如字符串（在某些语言中如Java 7及以上版本提供了对字符串的支持）或者是浮点型，这是因为这些类型可能会引起比较上的困难和性能问题。
三、CASE 穿透与BREAK 关键字
如果在case语句块结束时没有包含break关键字，那么程序会继续执行紧随其后的下一个case块（即所谓的“穿透”现象），直到遇到break或是switch语句块的结束。这个默认的穿透性可能会引起逻辑上的错误，因此在大多数情况下，推荐在每个case块的末尾都使用break来防止穿透。
四、DEFAULT 子句的可选性与位置
default子句在switch语句中是可选的，它的位置也不是固定的。它可以位于switch语句的任何位置，尽管大多数情况下都是将其放在最后。default子句作为一种特殊的case，用来处理所有未被之前的任何case捕获的值。如果没有匹配的case，就执行default子句中的代码。
五、严格的语法结构
switch语句有其严格的语法结构。它开始于switch关键字，后跟一个括号内的表达式，然后是一个花括号包围的case列表。在编写时必须严格遵守这种结构，否则会导致编译错误。
下面展开讲述这些限制在编程实践中的具体影响。
一、CASE 值的唯一性与常量限制
唯一性体现在编译层面
在编译过程中，编译器会检查每个case标签以确保它们是唯一的。如果存在相同的case值，编译器会报错，因此保证了在运行时switch语句的决策路径不会产生歧义。
常量表达式的要求
仅能使用编译时可以确定值的表达式作为case后的值。例如，在C语言中，可以使用宏定义或者enum的枚举值，不能直接使用变量或运行时才能确定的表达式。
二、SWITCH 表达式的数据类型
整数和字符的支持
整型和字符型数据由于其确定性和易于比较的特点，自然成为switch语句表达式的首选数据类型。例如，C语言及许多其他静态类型语言里，基本的整型如int、char都是被支持的。
不支持的数据类型范例
对于不支持的浮点数比较问题，出于准确性和性能考虑不被支持。而字符串在C语言中无法作为switch表达式，这是因为C语言中字符串的比较基于指针而非实际的字符序列内容。
三、CASE 穿透与BREAK 关键字
CASE 穿透的后果
穿透可能导致程序流程不受控制地继续下移，执行多个case子句，这在许多时候是不预期的，因此常常需要在每个case子句的末尾加上break。
BREAK的使用
必须在适当的位置使用break关键字，以确保只执行一个case代码块，并在执行完毕后跳出switch语句。
四、DEFAULT 子句的可选性与位置
DEFAULT 的作用
即使没有任何case与switch的表达式匹配，程序的执行流程也能得到合理的处理。这可以覆盖某些漏洞或者是处理意外情况。
DEFAULT 的位置选择
default的位置灵活性使得程序员可以根据具体的逻辑需要安排它的顺序，虽然将其放在末尾是一种通行的做法。
五、严格的语法结构
结构清晰的表现
程序代码的清晰结构对于维护性和可读性都是非常重要的。switch语句的明确结构有助于其他开发者快速理解和检查逻辑。
语法错误的影响
如果不遵守这些语法结构可能导致编译无法通过，程序当然无法运行，这说明了编程时对细节和规范的重视。
总结来说，为了写出正确且可维护的代码，理解并遵守switch语句的限制至关重要。
相关问答FAQs：
1. Switch语句的代码限制有哪些？
Switch语句在使用时需要遵守一些限制，包括但不限于以下几点：
- 只能使用整型、字符型、枚举型等可判断的数据类型作为判断条件。 Switch语句的条件表达式必须产生一个可判断的结果，即只能是整型、字符型、枚举型等具有确定值的类型。
- 每个case后跟的常量值必须是唯一且不重复的。 在Switch语句中，每个case标签后面必须使用唯一且不重复的常量值，否则会发生编译错误。
- Switch语句必须包含一个default分支。 Switch语句需要有一个default分支，用于处理没有匹配到任何case标签的情况。如果没有默认分支，编译器会报错。
- 每个case后至少要有一条语句。 每个case标签下至少要有一条语句，即使它什么都不做，可以使用break关键字来结束当前case的执行。
2. Switch语句里的代码有哪些限制需要注意？
在使用Switch语句时，需要考虑以下限制：
- 不能在switch的条件表达式中使用浮点数类型。 Switch语句只能接受整型、字符型、枚举型等可判断的数据类型作为判断条件，所以不能使用浮点数类型。
- case标签后的常量值必须是编译时可确定的。 Switch语句的case标签后的常量值必须是编译时可以确定的，不能是运行时才能确定的结果。
- 在同一个switch语句中，case标签的值必须是唯一的。 如果在同一个switch语句中有重复的case标签值，编译器会报错。
- switch语句中的每个case块结束后需要加上break语句。 每个case块结束后需要使用break语句来跳出switch语句，否则会继续执行下一个case块。
3. 在Switch语句中，可否使用字符串作为判断条件？
Switch语句的条件表达式只能接受整型、字符型、枚举型等可判断的数据类型作为判断条件，所以不能直接使用字符串作为判断条件。但是可以通过将字符串转换为整型或字符型来实现类似的功能。可以使用方法（例如使用hashCode()函数）将字符串转换为整型，并将该整型值作为Switch语句的条件表达式来使用。但需要注意的是，这种方式可能会带来性能上的损耗，并且需要确保字符串能够被转换为唯一的整型值，以确保Switch语句能正常工作。
