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[];与names的区别如何？

我在Linux下使用gcc 4.5.1版。

更新

为了进一步调查此问题，我将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;）

基本上，这意味着gcc设法将whatever.c中的names[0]与main.c中的{{1}}联系起来！

Answer 1

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

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

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

更新

1 个答案: