从编译原理上来说，声明是仅仅告诉编译器，有个某类型的变量会被使用，但是编译器并不会为它分配任何内存。而定义就是分配了内存。这对于以关键字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 <iostream>
#include <cstdio>
using namespace std;
void testVarible()
{
int a = 10;
int *pa = &a;
int b; // 《C++ prime》中认为此是定义变量
int c = 10;
int *pc = &c;
int d = 10; // 定义变量并初始化
int *pd = &d;
int e = 10;
printf("a address: %#x\n", &a);
printf("c address: %#x\n", &c);
printf("e address: %#x\n", &e);
}
int main()
{
testVarible();
return 0;
}
输出结果：
结论：由图可知，在我的编译器中，变量b并未分配栈地址，而d却有分配。
