变量的声明、定义和初始化有什么区别？

Question

看了问题，知道了声明和定义的区别，那么是不是说定义等于声明加初始化呢？

Answer 1

对于 C，至少根据 C11 6.7.5：

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

> < li>

对于对象，导致为该对象保留存储。

对于函数，包括函数体；

对于枚举常量，是标识符的（唯一）声明；

对于 typedef 名称，是标识符的第一个（或唯一一个）声明。

根据C11 6.7.9.8-10：

初始化器指定存储在对象中的初始值……如果具有自动存储的对象未显式初始化，则其值不确定。

因此，从广义上讲，声明引入了一个标识符并提供了有关它的信息。对于变量，定义是为该变量分配存储的声明。

初始化是要存储在对象中的初始值的规范，它不一定与第一次显式为其赋值时相同。无论是否显式地给变量赋值，定义变量时都会有一个值。如果您没有显式地给它一个值，并且变量有自动存储，那么它将有一个初始值，但该值将是不确定的。如果它有静态存储，它将根据类型隐式初始化（例如，指针类型初始化为html" target="_blank">空指针，算术类型初始化为零，等等）。

因此，如果您定义一个自动变量而没有为其指定初始值，例如：

int myfunc(void) {
    int myvar;
    ...

您定义了它（因此也声明了它，因为定义是声明），但没有初始化它。因此，定义不等于声明加初始化。

Answer 2

宣言说“这东西存在于某个地方”：

int foo();       // function
extern int bar;  // variable
struct T
{
   static int baz;  // static member variable
};

定义说“这个东西存在在这里;为它留下记忆“：

int foo() {}     // function
int bar;         // variable
int T::baz;      // static member variable

在定义对象时，初始化是可选的，它会说“这是这个东西的初始值”:

int bar = 0;     // variable
int T::baz = 42; // static member variable

有时候在声明的时候也是可以的:

struct T
{
   static int baz = 42;
};

...但这涉及更复杂的功能。

Answer 3

声明，通常是指在程序中引入新名称。例如，您可以通过描述新函数的“签名”来声明它：

void xyz();

或者声明一个不完整的类型:

class klass;
struct ztruct;

最后但同样重要的是，声明一个对象：

int x;

在C标准第3.1/1节中，它被描述为：

声明（第7条）可以将一个或多个名称引入翻译单元或重新声明先前声明引入的名称。

定义是先前声明的名称的定义（或者它可以是定义和声明）。例如：

int x;
void xyz() {...}
class klass {...};
struct ztruct {...};
enum { x, y, z };

具体而言，C标准在§3.1/1中将其定义为：

声明是一个定义，除非它在不指定函数体的情况下声明一个函数（8.4），它包含外部说明符（7.1.1）或链接规范25（7.5），既不是初始化器也不是函数体，它在类定义中声明一个静态数据成员（9.2,9.4），它是一个类名声明（9.1），它是一个不透明的枚举声明（7.2），它是一个模板参数（14.1），它是一个函数声明符中的参数声明（8.3.5），它不是函数定义的声明符，或者它是一个typedef声明（7.1.3），一个别名声明（7.1.3），一个使用声明（7.3.3），一个static_assert声明（第7条），一个属性声明（第7条）、空声明（第7条）或使用指令（7.3.4）。

初始化是指在构造时“赋值”。对于 T 类型的泛型对象，它通常采用以下形式：

T x = i;

但是在C语言中可以是:

T x(i);

甚至：

T x {i};

与C 11。

那么这是否意味着定义等于声明加初始化？

看情况。你在说什么。例如，如果你在谈论一个物体:

int x;

这是一个没有初始化的定义。相反，以下是一个带有初始化的定义：

int x = 0;

在一定的语境下，谈论“初始化”、“定义”和“声明”是没有意义的。如果你谈论的是一个函数，例如，初始化并不意味着什么。

所以，答案是否定的:定义并不自动意味着声明加初始化。