组 3：类型定义

Polyspace® 中的自定义规则 3.x 强制使用 typedef 别名的命名约定。

有关如何启用这些规则的信息，请参阅检查自定义规则 (-custom-rules)。

编号规则详细信息
3.1所有整数类型别名都必须遵循指定的模式。

适用于由 typedef 语句指定的整数和布尔类型。例如：

  • typedef signed long int64_t;

  • typedef int64_t sLong_t;

不适用于枚举类型。

3.2所有浮点类型别名都必须遵循指定的模式。

适用于由 typedef 语句指定的双精度和浮点类型。例如：

  • typedef double float64_t;

  • typedef float64_t Lfloat;

3.3所有指针类型别名都必须遵循指定的模式。

适用于由 typedef 语句指定的指针类型。例如：

  • typedef int* p_int;

  • typedef p_int int_;

3.4所有数组类型别名都必须遵循指定的模式。

适用于由 typedef 语句指定的数组类型。例如：

  • typedef int a_int_3[3];

  • typedef int3_arr in3af[3];

3.5所有函数指针类型别名都必须遵循指定的模式。

适用于由 typedef 语句指定的函数指针类型。例如：

  • typedef void (*func_fp) (int);

  • typedef func_fp funcc;