无参数类型的函数声明在ANSI C中能否编译？代码疑问

这段代码既不符合ANSI C（C89）标准，也不符合C99及以后的更新标准，无法通过-ansi -pedantic-errors的严格编译，核心原因是函数声明与定义的类型不匹配。

错误原因解析 #

你代码中的float declaration();是非原型式函数声明，和float prototype(float);这种原型式声明有本质区别：

• 原型式声明（如float prototype(float);）：明确告知编译器函数的参数类型，属于标准中提到的“声明其参数类型的函数声明”。
• 非原型式声明（float declaration();）：在ANSI C中表示函数接受数量、类型均未指定的参数（注意：不是“无参数”，无参数必须写float declaration(void);）。此时编译器会对调用时的实参执行默认参数提升：char/short会提升为int，float会提升为double。

你的函数定义是float declaration(float x)，参数类型为float，但调用时传入的10是int类型，经过默认提升后还是int——这就导致声明的参数预期（提升后的int）和定义的参数类型（float）冲突，触发编译器的“conflicting types”错误。

关于标准的解读 #

你引用的ANSI C标准原文：

6.2.1 标识符的作用域……函数原型是声明其参数类型的函数声明。

这句话的意思是：函数原型是一类明确声明参数类型的函数声明，反过来讲，不是所有函数声明都是原型——非原型式的空括号声明就不属于原型，它不提供任何参数类型信息，这也是导致你代码冲突的关键。

新旧C标准的差异 #

• ANSI C（C89）：允许非原型式声明，但要求函数定义的参数类型必须和实参经过默认提升后的类型一致。你的代码不符合这个要求，因此严格编译会报错。
• C99及以后标准：直接废弃了非原型式函数声明，要求所有函数声明必须是原型式（要么明确参数类型，要么用void表示无参数），所以这段代码在新标准下同样不合法。

修正方案 #

将非原型式声明改为原型式声明即可，把：

float declaration();

修改为：

float declaration(float);

这样声明和定义的参数类型一致，编译就能通过。

内容的提问来源于stack exchange，提问作者Plouff