6

首先，看这个例子（我为了例子而编造了这个，它不是一个真正的程序）：

随便什么.h

#ifndef WHATEVER_H
#define WHATEVER_H

void fill(void);

#endif

主程序

#include <stdio.h>
#include "whatever.h"

char *names[10] = {NULL};

int main()
{       
        int i; 
        fill(); 
        for (i = 0; i < 10; ++i)
                printf("%s\n", names[i]);
        return 0;
}

随便什么.c

#include "whatever.h"

extern char **names;

void fill(void)
{
        int i;
        for (i = 0; i < 10; ++i)
                names[i] = "some name";
}

当我使用以下方法制作这个程序时：

gcc -o test main.c whatever.c -Wall -g

我没有收到任何错误或警告。但是，当我运行程序时，我看到 ,fill实际上names是NULL. 如果whatever.c我改变

extern char **names;

到

extern char *names[];

那么一切都很好。

谁能解释为什么会这样？如果 gcc 无法extern char **names;与 in链接，main.c它不应该给我一个错误吗？如果它可以链接它们，为什么names最终会NULL在whatever.c？

另外，与 有何extern char **names;不同extern char *names[];？

我在 Linux 下使用 gcc 版本 4.5.1。

更新

为了进一步研究这一点，我将namesin的定义更改main.c为：

char *names[10] = {"1", "2", "3", "4", "5", "6", "7", "8", "9", "10"};

（保留extern char **names;）whatever.c和gdb，我可以看到它names具有价值。如果我将该值转换为char *并打印它，它会给我"1". （注意，不是*names，"1"而是(char *)names）

基本上，这意味着 gcc 以某种方式设法与inextern char **names;链接！whatever.cnames[0]main.c

4

1 回答 1

5

每当您在不同的编译单元中为同一个变量使用不同的、不兼容的类型时（就像您在此处所做的那样），您会得到未定义的行为。这意味着它可能不起作用，您可能不会收到任何有关它的错误或警告消息。

为什么会发生这种情况（以及为什么规范说这是未定义的）是由于大多数链接器的工作方式。大多数链接器对类型一无所知。他们只了解名字和记忆。所以就链接器而言，变量只是从某个地址开始的一块内存。在您的（原始）程序中main.c定义names为引用一个足够大以容纳 10 个指针（可能是 40 或 80 个字节，取决于这是 32 位还是 64 位系统）的内存块的开始，所有这些都是空值。 whaterver.c，另一方面，假设names指的是一个足够大的内存块来保存一个指针，并且该指针指向一个由 10 个指针组成的数组。

于 2012-05-29T16:54:28.423 回答