int指针作为函数valgrind错误中的参数大小为4的无效读取

Question

这个简单的代码有什么问题？ 它可以工作，但是valgrind显示错误。 看起来怎么样？

int func（int *）的定义应该是什么？

main.cpp：

#include <iostream>
#include <stdio.h>
#include <cstdlib>

using namespace std;

int func(int* terminal);

int main()
{
    int* x = (int*)malloc(3);
    x[0]=1;
    x[1]=2;
    x[2]=3;

    func(x);

}

int func(int *terminal)
{
    cout<<(*terminal)<<endl;
    cout<<(*terminal+1)<<endl;
    cout<<(*terminal+2)<<endl;

    return 1;
}

valgrind日志：

==2806== Invalid write of size 4
==2806==    at 0x80486A6: main (main.cpp:12)
==2806==  Address 0x434f028 is 0 bytes inside a block of size 3 alloc'd
==2806==    at 0x402A17C: malloc (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==2806==    by 0x804869D: main (main.cpp:11)
==2806== 
==2806== Invalid write of size 4
==2806==    at 0x80486B3: main (main.cpp:13)
==2806==  Address 0x434f02c is 1 bytes after a block of size 3 alloc'd
==2806==    at 0x402A17C: malloc (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==2806==    by 0x804869D: main (main.cpp:11)
==2806== 
==2806== Invalid write of size 4
==2806==    at 0x80486C0: main (main.cpp:14)
==2806==  Address 0x434f030 is 5 bytes after a block of size 3 alloc'd
==2806==    at 0x402A17C: malloc (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==2806==    by 0x804869D: main (main.cpp:11)
==2806== 
==2806== Invalid read of size 4
==2806==    at 0x80486F1: func(int*) (main.cpp:22)
==2806==    by 0x80486D1: main (main.cpp:16)
==2806==  Address 0x434f028 is 0 bytes inside a block of size 3 alloc'd
==2806==    at 0x402A17C: malloc (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==2806==    by 0x804869D: main (main.cpp:11)
==2806== 
1
==2806== Invalid read of size 4
==2806==    at 0x804871A: func(int*) (main.cpp:23)
==2806==    by 0x80486D1: main (main.cpp:16)
==2806==  Address 0x434f028 is 0 bytes inside a block of size 3 alloc'd
==2806==    at 0x402A17C: malloc (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==2806==    by 0x804869D: main (main.cpp:11)
==2806== 
2
==2806== Invalid read of size 4
==2806==    at 0x8048746: func(int*) (main.cpp:24)
==2806==    by 0x80486D1: main (main.cpp:16)
==2806==  Address 0x434f028 is 0 bytes inside a block of size 3 alloc'd
==2806==    at 0x402A17C: malloc (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==2806==    by 0x804869D: main (main.cpp:11)
==2806== 

也许我应该去钓鱼而不是学习C ++。

Answer 1

malloc获取要分配的字节数； 它对类型一无所知。 您必须做malloc(3 * sizeof(int))或更好，使用

int* x = new int[3];

Answer 2

int* x = (int*)malloc(3);

分配3个字节，不足3个int 。

由于您使用的是C ++，因此可以使用new运算符。

int* x = new int[3];

如果必须使用malloc ，请使用：

int* x = (int*)malloc(3*sizeof(int));

Answer 3

malloc(3)

您分配3字节大小的内存。 一个int可以是2、4甚至8个字节。

因此，如果您使用的是malloc （请不要这样做-编写C ++代码时-再次），正确的调用将是

malloc(3 * sizeof(int));

但这是C ++，因此直接的方法是使用

int * array = new int[3]{};

或者，一旦您了解了手动内存管理的工作原理：

std::vector<int> array{3};

或者，由于您知道在编译时需要3个元素：

std::array<int,3> array;
// int array[3]; is the raw array, only
// use it to learn what it is and why you should avoid it

最后，谈论手动内存管理：不要忘记释放资源：

// if you where using malloc
free(pointer);

// otherwise, if you were using new []
delete [] pointer;

std::vector为您管理内存，而std::array驻留在堆栈中（因此具有自动存储时间）。