声明、定义 in C++

序

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

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

         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 声明。

 

    声明（也是定义）:

// Declare and define int variables i and j.
int i;
int j = 10;

// Declare enumeration suits.
enum suits { Spades = 1, Clubs, Hearts, Diamonds };

// Declare class CheckBox.
class CheckBox : public Control
{
public:
    Boolean    IsChecked();
    virtual int  ChangeState() = 0;
};

   

    声明（非定义）:

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

 

定义

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

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

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

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

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

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

     代码示例：

// definitions.cpp
class WindowCounter;   // Forward reference; no definition
class Window
{
static WindowCounter windowCounter;  // Definition of WindowCounter not required
};

int B;           //是定义，定义了B为整型的外部变量

int main() {
extern int A;   //这是个声明而不是定义，声明A是一个已经定义了的外部变量
                //注意：声明外部变量时可以把变量类型去掉如：extern A;
dosth();        //执行函数
}

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

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

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

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

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