我是了解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 ，编译器给了警告，说是返回了局部变量的地址，就像我认为的那样，运行的时候也直接退出了。

现在的问题是：

1. 以 mul_char2 中为什么加上 char *p = M`就没了警告，而且返回结果正确？它不应该也一样被释放吗？
2. 既然 int 结果不对，那为什么 char2 结果就对呢？局部变量是否释放难道跟变量的类型也有关吗？

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

#include <iostream>
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.