从编译原理上来说，声明是仅仅告诉编译器，有个某类型的变量会被使用，但是编译器并不会为它分配任何内存。而定义就是分配了内存。这对于以关键字extern进行声明是一定成立的，而对声明格式“int a;”来说，则需要取决于编译器的具体取舍。

 

对于下面的两句代码：

void func(){    int a;           // 《C++ Prime》认为此是定义变量，然而我们此处认为这是声明    int b=1;        // 定义整型变量b    a=0;}

对于第一行代码，编译器不会做任何事，它不会为它在栈中分配一点东西，直到第三句，a=0;时，编译器才会将其压入栈中。而对于int b=0;这一句，编译器就会生成一条指令，为它赋值。如果反汇编，看到的代码可能是这样的：

push 1;push 0;

当然，并不一定编译器就会样做，也有可能在声明int a时，编译器就会把一个废值入栈，到第三条再为其赋值，这要看编译器的具体取舍，所以，声明不一定不是定义，而定义一定是定义。

但是，下面的声明，一定仅仅是声明：

extern int a;

这表时，有一个int变量a，它一定是在另外其他地方定义的，所以编译器此时一定不会做什么分配内存的事，因为它就是声明，仅仅表明下面的代码引用了一个符号，而这个符号是int类型的a而已。

 

【举例分析】

#include 
     
      #include 
      
        using namespace std;void testVarible1(){	int a = 10;	int b;				// 《C++ prime》中认为此是定义变量	int c = 10;	printf("a address: %#x\n", &a);	printf("a address: %#x\n", &b);	printf("c address: %#x\n", &c);}void testVarible2(){	int a = 10;	int b = 10;	int c = 10;	printf("a address: %#x\n", &a);	printf("a address: %#x\n", &b);	printf("c address: %#x\n", &c);}int main(){	testVarible1();	testVarible2();	return 0;}
      
     

输出结果：

结论：由图可知，在我的编译器中，未赋初始值的变量b也有分配栈地址。

 

传送门：

 

2018-3-24更新

• 我们不再认为语句“int a;”为声明变量，而是定义变量，只是没有指定初始值。