函数返回值的生命周期是多少？

Question

我阅读了return函数调用之间的值,
并尝试使用以下代码片段:

/* file structaddr.c */
#include <stdio.h>    
#define MSIZE 10

struct simple
{   
    char c_str[MSIZE];
};
struct simple xprint(void)
{
    struct simple ret = { "Morning !" };
    return ret;
}
int main(void)
{   
    printf("Good %s\n", xprint().c_str);    
    return 0;
}

编译代码时没有错误和警告.
使用GCC 4.4.3(Ubuntu 4.4.3-4ubuntu5.1)和Visual C++编译器进行测试.

 gcc -m32 -std=c99 -Wall -o test  structaddr.c  
 cl -W3 -Zi -GS -TC -Fetest structaddr.c

输出:
早上好!

我对结果感到有些困惑.
代码写得正确吗？

我的问题 :

• 函数return值的可见性是什么(上例中的数组 struct),以及如何正确访问它们？

• 哪里结束了一生的return价值？

Answer 1

在C中,printf表达式结束时,示例中临时的生命周期结束:

• Per C 2011(N1570)6.2.4 8,当包含它的完整表达式(或声明符)的求值结束时,临时的生命周期结束:"具有结构或联合类型的非左值表达式,其中结构或联合包含具有数组类型的成员(包括,递归地,所有包含的结构和联合的成员)引用具有自动存储持续时间和临时生存期的对象.36)它的生命周期在评估表达式时开始,其初始值是表达式的值.当包含完整表达式或完整声明符的评估结束时,它的生命周期结束."
• Per 6.8 4:"完整表达式是一个不属于另一个表达式或声明符的表达式."每个6.7.6 3:"完整的声明符是不属于另一个声明符的声明符."
• 因此,printf表达式结束时,示例中临时的生命周期结束.

在C++中,示例中的生命周期与C中的生命周期相同:

• Per C++ 2010(N3092)12.2 3:"临时对象被破坏,作为评估全表达式(1.9)的最后一步,它(词法上)包含创建它们的点."
• 每12.2 4和5:"有两种情况,临时在不同于完整表达结束时被摧毁.第一个上下文是调用默认构造函数来初始化数组的元素.如果构造函数具有一个或多个默认参数,则在构造下一个数组元素(如果有)之前,对默认参数表达式中创建的每个临时的销毁进行排序.""第二个上下文是将引用绑定到临时的.引用绑定的临时值或作为绑定引用的子对象的完整对象的临时值在引用的生命周期内持续存在,除了:..."(为了简洁,我省略了例外,因为它们不适用这里.)
• 因此,您的示例在C++中是相同的,临时对象作为评估printf表达式的最后一步被销毁.