const char*p="some_string"和const char[]="some_string"在内存分配方面的区别[重复]

Question

const char *fun1()
{
    const char *a = "hello";
    return a;
}

const char *fun2()
{
    const char a[] = "hello";
    return a;
}

int main(int argc, char *argv[])
{
    printf("%s\n", fun1());
    printf("%s\n", fun2());
    return 0;
}

输出：

cpp:12:12: warning: address of local variable 'a' returned [-Wreturn-local-addr]
   12 |     return a;
      |            ^
passwords.cpp:11:16: note: declared here
   11 |     const char a[] = "hello";
      |                ^
hello
(null)

这两种分配字符串的方法有什么区别？我得到的是一个警告，而不是另一个？我知道当我们从函数返回时，局部变量会被破坏，但为什么fun1（）不是这样呢？它是否在其他地方获得内存而不是堆栈？

Answer 1

在您的例子中，fun1（）中字符串的字节存在于静态内存中。在另一个函数中，初始化时字节从静态内存复制到堆栈上的缓冲区。访问从fun2（）返回的字符串是未定义的，因为堆栈上的数组不再存在。

fun1（）可以重写为

const char fun1()
{
    static const char s[] = "hello";
    const char* a = s;
    return a;
}

fun2（）可以重写为

const char fun2()
{
    static const char s[] = "hello";
    const char a[6]; // stack allocation (5 letters + 1 zero terminator)
    strcpy(a, s);
    return a; // UB: return pointer to local automatic array
}

因此，得到警告的主要原因是调用后fun2（）中的数组不存在。将指针返回堆栈帧，与以下代码有相同问题的方式相同：

struct S { int x, y; };

struct S* fun1()
{
    static struct S s = { 10, 42 };
    return &s; // no problem
}

struct S* fun2()
{
    struct S a = { 10, 42 };
    return &a; // UB
}