Skip to main content

C1907

所有switch语句必须格式良好(well-formed)

Category: Required

Decidability: Decidable

Scope: Single Translation Unit

说明

如果一个 switch 语句符合如下C语言 switch 语句的子集,就被视为格式良好。如果下面给出的语法规则与C标准中已有的规则同名,那么以下语法规则将取代C语言标准里的 switch 语句语法;如不然,则遵循C语言标准中的语法。

登录查看完整文章