extern 关键字(1) -- “声明” 与 “定义”

在下列情况下，声明仅仅是声明：

1：仅仅提供函数原型。如void func(int,int);

2: extern int a;  // 没有初始化， extern int a=0;

3：class A；

4：typedef声明 typedef int  MyINT32;

5：在类中定义的静态数据成员的声明  class A {static int a;};

除此之外， 变量或函数， 既是定义也是声明。

 

// declare.cpp

int a=5;
char b='a'+5;// f
char s[]="hello";
char t[]="world";

// define.cpp

#include <iostream>
using namespace std;

extern int a;
extern char b;
extern char s[];
//extern char * t; 
int main()
{
        cout<< a <<endl;
        cout<< b <<endl;
        cout<< s <<endl;
//      cout<< t << endl;
        int x=0;
        int y=0;
        int z=0;
        cout<< x <<endl<< y <<endl<< z <<endl;
        return 0;
}

编译链接： g++ -g define.cpp  -include declare.cpp 

用gdb看一下此时的内存：

可以看出extern声明的变量a、b、s是别的模块的全集变量，其地址增长方式是由小到大。

而x,y,z这些分配在栈上的内存，其地址增长方式是由大到小。如下：

 

关于程序的内存分配，可以参考百度百科。

堆和栈的区别

一、预备知识—程序的内存分配

　　一个由C/C++编译的程序占用的内存分为以下几个部分

 

　　1、栈区（stack）— 由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。

 

　　2、堆区（heap）— 由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。

 

　　3、全局区（静态区）（static）— 全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后由系统释放。

 

　　4、文字常量区 — 常量字符串就是放在这里的，程序结束后由系统释放 。

 

　　5、程序代码区— 存放函数体的二进制代码。

二、例子程序

　　这是一个前辈写的，非常详细

　　//main.cpp

　　int a = 0; 全局初始化区

　　char *p1; 全局未初始化区

　　main()

　　{

　　int b; 栈

　　char s[] = "abc"; 栈

　　char *p2; 栈

　　char *p3 = "123456"; 123456\0在常量区，p3在栈上。

　　static int c =0； 全局（静态）初始化区

　　p1 = (char *)malloc(10);

　　p2 = (char *)malloc(20); 分配得来的10和20字节的区域就在堆区。

　　}

　　strcpy(p1, "123456"); 123456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一个地方。

 

 

参考资料：

1. http://baike.baidu.com/view/93201.htm

2. http://blog.csdn.net/ithzhang/article/details/8119286