Function 在没有原型的情况下定义有时会导致类型冲突错误

Question

我在 clang（来自 Homebrew 的 AppleClang 1400.0.29.202 和 clang 15.0.7）中遇到了一个奇怪的行为。 假设我有以下代码：

int bar();

int bar(int a, TEST b) {
    return 43;
}

它使用-DTEST=int编译，但无法使用-DTEST=char编译，导致conflicting types for 'bar' 。 无论指定的标准如何（我已经尝试过c89和c99 ）都会发生这种情况。

我错过了什么吗？

编辑：我意识到省略原型是非常不鼓励的，我不写这样的代码，但在野外仍然有很多这样写的代码。 今天早上我试图编译enscript并遇到了这个问题。

此外，以下内容适用于-DTEST=char 。

int bar();

int bar(a, b)
    int a;
    TEST b;
{
    return 43;
}

EDIT2：在询问之前，我应该在其他编译器上尝试过。 GCC output 包含关于参数提升的注释：

note: an argument type that has a default promotion cannot match an empty parameter name list declaration

Answer 1

我错过了什么吗？

是的，正确的 function 声明。 代码应该是：

int bar(int a, TEST b);

int bar(int a, TEST b) {
    return 43;
}

[为什么我会收到此错误？]

int bar()是一个 function ，具有未指定的计数和类型 arguments 并且所有 arguments 都经过默认参数提升，其中char被提升为int 。 因为int bar()不可能接受char参数，因为它会被提升为int ，这是一种冲突类型。