C语言 局部指针变量会释放吗,局部变量是否释放难道跟数据类型有关吗？

我是了解C语言中传递数组的规范用法的。有一天，我的一位同学写了类似如下代码：

char* mul_char2(char *A, char *B)

{

char M[2];

char *p = M;

M[0] = A[0] * B[0];

M[1] = A[1] * B[1];

return p;

}

我认为，这个代码不能实现想要的效果，因为 M 是局部变量，函数执行完之后会被释放，但它居然可以执行，而且返回结果正确！

为了弄明白这个问题，我们又编了两个函数：

char* mul_char1(char *A, char *B)

{

char M[2];

M[0] = A[0] * B[0];

M[1] = A[1] * B[1];

return M;

}

int* mul_int(int *A, int *B)

{

int M[2];

int *p = M;

M[0] = A[0] * B[0];

M[1] = A[1] * B[1];

return p;

}

在我们看来，mul_char1 与 mul_char2 没有本质区别，不同的地方只是mul_char2 建了一个中间变量 p。mul_int 与 mul_char2 区别更小，只是把所有的 char 改成了 int 。

但结果是：mul_int 的返回结果确实不对