C语言中编译时出现警告C4013（C语言不加函数原型产生的潜在错误）

最新推荐文章于 2024-05-01 22:16:23 发布

_Santiago

最新推荐文章于 2024-05-01 22:16:23 发布

阅读量3k

点赞数 2

分类专栏： C/C++基础知识文章标签： c语言开发语言

本文链接：https://blog.csdn.net/mary288267/article/details/126040291

版权

C/C++基础知识专栏收录该内容

24 篇文章 5 订阅

订阅专栏

一 C语言中函数原型并不必要

一直以来用的是C++写程序，今天偶尔看到一段C程序，发现一个有趣的bug，现记录下来，备忘。
首先，C++在使用函数之前必须进行原型声明，否则无法编译通过。而C语言由于历史原因，函数原型声明在很多情况下并不是必须的。

在C89或C90(另一种名称叫ANSI C)规范中，函数声明并不是必须的；如果没有声明函数原型，函数的默认返回值为int，使用这种方式的原因是早期C程序的返回值大多是int 型的。C99不再支持函数的int类型为默认类型的设置。
在很多编译器中，并没有很好的支持C99标准。比如VS编译器，通过查看MSDN，可以知道VS的支持的是ANSI C，因此函数可以不加原型。

二 C语言不加函数原型产生的潜在错误

下面是个例子，演示了不加函数原型可能产生的一种错误。在VS中输入下面一段代码，文件后缀为.c，以保证编译为C程序。

#include <stdio.h>

int main() 
{
	int arg = 5;
	float f = GetFloat(arg); 
	printf("\nf=%f", f);
	return 0;
}

float GetFloat(int m)
{
	double d = 2.0*m;
	return d;
}

在编译过程中出现警告信息，提示GetFloat函数没有定义，假设外部返回int。
在这里插入图片描述
我们继续运行，查看最终结果

f的值是1，错了。为什么呢？我们查看汇编语言

我们可以看到，编译器认为GetFloat函数应该返回整形，因此用寄存器eax的值赋给了浮点数寄存器xmm0，然后再用xmm0赋值给栈上变量f。而GetFloat函数实际的返回值放在xmm0寄存器中，因此上述赋值当然错误。
作为对比，我们看看有原型时编译器会怎么处理。
在这里插入图片描述
此时，编译后知道GetFloat返回的是浮点值，因此返回值存储在xmm0寄存器中，所以编译器用xmm0给栈中变量f赋值。当然，这次一定是正确的了。

三总结

由于很多编译器仍然使用的是ANSI C标准，因此，不声明原型的话，会误导编译器以为函数的返回值是int类型，尤其是使用库函数时，我们忘记加了头文件，而编译时又没报错，但运行时出现错误的运行结果。在编程中，务必避免。
另外，有一个经典案例，可供大家参考。
https://stackoverflow.com/questions/55454761/write-acces-violation-after-using-malloc-inside-a-function