C++基本语法之——声明与定义

1、一个声明（条款7）将名字引入到一个翻译单元中，或是将已经由先前声明所引入的重声明名字引入到一个翻译单元中。一个声明指定了这些名字的解释和属性。

举个例子：

extern int a; // 声明一个int变量，名字是aint main(void){ extern int a; // 重新声明了一个之前已经声明过的变量a} 

 

2、一个声明是一个定义，除非它声明了一个函数却没有指定函数体（8.4）；或是它含有extern指定符（7.1.1）或连接指定符（7.5），并且该连接指定符既不包含一个初始化器，也不包含一个函数体；或是它在一个类声明中声明了一个静态数据成员（9.4）；或者它是一个类名的声明（9.1）；或者它是一个typedef声明（7.1.3）；或是一个using声明（7.3.3）；或是一个using指示符（7.3.4）。

这里要说明的是“连接指示符”就是extern "C"{}、extern "C++"{}这些。

 

3、以下代码既是声明又是定义：

int a; // defines aextern const int c = 1; // defines cint f(int x) { return x+a; } // defines f and defines xstruct S { int a; int b; }; // defines S, S::a, and S::bstruct X { // defines X int x; // defines nonstatic data member x static int y; // declares static data member y X(): x(0) { } // defines a constructor of X};int X::y = 1; // defines X::yenum { up, down }; // defines up and downnamespace N { int d; } // defines N and N::dnamespace N1 = N; // defines N1X anX; // defines anX 

以下代码仅仅是声明：

extern int a; // declares aextern const int c; // declares cint f(int); // declares fstruct S; // declares Stypedef int Int; // declares Intextern X anotherX; // declares anotherXusing N::d; // declares N::d 

 

4、［注：在某些情况下，C++实现隐式地定义了默认的构造器（12.1）、拷贝构造器（12.8）、赋值操作符（12.8）或析构器（12.4）成员函数。例如给定：

struct C { string s; // string is the standard library class (clause 21)};int main(){ C a; C b = a; b = a;} 

实现将隐式地定义函数，使得结构C的定义等价与：

struct C { string s; C(): s() { } C(const C& x): s(x.s) { } C& operator=(const C& x) { s = x.s; return *this; } ̃C() { }}; 

]

 

5、［注：一个类名也可以通过一个复杂类型指定符（3.3.1）而被隐式声明］

复杂类型指定符的语法定义如下：

elaborated-type-specifier: class-key ::$opt nested-name-specifier$opt identifier class-key ::$opt nested-name-specifier$opt template$opt template-id enum ::$opt nested-name-specifier$opt identifier typename ::$optnested-name-specifier identifier typename ::$optnested-name-specifier template$opt template-id 

（注：$opt表示$opt前面的一个token是可选的，即在某些情况下可省）

 

6、如果任一对象的定义把一个不完整的类型给了这个对象，那么这个程序是不良定义的（3.9）。