９赜�const和volatile关键字的详细作用，读者可参考ISOC获取更多信息。
1．2 指针的运算
ISOC标准中，对指向数组成员的指针运算(包括算术运算、比较等)做了规范定义，除此以外的指针运算属于未定义(undefined)范围，具体实现有赖于具体编译器，其安全性无法得到保障，MISRA—C中对指针运算的合法范围做了如下限定。
规则17.1：只有指向数组的指针才允许进行算术运算①。
规则17 2：只有指向同一个数组的两个指针才允许相减 ②。
规则17 3：只有指向同一个数组的两个指针才允许用>，>=，<，<=等关系运算符进行比较。
为了尽最大可能减少直接进行指针运算带来的隐患，尤其是程序动态运行时可能发生的数组越界等问题，MISRA—C对指针运算作了更为严格的规定。规则17 4：只允许用数组索引做指针运算。按如下方式定义数组和指针：
uint8_t a[10]；
uint8_t *p；
则*(p+5)=O是不允许的．而p[5]=O则是允许的，尽管就这段程序而言，二者等价。
以下给出一段程序，读者可参照相应程序行的注释，细细品味上述规则的含义。
void my_fn(uInt*_t*p1．uint8_t p2[]){
①其实此处的算术运算仅限定于指针加减某个整数．比如ppoint=point一5．ppoint++等。0两个指针可指向不同的散组成员。
uint8_t index=0；
uint8_t *p3
uint8_t *p4；
*pl=O；
p1++； ／*不允许，pl不是指向数组的指针*／
p1=p1+5;／*
【
|
||||||||||||