C1801

所有if … else if构造都必须以一个else语句终止

Category: Required

Decidability: Decidable

Scope: Single Translation Unit

一个 if 语句后接由一个或多个 else if 构造构成的序列时，结尾必须为一个 else 语句。这个 else 语句必须至少含有一个 副作用 或一个注释。