`char*array [size]`和`extern char**array`连接错误？

Question

首先,看看这个例子(我为了举例而做了这个,它不是一个真正的程序):

whatever.h

#ifndef WHATEVER_H
#define WHATEVER_H

void fill(void);

#endif

main.c中

#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;
}

whatever.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;到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)

基本上,它的意思是,海湾合作委员会已总算链接extern char **names;在whatever.c同names[0]在main.c!

Answer 1

每当您在不同的编译单元中为同一个变量使用不同的,不兼容的类型时(就像您在此处所做的那样),您将获得未定义的行为.这意味着它可能无法正常工作,您可能不会收到任何有关它的错误或警告消息.

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