C 拼图 - 玩类型

Question

请检查以下程序。

#include <stdio.h>

struct st
{
 int a ;
}

fn ()
{
 struct st obj ;
 obj.a = 10 ;

 return obj ;
}

int main()
{
 struct st obj = fn() ;

 printf ("%d", obj.a) ;
}

以下问题是

1. 程序的输出是什么？

2. “;”在哪里终止“struct st”的声明？

   通过 ISO IEC 9899 - 1999 规范、声明应 以“;”结尾。

    声明说明符 init-declarator-listopt ；
   

3. 如果 'struct 的声明 st' 只代表返回类型 函数“fn”，它是如何可见的 到其他函数（主函数）？

Answer 1

1. 输出是 10。
2. 不需要分号，因为整个事情就是一个函数定义。
3. 结构体标记 st 是在全局范围内声明的，因此对 main 可见。

Answer 2

如果我们重新格式化一下代码，事情可能会更清楚一些：

struct st { int a; } fn() 
{
  struct st obj;
  obj.a = 10;
  return obj;
}
int main()
{
  struct st obj = fn();
  printf("%d\n", obj.a);
  return 0;
}

因此，fn() 的返回类型是struct st {int a;}。结构体定义后没有分号，因为结构体类型是函数定义的一部分（从 translation-unit -> top-level-declaration -> 跟踪语法;函数定义）。结构类型可用于 main() 因为您在其上放置了一个结构标记 (st)。如果你这样写

struct { int a; } fn() {...}

，那么该类型将无法被 main() 使用；您必须创建具有相同定义的新结构类型。

你得到的效果和你写的一样

struct st {
  int a; 
};

struct st fn() 
{ 
  /* same as before */
}

int main()
{
  /* same as before */
}