C语言初始化与赋值表达式的标准规则疑问及代码合法性咨询

你好呀！作为刚接触C语言的新手就能抠标准细节，这点真的值得点赞，咱们一步步拆解你的问题，把这些概念理清楚：

首先明确：你写的这段代码在C语言里是不合法的。C标准规定if语句的条件部分必须是一个表达式，而(int n = 9)是一个带初始化的声明，不属于表达式范畴，所以不能放在if的条件里。（顺便提一句，C允许这种写法，但C和C是两门不同的语言，语法规则有不少差异）

接下来逐个解答你的疑问：

1. 为什么初始化不是表达式？ #

C语言的语法规则里，表达式和声明是完全独立的两大语法分支：

• 表达式的核心作用是计算值、指代对象/函数，或者产生副作用（比如赋值操作），它可以出现在任何需要“值”的语境里（比如条件判断、算术运算、函数参数）。
• 初始化是声明过程的一部分，它的作用是在对象被创建时给它设置初始值，本身并不是一个能独立产生值的表达式，所以不能出现在要求表达式的位置（比如if条件）。

2. 为什么初始化被称为声明的一部分？ #

当你写int n = 9;时，整句话是一个完整的声明：

• 首先，int是类型说明符，告诉编译器要创建一个int类型的对象；
• n是声明符，指定这个对象的名称；
• =9是初始化操作，给刚创建的对象设置初始值。

简单说，初始化是“创建对象并给它赋值”这个动作里的后半段，它不能脱离“创建对象”的声明步骤单独存在，所以是声明的一部分。

3. 为什么赋值表达式不是初始化器？ #

你贴的C17 6.7.9的语法规则里，initializer（初始化器）可以是一个assignment-expression（赋值表达式），这只是说初始化器可以复用赋值表达式的语法来指定初始值，但两者的语义完全不同：

• 赋值表达式是对已经存在的对象修改其值，比如n = 9是把9赋值给已经创建好的n；
• 初始化器是在对象刚创建时给它设置初始值，比如int n = 9里的9（作为赋值表达式的一种）是初始化器，作用是给新创建的n设置初始值。

打个比方：初始化就像你买新手机时直接设置好锁屏密码，而赋值是你用了一段时间后修改锁屏密码——操作的时机和对象状态完全不同。

4. 什么是声明符（declarator）？ #

声明符是声明里用来指定对象/函数的名称、类型修饰符（比如指针、数组、函数）的部分。举几个例子：

• int x;里的x就是声明符，说明这是一个名为x的int对象；
• int *p;里的*p是声明符，说明p是一个指向int的指针；
• int func(int);里的func(int)是声明符，说明func是一个接受int参数、返回int的函数。

它的作用就是在声明里明确“这个标识符具体代表什么类型的实体”。

相关C17标准段落补充： #

1. 关于if条件的要求（6.8.4.1 The if statement）

The controlling expression of an if statement shall have scalar type.

这里的“controlling expression”必须是表达式，而声明不属于表达式，所以不能放在if条件中。

2. 关于表达式的定义（6.5 Expressions）

An expression is a sequence of operators and operands that specifies computation of a value, or that designates an object or a function, or that generates side effects, or that performs a combination thereof.

声明不满足这个定义，因为它的核心是创建新的对象/函数，而不是计算值或指代已存在的实体。

3. 关于初始化的语义（6.7.9 Initialization）

If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate. If an object that has static or thread storage duration is not initialized explicitly, then:
— if it has pointer type, it is initialized to a null pointer;
— if it has arithmetic type, it is initialized to (positive or unsigned) zero;
— if it is an aggregate, every member is initialized (recursively) according to these rules, and any padding is initialized to zero bits;
— if it is a union, the first named member is initialized (recursively) according to these rules, and any padding is initialized to zero bits.

这段明确了初始化是对象创建时的默认或显式初始值设置操作，属于声明的一部分。

4. 关于声明符的定义（6.7.6 Declarators）

A declarator declares a single identifier, and is a sequence of optional designators and declarator operators. Each declarator declares one identifier, and asserts that when an operand of the same form as the declarator appears in an expression, it designates a function or object with the scope, storage duration, and type indicated by the declaration specifiers part of the declaration.

替代实现方案 #

如果你想在C里实现类似“限制变量作用域+条件判断”的逻辑，可以用块作用域来实现（C99及以后支持）：

#include <stdio.h>
int main(void) {
    {
        int n = 9;
        if(n == 9){
            // 这里可以使用n
        }
    }
    // 这里n已经超出作用域，无法访问
    return 0;
}

内容来源于stack exchange