发布时间:2023-11-07 15:24来源:www.sf1369.com作者:宇宇
如果是指变量的声明和定义:
从编译原理上来说,声明是仅仅告诉编译器,有个某类型的变量会被使用,但是编译器并不会为它分配任何内存。而定义就是分配了内存。
对于下面的两句代码:
void Func()
{
int a;
int b=1;
a=0;
}
对于第一行代码,编译器不会做任何事,它不会为它在栈中分配一点东西,直到第三句,a=0;时,编译器才会将其压入栈中。而对于int b=0;这一句,编译器就会生成一条指令,为它赋值。如果反汇编,看到的代码可能是这样的:
push 1;
push 0;
当然,并不一定编译器就会样做,也有可能在声明int a时,编译器就会把一个废值入栈,到第三条再为其赋值,这要看编译器的具体取舍,所以,声明不一定不是定义,而定义一定是定义。
但是,下面的声明,一定仅仅是声明:
extern int a;
这表时,有一个int变量a,它一定是在另外其他地方定义的,所以编译器此时一定不会做什么分配内存的事,因为它就是声明,仅仅表明下面的代码引用了一个符号,而这个符号是int类型的a而已。
如果是指函数的声明和定义:
声明:一般在头文件里,对编译器说:这里我有一个函数叫function() 让编译器知道这个函数的存在。
定义:一般在源文件里,具体就是函数的实现过程 写明函数体。
声明一般是:类型 变量(函数)名; 定义一般是:类型 变量(函数)名 定义体; 如果一个语句只是指出 将有这样一个东西, 而不能指出这个东西到底什么内容, 则是一个声明;如果语句可以指出是什么内容,则是定义. char ch; 虽然没有赋值,但是我们知道char 在未赋值之前是 '\0' , 所以可以认为是一个隐式的定义(当然,也可以认为是个声明而已,取决于上下文). 但是像 extern int error_num; 我们并不知道 error_num 是不是0 因为它是 extern ,外面的. 而带有后面{}的,因为花括号里面是定义体,显然这就是个定义了. 而double sqrt(double);没有{}, 它是个声明实体在花括号里.圆括号里是参数.
声明就是声明一下我用到的变量或者类型,变量或者类型的实际定义并不一定在本文件内。
给变量分配了空间才叫做定义,否则就是声明
比如extern int a; 是声明,a的定义是在别处,这里并没有为a分配空间。
比如int a;即是定义
函数以及类型,声明就是用函数或者类型的头部来声明
比如 struct x;声明 struct x{};定义
比如 int fun();声明 int fun(){}定义
不会出错的。
只有说所有变量声明、定义语句必须在其他执行语句之前。
这里int num = 10;也是定义语句,不算是赋值语句。
而且好像这条规则是较早版C语言中才有的,后来的C语言规范已经没有这条要求了