C语言在main()内部、main()外部初始化全局变量

Question

1. main() 内部——没有错误

   #include <stdio.h>
   #include <stdlib.h>
   
   #define MAX 4
   
   typedef struct
   {
       int vertex;
       int **matrix;
   }graph;
   graph ygraph={.vertex=MAX};
   
   int main()
   {
       ygraph.matrix=(int**)malloc(sizeof(int)*MAX*MAX);
       return 0;
   }
   

2. main() 之外 -- 错误//

   #include <stdio.h>
   #include <stdlib.h>
   
   #define MAX 4
   
   typedef struct
   {
       int vertex;
       int **matrix;
   }graph;
   graph ygraph={.vertex=MAX};
   ygraph.matrix=(int**)malloc(sizeof(int)*MAX*MAX);
   
   int main()
   {
       return 0;
   }    
   

有什么区别...？我无法在 main() 之外初始化全局变量？我认为两者都没有错误...

Answer 1

引用a passage来自 cppreference.com 上的 C 引用:

When initializing an object of static or thread-local storage duration, every expression in the initializer must be a constant expression or string literal.

静态对象(例如graph)的初始化器必须在编译时已知，因为这些变量的初始化内存是在编译器生成的对象文件中找到的。因此，它们不能包含函数调用。

$ cat a.c
int a = 7;
int b = 8;
int c = 9;

$ gcc -c a.c

$ objdump -t -s -j .data a.o

a.o:     file format elf64-x86-64

SYMBOL TABLE:
0000000000000000 l    d  .data  0000000000000000 .data
0000000000000000 g     O .data  0000000000000004 a
0000000000000004 g     O .data  0000000000000004 b
0000000000000008 g     O .data  0000000000000004 c


Contents of section .data:
 0000 07000000 08000000 09000000           ............

函数中的赋值在调用函数期间进行评估(如果有的话)，因此可能包含函数调用。