局部变量是否释放难道跟数据类型有关吗？

我是了解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.

我在VS试了，都是对的