主要内容

组 9:变量

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

编号规则详细信息
9.1所有全局非静态变量都必须遵循指定的模式。全局非静态变量是指具有外部链接的变量。
9.2所有全局静态变量都必须遵循指定的模式。全局静态变量是指具有内部链接的变量。
9.3所有局部非静态变量都必须遵循指定的模式。局部非静态变量是指没有链接的变量。
9.4所有局部静态变量都必须遵循指定的模式。局部静态变量是指在函数中声明为静态的变量。