一、声明和定义的区别
1.声明(Declaration):是告诉编译器有一个变量、函数或类型存在,但不为其分配内存或提供具体的实现。声明提供了有关标识符(如变量名、函数名)的信息,包括类型和名称。
它们通常在头文件中出现,以便在多个源文件中共享。
例如,以下是变量、函数和类型的声明示例:
int a; // 变量声明
extern int x; // 变量声明, extern关键字
int add(int a, int b); // 函数声明
typedef struct Point Point; // 类型声明
2.定义(Definition):是在声明的基础上为标识符分配内存并为其提供具体的值或实现。在变量的情况下,定义分配内存并初始化变量。在函数的情况下,定义提供函数的具体实现。
另外,一个变量或对象只能被定义一次,否则编译器会提示重复定义。
例如,以下是变量、函数和类型的定义示例:
int a = 10; // 变量定义
int add(int a, int b) { return a + b; } // 函数定义
struct Point { int x; int y; }; // 类型定义
3.区别
主要区别在于它们的作用和行为:
声明:是为了告诉编译器标识符的类型和名称,它们不会分配内存或提供具体的实现。声明通常用于头文件中,以便其他源文件可以访问和使用标识符。
定义:是为标识符分配内存并提供具体的值或实现。定义将标识符放入内存中,使其可以在程序中使用。
在实际编程中,通常将变量、函数和类型的声明放在头文件中,然后将其定义放在源文件中。这种分离有助于代码的组织和模块化,同时允许多个源文件共享声明。
简概:
声明:用来告诉编译器变量的名称和类型,而不分配内存,不赋初值。
定义:为了给变量分配内存,可以为变量赋初值。
注:定义要为变量分配内存空间;而声明不需要为变量分配内存空间。
二、编译原理理解
从编译原理上来说,声明是仅仅告诉编译器,有个某类型的变量会被使用,但是编译器并不会为它分配任何内存。而定义就是分配了内存。
如下面代码:
void fun()
{
int a;
int b=1;
a=2;
}
对于第一行代码,编译器不会为它在栈中分配一点东西(内存),直到第三句,a=2;时,编译器才会将其压入栈中。而对于int b=1;这一句,编译器就会生成一条指令,为它赋值。如果反汇编,看到的代码可能是这样的:
push 1;
push 2;
当然,并不一定编译器就会样做,也有可能在声明int a时,编译器就会把一个废值入栈,到第三条再为其赋值,具体看编译器。所以,声明不一定不是定义,而定义一定是定义。