MISRA C++-2008规则5-0-15-数组索引应是指针算术的唯一形式

Question

我需要一个对MISRA有更多经验的人来帮助我解决这个问题。我有以下代码：

byte* buf = new(std::nothrow) byte[bufferSize];
.....
for (uint32_t i = 0; i < bufferSize; i+=4)
{
..............
                        {
buf[ i+0 ] = b;
buf[ i+1 ] = g;
buf[ i+2 ] = r;
(1) Event misra_violation:  [Required] MISRA C++-2008 Rule 5-0-15 violation: Array indexing shall be the only form of pointer arithmetic.
buf[ i+3 ] = a;
}

MISRA规则5-0-15也不允许ptr++或ptr-。使用new创建的指针来递增/递减和赋值的方法应该是什么？

我的MISRA检查器是Coverity 7.0.3.3。

Answer 1

您的代码没有问题。它根据需要使用数组索引。你的静态分析器坏了。

Answer 2

我觉得"for"应该有"I+3"的条件。

for (uint32_t i = 0; i+3 < bufferSize; i+=4)

这可以解决问题。如果解决了，请告诉我。

Answer 3

好的，我找到了一种工作方式：

byte* buf = new(std::nothrow) byte[bufferSize];
.....
for (uint32_t i = 0; i < bufferSize; i+=4)
{
  ..............           
  uint32_t k = i;
  buf[k] = b;
  k++;
  buf[k] = g;
  k++;
  buf[k] = r;
  k++;
  buf[k] = a;
}

MISRA似乎不喜欢索引算术放在[]括号内。我不确定这是否不是工具中的错误，也许它在更新的Coverity工具中得到了修复。

以下不起作用（MISRA再次投诉违反规则5-0-15）：

byte* buf = new(std::nothrow) byte[bufferSize];
.....
for (uint32_t i = 0; i < bufferSize; i+=4)
{
  ..............           
  uint32_t k = i;
  buf[k++] = b;
  buf[k++] = g;
  buf[k++] = r;
  buf[k++] = a;
}