我有一个意外的缓冲区溢出警告，为什么会这样？

Question

我必须以这种方式创建一个对向量的分量求和的函数：

• 第一个+第二个，
• 第三+第四，
• 第 5 次 + 第 6 次，依此类推。

原始向量的大小为“大小”。 我必须动态创建一个大小为“size/2”的结果向量（因为以这种方式求和，我将原始向量大小减半）。

我使用了两个计数器，i 和 j，“i”是原始向量的计数器，“j”是向量“结果”的计数器。 我认为问题就在这里，因为我有一个缓冲区溢出警告。

这是我的代码：

#include <stdint.h>
#include <stdlib.h>


uint32_t* add_twobytwo(uint32_t* vect, size_t size) {
    if (vect == NULL) {
        return NULL; 
    }
    uint32_t* result = malloc((size / 2) * sizeof(uint32_t)); 
    if (result == NULL) {
        return NULL; 
    }
    size_t j = 0; 
    for (size_t i = 0; i < size; i += 2) {
        result[j] = vect[i] + vect[i + 1]; 
        j++; 
    }

    return result; 
}


int main(void)
{
    size_t n = 6;
    uint32_t* v = malloc(n * sizeof(uint32_t));
    if (v == NULL) {
        return NULL; 
    }
    v[0] = 3; v[1] = 87; v[2] = 5; v[3] = 7; v[4] = 12; v[5] = 9;
    uint32_t* sum = add_twobytwo(v, n);
    free(v);
    free(sum);
    return 0;
}

绿色曲线位于此处：

  for (size_t i = 0; i < size; i += 2) {
            result[j] = vect[i] + vect[i + 1]; 
            j++; 
        }

我试图解释警告，结果 [] 中似乎没有足够的空间，但它工作正常并且它正确地完成了它的工作（我已经逐行调试来说明这一点）。

Answer 1

您会收到警告，因为如果size是奇数，那么您将在vect末尾阅读元素。 想象一下如果 size 为 3 会发生什么：

1. 一开始，你有i=0,j=0; .
2. result[0] = vect[0]+vect[1];
3. j++ 。 j 现在是 1。
4. i+=2; . 我现在是 2。
5. result[1] = vect[2]+vect[3];

但是，由于vect的大小为 3，因此尝试读取vect[3] （您是）将（很可能）产生分段错误。