C语言中声明和定义的区别

一、声明和定义的区别

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时，编译器就会把一个废值入栈，到第三条再为其赋值，具体看编译器。所以，声明不一定不是定义，而定义一定是定义。