用于控制整型算术运算和转换的溢出检查上下文在已检查的上下文中,如果表达式产生目标类型范围之外的值,则结果取决于表达式是常数还是非常数。常数表达式导致编译时错误,而非常数表达式在运行时计算并引发异常。如果既未使用 checked 也未使用 unchecked,则在编译时常数表达式使用默认溢出检查(即 checked)。否则,如果表达式为非常数,则运行时溢出检查取决于其他因素(如编译器选项和环境配置)。