C语言extern作用示例说明

首先提问, 下面2句有什么区别? 在运行时会有什么结果?

示例1

#include <stdio.h>
extern int g_id = 10;	// extern, 并初始化
int main(int argc, char **argv)
{
	// 打印值
    printf("g_id is %d\n", g_id);
    // 取地址
    printf("g_id adr is 0x%x\n", (int)&g_id);
}

编译有警告, 但没有错误

extern_test.c:3:12: warning: ‘g_id’ initialized and declared ‘extern’
 extern int g_id = 10;

运行结果也正常

[uxdb@localhost ~]$ ./extern_test 
g_id is 10
g_id adr is 0x601040

示例2

#include <stdio.h>
extern int g_id; // extern, 未初始化
int main(int argc, char **argv)
{
	// 打印值
    printf("g_id is %d\n", g_id);
    // 取地址
    printf("g_id adr is 0x%x\n", (int)&g_id);
}

编译报错, 提示"未定义的引用, g_id", 说明这里g_id只是声明, 而非定义

/tmp/ccKzvpMf.o: In function `main':
extern_test.c:(.text+0x11): undefined reference to `g_id'
extern_test.c:(.text+0x27): undefined reference to `g_id'
collect2: error: ld returned 1 exit status

总结

1. extern 作用在变量上, 类似于使用#include<>指令引用.h中的函数声明.
   一般来说, 我们在.h中定义函数的声明, 在.c中定义函数的实现, 调用的使用使用#include<>指令.而extern作用类似, 相当于#include某个变量, 其定义可能在别的.c中.

2. 综上, 那么, 这里 extern int g_id = 10; 和 extern int g_id; 有什么区别呢?

3. extern int g_id;的意思是告诉编译器我声明了一个变量g_id, 它的定义可能在其他模块中, 编译链接的时候, 你需要去查找, 如果找不到, 那么编译器就会报"未定义的引用"错误.

4. 而extern int g_id = 10; 只要这里给g_id 初始化了(注意不是复制, 是初始化)了, 那么这里g_id就不是声明了, 而是定义了, 前面的"extern"关键字的作用就会被忽略. 即: 和 int g_id = 10; 或 int g_id; 效果是一样的.

   注意: int g_id; 也是定义, 而非声明, 编译器给其默认初始化值为0.

5. 我们知道, 无论是变量还是函数, 声明不用分配内存空间, 而定义(即实现)是要分配内存空间的(函数也一样, 函数名也是函数指针, 指针也是要分配内存空间的), 即: 定义的变量, 是可以对其使用"&"取地址的, 而声明不可以, 编译会报错.

下面再使用2个示例进行实际的说明:

示例3

// aux.c

int g_id = 50;

// extern_test.c

#include <stdio.h>
extern int g_id; // extern, 未初始化
int main(int argc, char **argv)
{
	// 打印值
    printf("g_id is %d\n", g_id);
    // 取地址
    printf("g_id adr is 0x%x\n", (int)&g_id);
}

编译正常, 无错误

gcc -o extern_test aux.c extern_test.c

运行结果也OK

[uxdb@localhost ~]$ ./extern_test 
g_id is 50
g_id adr is 0x601040

示例4

// aux.c

int g_id = 50;

// extern_test.c

#include <stdio.h>
extern int g_id = 10;	// extern, 并初始化
int main(int argc, char **argv)
{
	// 打印值
    printf("g_id is %d\n", g_id);
    // 取地址
    printf("g_id adr is 0x%x\n", (int)&g_id);
}

编译报错, 提示: 变量重复定义了.

/tmp/ccMttFWE.o:(.data+0x0): multiple definition of `g_id'
/tmp/ccOkGyGW.o:(.data+0x0): first defined here
collect2: error: ld returned 1 exit status

再总结

理论上, 凡是声明式, 都应该添加extern加以说明, 反之, 添加了extern, 就应该标明其实声明式而非定义式.
让我们困惑extern用法的, 其实是存在的例外和默认行为.

例外

extern int g_id = 10;

extern void test()
{
}

上述2句, 都是定义式, 而非声明式, 严格意义上, 在此添加的extern都是不正确的, 但编译器只会给出一个警告, 而非错误. 估计应该是为兼容性而作的无奈妥协.

其实, C/C++中存在很多这样的, 明明写的不正确, 但编译器就只报个警告—兼容的历史包袱太重, 没有办法.

默认行为

我们经常在一些代码的.h中看到, 有些函数声明添加了extern, 有些没有, 这二者有什么区别? 什么情况需要添加?

1. 如果你的项目跨平台, 并且明确知道可能会用到一些比较老的编译器下, 那么都加上extern, 因为在一些老的编译器下, 函数声明不加extern, 会报错
2. 除过1之外, 大部分情况下, 加和不加没有任何区别.
   原因: 个人猜测, 函数的声明式和定义式很明显, 没有{}就是声明式, 有就是定义式, 所以, 显式的添加extern, 有点多余. 这也是现在绝大部分现代编译器支持没有extern的函数声明.
3. 而变量的声明式, 不能像函数那样做明显区分, 所以就必须要显式的添加.