- 声明:
声明是一种C++构造,它引入(或重新引入)一个名称到某个C++作用域,有效的声明并不要求包含被引入对象的细节。
eg:
class C;//类C的声明
void f(int p);//函数f的声明,其中p是一个被命名的参数
extern int v;//变量v的声明
- 定义
如果已经确定了这种C++构造(即声明)的细节,或者对于变量而言,已经为它分配了内存空间,那么声明就变成了定义。
对于“类类型或者函数”的定义,意味着必须提供一堆花括号内部的实体。对于变量而言,进行初始化和 不具有extern关键字的声明都是定义
eg:
class C{};//类C的定义(和声明)
void f(int p){//函数f()的定义(和声明)
cout<<p<<endl;
}
extern int v=1;//一个初始化器使之成为v的定义
int w;//前面没有extern的全局变量声明,同时也是定义
对于类模板或者函数模板的声明,如果本身具有代码实体,我们就称之为定义
总结:
声明是一种 “ 把一个C++名称引入或者重新引入到你的程序 ” 的构造。一个声明也可以是一个定义,这取决于它所引入的哪些实体以及如何引入这些实体的。
名字空间和名字空间别名:名字空间的声明和名字空间的别名通常都是定义,因为名字空间的成员列表在以后是可以进行扩展的。
类、类模板、函数、函数模板、成员函数和成员函数模板:当且仅当这个声明包含一个与声明的名称相关联的花括号时,该声明才是定义,这条规则同样也适应于:联合、运算符、成员运算符、静态成员函数、构造函数、析构函数等
枚举:当且仅当该声明包含一对花括号内的枚举子时,该声明才是定义
局部变量和非静态成员变量:这些实体总是可以被看成定义,尽管对于它们而言,声明和定义的区别几乎不会产生任何影响
全局变量:如果声明前没有直接用关键字extern,或者它具有一个初始化器,那么这个全局变量的声明就是该变量的定义,否则就不是一个定义
静态成员变量:当且仅当这些实体出现在“包含它们的类或者模板”的外部时,该实体的声明才是定义