definition vs declaration of variables

最新推荐文章于 2024-09-18 09:45:00 发布

原创最新推荐文章于 2024-09-18 09:45:00 发布 · 963 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#variables #include #object

C++ 专栏收录该内容

23 篇文章

订阅专栏

博客介绍了变量定义和声明的概念。定义会为变量分配存储并可指定初始值，程序中变量只能有一个定义；声明让程序知晓变量类型和名称，可用extern关键字声明而不定义。变量可多次声明，但只能定义一次，声明有初始值则视为定义。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

A definition of a variable allocates storage for the variable and may also specify an initial value for the variable. There must be one and only one definition of a variable in a program.

A declaration makes known the type and name of the variable to the program. A definition is also a declaration: When we define a variable, we declare its name and type. We can declare a name without defining it by using the extern keyword. A declaration that is not also a definition consists of the object's name and its type preceded by the keyword extern:

      extern int i;   // declares but does not define i
      int i;          //  declares and defines i

An extern declaration is not a definition and does not allocate storage. In effect, it claims that a definition of the variable exists elsewhere in the program. A variable can be declared multiple times in a program, but it must be defined only once.

A declaration may have an initializer only if it is also a definition because only a definition allocates storage. The initializer must have storage to initialize. If an initializer is present, the declaration is treated as a definition even if the declaration is labeled extern:

      extern double pi = 3.1416; // definition

Despite the use of extern, this statement defines pi. Storage is allocated and initialized. An extern declaration may include an initializer only if it appears outside a function.

Because an extern that is initialized is treated as a definition, any subseqent definition of that variable is an error:

      extern double pi = 3.1416; // definition
      double pi;                 // error: redefinition of pi

Similarly, a subsequent extern declaration that has an initializer is also an error:

      extern double pi = 3.1416; // definition
      extern double pi;          // ok: declaration not definition
      extern double pi = 3.1416; // error: redefinition of pi

The distinction between a declaration and a definition may seem pedantic but in fact is quite important.