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在常量区，p3在栈上。

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

p1 = (char *)malloc(10);

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

}

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

参考资料：

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

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

原文链接: https://www.cnblogs.com/yaozhaoyz/archive/2012/11/05/2755930.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍