组 8：常量

Polyspace® 中的自定义规则 8.x 对常量强制执行命名约定。有关如何启用这些规则的信息，请参阅检查自定义规则 (-custom-rules)。这些规则不适用于在类中定义的常量或作为函数参数的常量。

编号规则详细信息
8.1所有全局非静态常量名称都必须遵循指定的模式。全局非静态常量是指具有外部链接的常量。
8.2所有全局静态常量名称都必须遵循指定的模式。全局静态常量是指具有内部链接的常量。
8.3所有局部非静态常量名称都必须遵循指定的模式。局部非静态常量是指没有链接的常量。
8.4所有局部静态常量名称都必须遵循指定的模式。局部静态常量是指在函数中声明为静态的常量。
8.5所有浮点常量值都必须遵循指定的模式。

假设您指定 .*F 为模式。那么此规则会检查代码中每个 float 常量的值是否以 F 结尾：

float f1 = 10.0F;//Compliant

float f2 = 10.0f; //Noncompliant
此规则不检查浮点常量的名称。