声明变量&定义变量

        从编译原理上来说，声明是仅仅告诉编译器，有个某类型的变量会被使用，但是编译器并不会为它分配任何内存。而定义就是分配了内存。这对于以关键字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 testVarible1()
{
	int a = 10;
	int b;				// 《C++ prime》中认为此是定义变量
	int c = 10;
	printf("a address: %#x
", &a);
	printf("a address: %#x
", &b);
	printf("c address: %#x
", &c);
}

void testVarible2()
{
	int a = 10;
	int b = 10;
	int c = 10;
	printf("a address: %#x
", &a);
	printf("a address: %#x
", &b);
	printf("c address: %#x
", &c);
}

int main()
{
	testVarible1();
	testVarible2();
	return 0;
}

输出结果：

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

传送门：《C++ Prime》中对于变量声明和变量定义的理解

2018-3-24更新

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