时间戳

首页 > 解决方案 > C中的复合文字存储持续时间

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

问题描述

有史以来的第一个问题:)

我正在“自己”学习编程，正在阅读KNKing的“C Programming: A modern Approach”。在第 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一旦“控制流”退出块，文字似乎不会被释放。

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

谢谢。

标签： cscopestoragec99compound-literals

解决方案

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

因此，如果您稍后在程序中打印您的系数，它们可能会或可能不会对应于您的预期值。

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

请小心避免未定义的行为，因为它们可能导致难以重现的错误（例如，程序在 99% 的时间内工作，但在 1% 的时间里会严重中断）。

推荐阅读