再次认识常量与局部量

一、代码片段

#include <iostream>
#include <cstring>

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

const char* fun2() {
    const char s[] = "good bye world";
    std::cout << "int fun2: " << s << std::endl;
    return s;
}

int main() {
    std::cout << fun1() << std::endl;
    std::cout << fun2() << std::endl;
    return 0;
}

运行以上代码会发生什么？
答案是：

hello world1
int fun2:good bye world
��`��

二、解释

在原始代码中，函数 fun1() 返回的是一个指向常量字符数组的指针，而函数 fun2() 返回的是一个指向局部字符数组的指针。

因此，函数 fun1() 返回字符串常量 “hello world1” 的地址，并且这个字符串常量是存储在程序的只读数据段中的，因此该指针指向的内容是不可修改的。

而函数 fun2() 返回的是一个大小为 15 的字符数组的指针，这个字符数组是在函数栈上分配的，当函数返回时会被销毁。因此，在函数 fun2() 返回后，它返回的指针指向的内容就可能不存在了。
实际上，这是一个悬挂指针（dangling pointer），试图访问该指针所指向的内容是未定义行为，可能导致程序崩溃或产生其他错误。