在C++中,声明和定义是两个不同的概念。
声明
声明是指在程序中告诉编译器某个符号(如变量、函数、类)的名称和类型,以便在后续代码中使用该符号。
声明只是引入了一个符号的名称和类型,但并不会分配内存空间或执行代码。例如:
extern int i;//声明
int sum(int num1, int num2); // 声明一个函数sum,接受两个整型参数并返回一个整型结果
class Dog; // 声明一个类Dog
template<typename T>
class A;//模板声明
定义
定义是指为某个符号分配内存空间或执行相应的代码。定义会告诉编译器创建一个具体的实体。
例如:
int a = 5; // 定义并初始化一个整型变量a
int sum(int num1, int num2) { // 定义函数sum的具体实现
return num1 + num2;
}
class Dog { // 定义一个类Dog
private:
int age;
string name;
public:
Dog(int age, string name); // 声明并定义构造函数
void bark(); // 声明并定义成员函数
};
特殊情况1
需要注意的是,变量的声明通常也会成为定义,因为它们会同时分配内存空间。
比如
int a;
char b;
这些也会导致系统分配内存
特殊情况2:extern
为了允许把程序拆分成多个逻辑部分来编写,C++语言支持分离式编译机制,该机制允许将程序分
割为若干个文件,每个文件可被独立编译。
如果将程序分为多个文件,则需要有在文件间共享代码的方法。
为了支持分离式编译,C++语言将声明和定义区分开来。
声明使得名字为程序所知,一个文件如果想使用别处定义的名字则必须包含对那个名字的声明,而定义负责创建与名字关联的实体。
如果想声明一个变量而非定义它,就在变量名前添加关键字extern,而且不要显式地初始化变量:
extern int i; //声明i而非定义i
int j; //声明并定义j
任何包含了显式初始化的声明即成为定义。extern语句如果包含初始值就不再是声明,而变成定义了:
extern double pi = 3.1416; //定义
在函数体内部,如果试图初始化一个由extern关键字标记的变量,将引发错误。
如果对extern感兴趣的话可以看看:http://t.csdnimg.cn/DEPH0
总结
变量能且只能被定义一次,但是可以被多次声明。
声明和定义的区别看起来也许微不足道,但实际上却非常重要。
如果要在多个文件中使用同一个变量,就必须将声明和定义分离。
此时,变量的定义必须出现在且只能出现在一个文件中,而其他用到该变量的文件必须对其进行声明,却绝对不能重复定义。