C1308

对指针操作数进行算术运算得来的指针只得用于寻址与该指针操作数同一数组的元素

Category: Required

Decidability: Undecidable

Scope: System

说明

创建一个指针，该指针指向数组末尾之后的一个元素，这在C语言标准中是定义良好的行为，本规则也允许这种行为。对这样的指针解引用（dereference）会导致未定义行为，因此为本规则所禁止。

登录查看完整文章