C语言中初始化与赋值的差异及全局作用域初始化语法疑问

一、C语言初始化与赋值的核心差异 #

1. 编译与运行阶段 #

• 初始化：属于编译期或程序启动阶段完成的操作。全局/静态变量的初始化在程序加载时由操作系统处理（常量初始化直接写入数据段，零初始化变量放入BSS段）；局部变量的初始化则是进入函数栈帧时，直接将初始值写入变量内存，属于运行时但与变量声明绑定。
• 赋值：完全是运行时阶段的操作，必须等程序执行到赋值语句时，才会将右值计算后写入左值的内存地址，属于执行流中的独立步骤。

2. 全局作用域与局部作用域 #

• 初始化：全局/静态变量仅支持常量表达式初始化（C11标准放宽了部分限制）；局部变量则允许使用任意合法表达式初始化，包括函数返回值这类运行时计算的值。
• 赋值：局部作用域中可自由使用赋值语句；但全局作用域不允许出现独立的赋值或函数调用语句——全局作用域仅能包含声明、初始化和函数定义，执行类语句会触发编译错误。

3. 语法风格 #

• 初始化：是变量声明的一部分，紧跟=和初始值（聚合类型用{}初始化列表），示例：

  int a = 10;
  int arr[] = {1,2,3};
  Format fmt = {"YYMMDD", "%02u%02u%02u", 6, 3};
  

• 赋值：是独立执行语句，变量需先声明（可无初始化），再通过=操作符写入值，示例：

  int a;
  a = 10;
  strcpy(fmt.format, "YYMMDD");
  

二、全局作用域下的初始化问题 #

为什么statement2无法运行？ #

全局作用域中不能存在独立的执行语句——strcpy调用、=赋值都属于运行时执行的语句，不属于变量声明/初始化范畴，编译器会直接报错。而statement1是聚合类型的初始化语法，属于变量声明的一部分，符合全局作用域的语法规则，因此能正常编译运行。

全局作用域下是否必须使用初始化语法？ #

对于全局变量：

• 若需要设置非零初始值，必须使用初始化语法，不能用赋值语句。
• 若不设置初始值，全局变量会被自动零初始化（数值类型为0，指针为NULL，字符数组全为'\0'），无需额外代码。

内置数据类型的全局变量是否有语法强制要求？ #

没有强制要求必须初始化：

• 不显式初始化时，全局内置类型变量会被默认零初始化。
• 若需要非零初始值，必须在声明时用初始化语法（如int global_num = 5;），不能在全局作用域写global_num = 5;这类赋值语句。

代码示例 #

Define.c #

#include "Define.h"

// statement1：合法的全局变量初始化
Format date_format = { "YYMMDD", "%02u%02u%02u", 6, 3 };

// Either above statement 1 or below statement2

// statement2：全局作用域下的执行语句，编译报错
// Format date_format;
// strcpy(date_format.format, "YYMMDD");            // line2
// strcpy(date_format.scanformat, "%02u%02u%02u");  // line3
// date_format.scansize = 3;                        // line4
// date_format.printsize = 6;                       // line5

Define.h #

#ifndef _DEFINE_H
#define _DEFINE_H

typedef struct Format
{
    char format[256];
    char scanformat[256];
    unsigned int printsize;
    unsigned int scansize;

} Format;

extern Format date_format;

#endif

main.c #

#include <stdio.h>
#include "Define.h"


int main(int argc, char* argv[])
{
    printf(date_format.format);
    getchar();
    return 0;
}

内容的提问来源于stack exchange，提问作者nascent