在静态库中使用全局变量

Question

我正在用纯C编写一些代码，RHEL 5.5 x64，gcc版本4.1.2 20080704（Red Hat 4.1.2-48）

我有一个使用2个静态库编译的可执行文件。 他们每个都使用一些全局（对于给定的库）数组变量（即在一些.c文件中我有一个char var1[VAR_SIZE1];然后在lib的其他.c文件中我使用extern char var1[VAR_SIZE1]; ,与第二个lib相同的情况）。 每个库都放在它自己的可执行源目录的子目录中。 我开始注意到一个lib可以将其数据放在另一个lib的内存中。 为了发现正在发生的事情，我已经定义了一个指向第三个lib中的一个变量的void指针（lib 3被两个lib使用），在lib1中为该指针分配一个地址并查看lib2中的地址。 我现在看到的是：

char var1[1000]; /*please mind the length*/
extern void* ptr_to_var2;
printf("var1 addr is %p, var2 addr is %p\n", (void*)&var1, ptr_to_var2);

这段代码产生了

var1 addr为0xa11b00，var2 addr为0xa11e00

如您所见，var1应该以地址0xa11ee8结束，而var2的头部是INSIDE var1内存。 我究竟做错了什么？ 在静态库中使用全局变量有任何限制吗？ 我不能将这些变量定义为静态变量，因为它们在每个lib中的许多文件中使用，并且使这些变量动态是一项大工作（有许多这样的变量）。

PS当然，ptr_to_var2已初始化。 真正发生了什么

<lib3>
void* ptr_to_var2;

<lib2>
#include "hdr_with_my_struct_name_definition.h"
my_struct_name var2[5];
extern void* ptr_to_var2;

int func2(){
   ptr_to_var2=(void*)&var2;
   var2[0].fld1=12345;
   return 1;
}

<lib 1>
#include "hdr_with_my_struct_name_definition.h"
char var1[1000];
extern void* ptr_to_var2;

int func1(){
   my_struct_name *temp_var_2=(my_struct_name*)ptr_to_var2;
   printf("%d", temp_var_2[0].fld1);
   memset(var1, '\0', sizeof(var1);
   printf("%d", temp_var_2[0].fld1);
   return 1;
}

<binary>

main(){
   func2();
   func1();
   return;
}

所有这些都返回12345 0

Answer 1

printf("var1 addr is %p, var2 addr is %p\n", (void*)&var1, ptr_to_var2);

在这里，你试图打印ptr_to_var2值， ptr_to_var2不是它的地址。 由于此变量尚未初始化，因此其值可以是随机的，也可以是任意值。

#include<stdio.h>

char v[1000];

void *p1;

int main() {

    printf ("var1 %p, var2 %p  &var2 %p\n", &v[0], p1, &p1);

    return 0;
}

得到：

var1 0x601040, var2 (nil)  &var2 0x601428

Answer 2

使用extern子句，您告诉编译器在链接时解析该符号。 链接后，在二进制文件中只有一个名为ptr_to_var符号。 当然，你必须确保它在某个地方被初始化。 在您粘贴的代码中，我们无法知道它是否已初始化。 虽然看起来你没有。

顺便说一句，尝试为图书馆制作一个nm 。 您将看到指定为extern的符号为undefined（大写u），但该库或目标文件中确实定义的符号（即，没有extern子句声明）。