明确允许编译器使用高效的二叉树或跳转表以评估case语句。

The compiler is explicitly allowed to use an efficient binary tree or a jump table to evaluate case statements.

因此，case语句是编译时间常数。

For this reason, case statements are compile time constants.