C++ 堆栈内存未被释放

Question

请考虑以下 C++ 代码片段。我将对 char * 的引用作为参数传递给函数。

void name(char **str){
    *str=(char *)"JUSTFORFUN";
}


int main(int argc, const char * argv[])
{
    char *test;
    name(&test);
    cout<<test; //Prints "JUSTFORFUN"
    //delete(test); //Throws error "pointer being freed was not allocated"
    return 0;
}

我认为函数 name() 中用于存储“JUSTFORFUN”的内存是在堆栈上分配的。因此，当控件脱离 name() 时，与 (char *)"JUSTFORFUN"关联的内存应该已被编译器释放。我的问题是为什么当我打印测试时仍然得到正确的输出？它不应该打印一个垃圾值吗？

当我为 int 做类似的事情时。我得到了预期的结果。

void nameint(int **value){
    int val=5;
    *value=&val;
}

int main(int argc, const char * argv[])
{
    int *val;
    nameint(&val);
    cout<<*val; //Prints a junk value 1073828160    
    return 0;
}

为什么 int 和 char * 的行为存在差异？

Answer 1

字符串文字“JUSTFORFUN”不存储在堆栈上——它具有静态存储持续时间。尽管只出现在函数 name 内部，但字符串文字本身对于该函数来说并不是本地的(没有字符串文字——它们都有静态存储持续时间)。

因此，第一个程序的行为实际上是明确定义的。 name 返回后，val 包含具有静态存储持续时间的字符串文字的地址，然后您将打印该地址。

在第二个程序中，您将返回函数本地 int 的地址。函数返回后，该 int 不再存在，因此使用它会产生未定义的行为 - 在典型情况下，它可能会打印出当前该地址处的位的任何值，但是有无法保证它会做什么。