36、AUTOSAR C++14编码规则详解

AUTOSAR C++14编码规则详解

1. 部分重要规则概述

AUTOSAR C++14标准包含了众多编码规则，这些规则对于确保代码的质量、安全性和可维护性至关重要。以下是一些关键规则的介绍。

1.1 成员函数规则

• M9 - 3 - 3规则 ：如果一个成员函数可以被声明为静态的，那么它应该被声明为静态的；否则，如果它可以被声明为常量成员函数，那么它应该被声明为常量成员函数。这有助于提高代码的可读性和性能，避免不必要的对象实例化和数据修改。
• M9 - 6 - 4规则 ：具有有符号整数类型的命名位域的长度应该大于一位。这是为了避免位域使用中的一些潜在问题，确保数据的正确表示和处理。

1.2 不支持的规则

Polyspace不支持一些必需的规则，这些规则通常涉及到运行时故障处理、算术运算使用文档化等方面。例如：
| 规则编号 | 规则描述 |
| ---- | ---- |
| M0 - 3 - 1 | 应通过使用以下至少一种方法来确保运行时故障的最小化：(a) 静态分析工具/技术；(b) 动态分析工具/技术；(c) 显式编码检查以处理运行时故障。 |
| M0 - 4 - 1 | 应记录缩放整数或定点算术的使用。 |
| M0 - 4 - 2 | 应记录浮点算术的使用。 |

1.3 其他规则

还有许多其他规则，如注释规则（A2 - 7 - 5：注释不应记录文件外部的任何操作或来源）、二进制运算符规则（M5 - 17