错误：“f”的冲突类型和“f”的先前声明在这里

Question

这段代码只是我在实际代码中发现的一种情况，它非常大，所以我给出了这个。在这段代码中，结构“struct node”没有定义它是在另一个c源中定义的文件。

我的c源代码：

/* test.c */

  1 #include<stdio.h>
  2 #include "test2.h"
  3
  4 void f(struct node * k)
  5 {
  6   
  7 }

我的头文件：

/* test2.h */

  1 extern void f(struct node * k);

当我用 gcc 编译这段代码来创建一个目标文件时：

gcc -w -c test.c

我明白了：

test.c:6: error: conflicting types for 'f'
test2.h:1: error: previous declaration of 'f' was here

我已经给出了函数f()的完整原型。为什么我会收到此错误？

另一件事是，当我在 test.c 中不包含头文件 test2.h 并在 test.c 中显式声明函数原型时，它会编译成功地。代码如下：

 /* test.c */

      1 #include<stdio.h>
      2 void f(struct node *k);
      3
      4 void f(struct node * k)
      5 {
      6
      7 }

gcc -c -w test.c

没有错误。

你能解释一下为什么这次我没有收到错误吗？

Answer 1

这与原型上的extern 关键字无关（虽然不是必须的）。

您需要struct node 的前向声明：

/* test2.h */

struct node;  // <== this

extern void f(struct node * k);

如果没有该前向声明，函数原型中的struct node 对于该特定函数原型是本地的。

因此，当编译器看到f() 的定义时，它还会看到另一个不同 struct node 的本地声明，并认为您对f() 有一个冲突的声明。

参见 C99 6.9.1“标识符的范围”：

对于标识符指定的每个不同实体， 标识符仅在区域内可见（即可以使用） 程序文本称为其范围。指定的不同实体 相同的标识符要么具有不同的范围，要么具有不同的名称 空格。作用域有四种：函数、文件、块和 函数原型。 （函数原型是一个声明 声明其参数类型的函数。）

...

如果声明标识符的声明符或类型说明符 出现在函数的参数声明列表中 原型（不是函数定义的一部分），标识符有 函数原型作用域，在函数结束时终止 声明者。

GCC 4.6.1 给我一个很好的警告：

C:\temp\test.c:3:22: warning: 'struct node' declared inside parameter list [enabled by default]
C:\temp\test.c:3:22: warning: its scope is only this definition or declaration, which is probably not what you want [enabled by default]

C++ 使函数原型范围仅适用于参数名称（C++03 3.3.3），因此如果将代码编译为 C++，则不会出现此问题。

Answer 2

从标题中删除外部。 当您将函数声明为外部函数时，您会指导编译器该函数不会被编译，并且对该函数的任何引用都将在链接中解析。 通常，此声明在使用预编译库时完成。

Answer 3

在您的 test2.h 中，您已将 f 声明为 extern，这就是您收到错误的原因。在 test.c 中原型中没有 extern 声明。