主页 / coding / 问题 / 79213132
Accepted
Bobby
Asked: 2024-11-22 06:48:15 +0800 CST

`int x;` 真的只是一个声明还是一个隐式定义？

  • 772

在 C 语言中，如果声明了一个对象。例如，声明int x;为自动变量。没有用任何值初始化它，它是否仍被视为声明而不是定义？

因为 ChatGPT 认为，当声明一个对象时，编译器有时会留出一些与其（对象）关联的内存。因此，这是一个隐含的定义。请仅在您完全确定 C 语义的情况下回答。

c

2 个回答

  1. Best Answer

    像本例这样在文件范围中声明且没有初始化器的对象被视为临时定义。可能会出现其他相同的声明，每个声明也都是临时定义。

    如果不存在定义（即具有初始化器的定义），则该暂定定义以及可能出现的任何其他定义都被视为初始化为 0 的该标识符的“完整”定义。

    C 标准第 6.9.2p2 节对此进行了详细说明：

    具有文件范围、没有初始化器、没有存储类说明符或存储类说明符为 static 的对象标识符声明构成临时定义。 如果翻译单元包含标识符的一个或多个临时定义，并且翻译单元不包含该标识符的外部定义，则行为与翻译单元包含该标识符的文件范围声明完全相同，其中复合类型为翻译单元末尾的初始值设定项等于 0。

    在块范围（即在函数主体中）的这种声明是该对象的唯一声明，同时也是一种定义，因为这种声明为该对象留出了存储空间。

    所有定义也是声明，如第 6.7p5 节所述：

    声明指定一组标识符的解释和属性。标识符的定义是该标识符的声明，其内容如下：

    • 对于某个对象，为该对象保留存储；
    • 对于函数来说，包括函数主体；
    • 对于枚举常量，是标识符的（唯一）声明；
    • 对于 typedef 名称，是标识符的第一个（或唯一）声明。
    • 5
    1. 声明： 声明向编译器引入变量、函数或类型的名称。它指定实体的类型，但不分配内存（对于变量）或提供实现（对于函数）。主要特征：
    • 告知编译器实体的名称和类型。
    • 不为变量分配内存或定义函数主体。
    1. 定义

    定义不仅声明了实体，还分配了内存（用于变量）或提供了实现（用于函数）。主要特点：

    • 定义是声明加上附加信息（内存分配或实现）。
    • 程序中一个变量或函数只能有一个定义（除了在许多编译单元中对同一对象有多个暂定定义的可能性）。
    方面 宣言 定义 暂定定义
    目的 向编译器引入一个实体。 分配内存（用于变量）或提供实现（用于函数）。 用作占位符；如果稍后未提供完整定义，则充当定义。
    内存分配 否（对于变量）。 是的（对于变量）。 仅当同一翻译单元中不存在其他定义时才分配内存。
    函数主体 否（仅有函数原型）。 是（全面实施）。 不适用（仅适用于对象，不适用于函数）。
    多重性 在一个程序中可以出现多次。 每个实体必须恰好出现一次。 可以出现多次；合并为一个定义。
    存储期限 N/A（不分配内存）。 为静态持续时间对象分配内存。 如果没有完整定义，则为静态持续时间对象分配内存。
    初始化 不适用。 变量可以被初始化（例如int x = 5;）。 如果没有提供完整定义，则初始化为零。
    示例（变量） extern int x; int x = 42; int x;
    示例（函数） int add(int a, int b); int add(int a, int b) { return a + b; } 不适用（仅适用于变量）。

    int x;文件和块范围内的声明和定义（文件范围内的暂定定义）也是如此。

    C 标准中多处提到了声明和定义：

    • 6.2.2：标识符的链接
    • 6.7：声明
    • 6.7.6：声明符
    • 6.9：外部定义
    • 6.9.1：函数定义
    • 6.9.2：外部对象定义
    • -2

相关问题