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 的返回结果确实不对，应该就是局部变量被释放了；对mul_char1 ，编译器给了警告，说是返回了局部变量的地址，就像我认为的那样，运行的时候也直接退出了。

现在的问题是：

以 mul_char2 中为什么加上 char *p = M`就没了警告，而且返回结果正确？它不应该也一样被释放吗？

既然 int 结果不对，那为什么 char2 结果就对呢？局部变量是否释放难道跟变量的类型也有关吗？

最后贴上完整的代码与运行结果：

#include

using namespace std;

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

{

char M[2];

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

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

return M;

}

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;

}

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;

}

int main(int argc, char const *argv[])

{

int A1[] = {97, 98};

int B1[] = {1, 1};

char A2[] = {97, 98};

char B2[] = {1, 1};

char *p = mul_char2(A2, B2);

cout << p[0] << '\t' << p[1] << endl;

int *q = mul_int(A1, B1);

cout << q[0] << '\t' << q[1] << endl;

p = mul_char1(A2, B2);

cout << p[0] << '\t' << p[1] << endl;

return 0;

}

> Executing task: D:\mingw-w64\x86_64-8.1.0-win32-seh-rt_v6-rev0\mingw64\bin\g++.exe -g c:\Users\dongx\Desktop\test\C++\main.cpp -o c:\Users\dongx\Desktop\test\C++\main.exe <

c:\Users\dongx\Desktop\test\C++\main.cpp: In function 'char* mul_char1(char*, char*)':

c:\Users\dongx\Desktop\test\C++\main.cpp:6:7: warning: address of local variable 'M' returned [-Wreturn-local-addr]

char M[2];

^

Terminal will be reused by tasks, press any key to close it.

> Executing task: c:\Users\dongx\Desktop\test\C++\main.exe <

a b

97 0

The terminal process terminated with exit code: 1

Terminal will be reused by tasks, press any key to close it.