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()
{
}