C中的复合文字存储持续时间

Question

第一个问题:)

我正在“自己”学习编程，阅读KNKing 的“C 编程：一种现代方法”。在第 18 章 - 声明的问答部分，有一个关于为什么选择语句和迭代语句（以及它们的“内部”语句）在 C99 中被认为是块的问题。在对答案进行了简短的介绍后，他说：

[...] C99 标准规定，如果复合文字出现在函数体外，则由复合文字表示的对象具有静态持续时间。否则，它具有自动存储期限；结果，对象占用的内存在复合文字出现的块的末尾被释放[...]

我想我明白了。我试图从一个函数返回一个指向复合文字的指针，实际上输出是错误的（或者我猜是未定义的）。我的问题如下; 他举了这个例子：

/* Example 2 - if statements with braces */

double *coefficients, value;

if(x){
    coefficients = (double[3]) {1.5, -3.0, 6.0};
}else{
    coefficients = (double[3]) {4.5, 1.0, -3.5};
}
value = evaluate_polynomial(coefficients);

接着是这样的解释：

每个复合文字都会导致创建一个对象，但该对象仅存在于由包含文字出现的语句的大括号形成的块中。到时候evaluate_polynomial被调用，coefficients指向一个不再存在的对象。结果：未定义的行为。

当我在我的计算机中尝试完全相同的代码时（我在 Linux VM 中使用 GCC），我总是得到正确的输出。一旦“控制流”退出if块，文字似乎不会被释放。

有人可以详细说明一下吗？

谢谢。

Answer 1

出于性能原因，当程序到达变量作用域的末尾（或此变量为freed）时，不会删除其内容。但是它的内存地址以后可能会被重用来存储另一个导致Undefined Behavior 的变量。

因此，如果您稍后在程序中打印系数，它们可能符合也可能不符合您的预期值。

如果您想说明这一点，您可以在变量的退出块和读取变量的指令之间逐步添加越来越多的代码。在某些时候，您的变量可能没有预期值。

请小心避免未定义的行为，因为它们会导致难以重现的错误（例如，程序 99% 的时间都可以运行，但 1% 的时间会严重崩溃）。