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

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

举个例子：

extern int a; // 声明一个int变量，名字是a int 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 a extern const int c = 1; // defines c int f(int x) { return x+a; } // defines f and defines x struct S { int a; int b; }; // defines S, S::a, and S::b struct 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::y enum { up, down }; // defines up and down namespace N { int d; } // defines N and N::d namespace N1 = N; // defines N1 X anX; // defines anX 

以下代码仅仅是声明：

extern int a; // declares a extern const int c; // declares c int f(int); // declares f struct S; // declares S typedef int Int; // declares Int extern X anotherX; // declares anotherX using 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 ::$opt nested-name-specifier identifier typename ::$opt nested-name-specifier template$opt template-id 

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

 

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