声明、定义 in C++

时间:2022-06-15 08:46:28

声明和定义是我们使用的基础,但是对于声明和定义的概念,我们不甚了了,也就是说感觉好像是这样,但是真要详细说明就说不上来。

有博主对于声明和定义有以下描述:

         1、需要建立存储空间的。例如:int a 在声明的时候就已经建立了存储空间。

“定义性声明(defining declaration)”或者称为“定义(definition)”。

         2、不需要建立存储空间的。 例如:extern int a 其中变量a是在别的文件中定义的。

“引用性声明(referncing declaration)”。

     广义的角度来讲声明中包含着定义,即定义是声明的一个特例,所以并非所有的声明都是定义。

     一般的情况下我们常常这样叙述,把建立空间的声明称之为“定义”,而把不需要建立存储空间的声明称之为“声明”。很明显指的声明是范围比较窄的,即狭义上的声明,也就是说非定义性质的声明

     MSDN中对于声明和定义描述如下:

Declarations tell the compiler that a program element or name exists.

Definitions specify what code or data the name describes. A name must be declared before it can be used.

声明

http://msdn.microsoft.com/en-us/library/vstudio/0kw7hsf3(v=vs.100).aspx

声明在程序中引入了一个或多个名称。声明能在程序中出现多次。因此,类、结构体、枚举类型及其他用户自定义类型能在每个编译单元中声明。多重声明的限制是:所有声明都必须是相同的。

除以下情况外,声明等同于定义:

1、函数原型 (无函数体).

2、包含extern 符,但无初始化的对象、变量或者函数原型;

3、类声明中的 static 数据;因为 static 类数据是分离的变量,被类的所有对象共享,必须在类的声明以外进行定义和初始化(Classes)。

4、类声明,但无定义,比如 class T;

5、typedef 声明。

声明(也是定义):

   1:  // Declare and define int variables i and j.
   2:  int i;
   3:  int j = 10;
   4:   
   5:  // Declare enumeration suits.
   6:  enum suits { Spades = 1, Clubs, Hearts, Diamonds }; 
   7:   
   8:  // Declare class CheckBox.
   9:  class CheckBox : public Control 
  10:  {
  11:  public:
  12:      Boolean    IsChecked();
  13:      virtual int  ChangeState() = 0;  
  14:  }; 

.csharpcode, .csharpcode pre
{
font-size: small;
color: black;
font-family: consolas, "Courier New", courier, monospace;
background-color: #ffffff;
/*white-space: pre;*/
}
.csharpcode pre { margin: 0em; }
.csharpcode .rem { color: #008000; }
.csharpcode .kwrd { color: #0000ff; }
.csharpcode .str { color: #006080; }
.csharpcode .op { color: #0000c0; }
.csharpcode .preproc { color: #cc6633; }
.csharpcode .asp { background-color: #ffff00; }
.csharpcode .html { color: #800000; }
.csharpcode .attr { color: #ff0000; }
.csharpcode .alt
{
background-color: #f4f4f4;
width: 100%;
margin: 0em;
}
.csharpcode .lnum { color: #606060; }

    声明(非定义):

       1:  extern int i;
       2:  char *strchr( const char *Str, const char Target );

    .csharpcode, .csharpcode pre
    {
    font-size: small;
    color: black;
    font-family: consolas, "Courier New", courier, monospace;
    background-color: #ffffff;
    /*white-space: pre;*/
    }
    .csharpcode pre { margin: 0em; }
    .csharpcode .rem { color: #008000; }
    .csharpcode .kwrd { color: #0000ff; }
    .csharpcode .str { color: #006080; }
    .csharpcode .op { color: #0000c0; }
    .csharpcode .preproc { color: #cc6633; }
    .csharpcode .asp { background-color: #ffff00; }
    .csharpcode .html { color: #800000; }
    .csharpcode .attr { color: #ff0000; }
    .csharpcode .alt
    {
    background-color: #f4f4f4;
    width: 100%;
    margin: 0em;
    }
    .csharpcode .lnum { color: #606060; }

定义

http://msdn.microsoft.com/en-us/library/vstudio/9e2zdck2(v=vs.100).aspx

定义是一个对象、变量、函数、类或者枚举的唯一性描述。因为定义必须唯一,一个程序中的指定元素只能有一个定义。

声明和定义是多对一的关系。

存在两种情况可以被声明而不需定义:

1、函数已声明,但从未被使用。

2、使用类时不需要知道类的定义,但是必须声明此类。

代码示例:

   1:  // definitions.cpp
   2:  class WindowCounter;   // Forward reference; no definition
   3:  class Window
   4:  { 
   5:  static WindowCounter windowCounter;  // Definition of WindowCounter not required 
   6:  };
   7:   
   8:  int B;           //是定义,定义了B为整型的外部变量
   9:   
  10:  int main() { 
  11:  extern int A;   //这是个声明而不是定义,声明A是一个已经定义了的外部变量
  12:                  //注意:声明外部变量时可以把变量类型去掉如:extern A; 
  13:  dosth();        //执行函数 
  14:  }

.csharpcode, .csharpcode pre
{
font-size: small;
color: black;
font-family: consolas, "Courier New", courier, monospace;
background-color: #ffffff;
/*white-space: pre;*/
}
.csharpcode pre { margin: 0em; }
.csharpcode .rem { color: #008000; }
.csharpcode .kwrd { color: #0000ff; }
.csharpcode .str { color: #006080; }
.csharpcode .op { color: #0000c0; }
.csharpcode .preproc { color: #cc6633; }
.csharpcode .asp { background-color: #ffff00; }
.csharpcode .html { color: #800000; }
.csharpcode .attr { color: #ff0000; }
.csharpcode .alt
{
background-color: #f4f4f4;
width: 100%;
margin: 0em;
}
.csharpcode .lnum { color: #606060; }

外部变量的“定义”与外部变量的“声明”是不相同的,外部变量的定义只能有一次,它的位置是在所有函数之外,而同一个文件中的外部变量声明可以是多次的,它可以在函数之内(哪个函数要用就在那个函数中声明)也可以在函数之外(在外部变量的定义点之前)。系统会根据外部变量的定义(而不是根据外部变量的声明)分配存储空间的。对于外部变量来讲,初始化只能是在“定义”中进行,而不是在“声明”中。所谓的“声明”,其作用,是声明该变量是一个已在后面定义过的外部变量,仅仅是为了“提前”引用该变量而作的“声明”而已。extern 只作声明,不作任何定义。

声明的最终目的是为了提前使用,即在定义之前使用,如果不需要提前使用就没有单独声明的必要,变量是如此,函数也是如此,所以声明不会分配存储空间,只有定义时才会分配存储空间。

用static来声明一个变量的作用有二:

        1、对于局部变量用static声明,则是为该变量分配的空间在整个程序的执行期内都始终存在。

        2、外部变量用static来声明,则该变量的作用只限于本文件模块。