Misra 5-0-15-指针算术 - 违反规则

发布于 2025-01-28 16:20:00 字数 465 浏览 1 评论 0 原文

以下代码违反了Misra C ++规则5-0-15：数组索引是指针算术的唯一形式。

（1）

void doSomething(const uint8_t *&ptr, size_t num) {
  ptr += num;
}

增加任何指针也违反了上述规则：

（2）

const uint8_t *ptr = ... ;
*ptr++;

我发现一个非常相似的问题在这里，但是在那里发问者使用数组。我使用指示器。

是否有替代符号或其他方法将数字添加到（1）/增量（2）指针以解决此违规行为？

原文

The following code violates the MISRA C++ rule 5-0-15: Array indexing shall be the only form of pointer arithmetic.

(1)

void doSomething(const uint8_t *&ptr, size_t num) {
  ptr += num;
}

Incrementing any pointer also violates the above rule:

(2)

const uint8_t *ptr = ... ;
*ptr++;

I found a very similar question here, but there the questioner uses arrays. I use pointers.

Is there an alternative notation or other method to add numbers to (1)/ increment (2) pointers to get around this violation?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

盛夏尉蓝 2025-02-04 16:20:00

数组索引

因此使用数组索引。

void doSomething(const uint8_t ptr[], size_t num) {
     const uint8_t *ptr2 = &ptr[num];
}

增加任何指针

可以通过异常来使用增量和减少操作员。用增量进行解雇无效。必须有两个表达式。

const uint8_t *ptr = somearray;
++ptr;
uint8_t val = *ptr;

Array indexing

So use array indexing.

void doSomething(const uint8_t ptr[], size_t num) {
     const uint8_t *ptr2 = &ptr[num];
}

Incrementing any pointer

Increment and decrement operators can be used by exception. Doing dereference with incrementing is invalid. There have to be two expressions.

const uint8_t *ptr = somearray;
++ptr;
uint8_t val = *ptr;

回复收藏 0 原文

ぶ宁プ宁ぶ 2025-02-04 16:20:00

“数组索引应是指针算术的唯一形式”规则是从Misra C：2004继承的，并且关于该规则是否有意义的讨论很早就进行了讨论。该规则背后的理由是防止*（arr+i） arr [i] 样式，我认为没有人质疑后者更可读性因此优先。

但是，Misra C：2004文件中的示例令人困惑 - 它不允许在称为指示器的变量上索引数组样式。但是显然，在函数的情况下，我们是否将某些内容声明为 void func（int* ptr）或 void func（int ptr []），因为这些是100％同等，这要归功于C的参数调整规则。实际上， [] 操作员只能与指针操作数一起使用，如下所示： do pointers支持“阵列样式索引”？因此，此规则导致了很多误报。

这是Misra C：2012中固定的众多因素之一，规则18.4专注于指针自身，而不是宣布某物的方式。 Misra C：2004和Misra C ++：2008仍然会有旧的措辞和示例，因此，如果您使用这些措辞，则应用一粒盐来服用规则。

在您的特定情况下，使用 const uint8_t *＆amp; ptr vs const uint8_t＆amp; ptr [] 没关系。 ptr += num; 是可疑的部分。

与该规则无关的是，将一系列参考文献的指针也很可变，如果可以使用较不复杂的替代方案，则需要进行审查。