[C++知识库]C++语句 - 【8】声明语句（补充）

5.8 声明语句

声明将一个名称引入程序中。

C + + 程序由各种实体（如变量、函数、类型和命名空间）组成。 必须先?声明?其中的每个实体，然后才能使用这些实体。声明为实体指定唯一的名称，以及其类型和其他特征的相关信息。在 C+ + 中，声明名称的点是它对编译器可见的点。不能引用在编译单元中的某个后续点声明的函数或类。在使用变量之前，应尽可能将变量声明为靠近。

声明语句将新名称引入当前范围。 这些名称可以为：

1）类型名称（class、struct、union、enum、typedef 和 pointer-to-member）。

2）对象名。

3）函数名。

声明可以是以下任一项：

block-declaration?

function-definition?

template-declaration?

explicit-instantiation?

explicit-specialization?

linkage-specification?

namespace-definition

如果块中的声明引入一个已在块外声明的名称，则在块的持续时间内隐藏上一个声明。 停止该块后，上一个声明将再次可见。

同一个块中具有名称相同的多个声明是非法的。

声明告知编译器存在程序元素或名称。?定义指定名称描述的代码或数据。 必须先声明名称，然后才能使用该名称。

5.8.1 声明

声明将一个或多个名称引入程序中。 声明可以在一个程序中发生多次。 因此，可以为每个编译单元声明类、结构、枚举类型和其他用户定义的类型。 此多次声明的约束为所有声明必须相同。 声明还充当定义，除非声明：

1）是函数原型（没有函数体的函数声明）。

2）包含 extern 说明符，但不包含初始值设定项（对象和变量）或函数体（函数）。 这表明定义不一定在当前翻译单元中并提供名称外部链接。

3）是类声明中的静态数据成员。

由于静态类数据成员是类的所有对象所共享的分离变量，因此必须在类声明的外部对它们进行定义和初始化。（有关类和类成员的详细信息，请参阅类。）

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 );

5.8.2 定义

定义是对象、变量、函数、类或枚举数的唯一规范。由于定义必须是唯一的，因此程序只能包含一个给定程序元素的定义。 声明和定义之间可存在多对一的对应关系。 在两种情况下，可声明但不定义程序元素：

1）声明函数，但决不将其与函数调用或采用函数地址的表达式一起引用。

2）只能通过无需知道其定义的方式使用类。 但是，必须声明该类。 下面的代码阐释了这样的情况：

// definitions.cpp
class WindowCounter;   // Forward reference; no definition

class Window
{
   // Definition of WindowCounter not required
   static WindowCounter windowCounter;
};

int main()
{
}