万恶之源:C语言中的隐式函数声明
1 什么是C语言的隐式函数声明
在C语言中,函数在调用前不一定非要声明。如果没有声明,那么编译器会自己主动依照一种隐式声明的规则,为调用函数的C代码产生汇编代码。以下是一个样例:
int main(int argc, char** argv)
{
double x = any_name_function();
return 0;
}
单纯的编译上述源代码。并没有不论什么报错,仅仅是在链接阶段由于找不到名为any_name_function的函数体而报错。
[smstong@centos192 test]$ gcc -c main.c
[smstong@centos192 test]$ gcc main.o
main.o: In function `main':
main.c:(.text+0x15): undefined reference to `any_name_function'
collect2: ld 返回 1
之所以编译不会报错,是由于C语言规定,对于没有声明的函数,自己主动使用隐式声明。
相当于变成了例如以下代码:
int any_name_function();
int main(int argc, char** argv)
{
double x = any_name_function();
return 0;
}
2 带来的问题
2.1 隐式声明函数名称恰好在链接库中存在,但返回非int类型
前面给出的样例。并不会造成太大影响。由于在链接阶段非常easy发现存在的问题。
然而以下这个样例则会造成莫名的执行时错误。
#include <stdio.h>
int main(int argc, char** argv)
{
double x = sqrt(1);
printf("%lf", x);
return 0;
}
gcc编译链接
[smstong@centos192 test]$ gcc -c main.c
main.c: 在函数‘main’中:
main.c:6: 警告:隐式声明与内建函数‘sqrt’不兼容
[smstong@centos192 test]$ gcc main.o
执行结果
1.000000
编译时会给出警告,提示隐式声明与内建函数’sqrt’不兼容。gcc编译器在编译时可以自己主动在经常使用库头文件(内建函数)中查找与隐式声明同名的函数,如果发现两者并不同样。则会依照内建函数的声明原型去生成调用代码。这往往也是程序猿预期的想法。
上面的样例中隐式声明的函数原型为:
int sqrt(int);
而相应的同名内建函数原型为:
double sqrt(double);
终于编译器依照内建函数原型进行了编译。达到了预期效果。
然而gcc编译器的这样的行为并非C语言的规范,并非全部的编译器实现都有这样的功能。
同样的源代码在VC++2015下编译执行的结果却是:
VC++编译
warning C4013: “sqrt”没有定义;如果外部返回 int
执行结果
2884223.000000
显然。VC++编译器没有没有所谓的“内建函数”,仅仅是简单的依照隐式声明的原型,生成调用sqrt函数的代码。由于返回类型和參数类型的不同。导致错误的函数调用方式。产生莫名奇异的执行时错误。
对着这样的情况,由于返回类型的不同,两种编译器都可以给出警告信息,至少能引起程序猿的注意。而以下这样的情况,则更加隐蔽。
2.2 隐式声明函数名称恰好在链接库中存在。且返回int类型
測试代码例如以下:
#include <stdio.h>
int main(int argc, char** argv)
{
int x = abs(-1);
printf("%d", x);
return 0;
}
此时。由于隐式声明的函数原型与gcc的内建函数原型全然同样。所以gcc不会给出不论什么警告,结果也是正确的。
而VC++则仍然会给出警告:warning C4013: “abs”没有定义。如果外部返回 int。
不管怎样,隐式声明的函数原型与库函数全然同样,所以链接执行都是没有问题的。
以下,略微修改一下代码:
#include <stdio.h>
int main(int argc, char** argv)
{
int x = abs(-1,2,3,4);
printf("%d", x);
return 0;
}
gcc下编译链接没有不论什么报错。
gcc编译链接
[smstong@centos192 test]$ gcc -c main.c
[smstong@centos192 test]$ gcc main.o
可见。gcc的内建函数机制并不关心函数的參数。仅仅是关心函数的返回值。
vc++编译链接
warning C4013: “abs”没有定义;如果外部返回 int
尽管这个样例的执行结果都是正确的,可是这样的正确是“碰巧”的,由于额外的函数參数并没有影响到结果。这样的偶然正确是程序中要避免的。
3 编程中注意事项
C语言的隐式函数声明。给程序猿带来了各种困惑,给程序的稳定性带来了非常坏的影响。不知道当初C语言设计者是怎样考虑这个问题的?
* 为了避免这样的影响,强烈建议程序猿重视编译器给出的关于隐式声明的警告,及时通过包括必要的头文件来消除这样的警告。*
对于gcc来说。前面给出的那个abs(-1,2,3,4)的特殊样例。编译器根本不会产生不论什么警告,仅仅能靠程序猿熟悉自己调用的每个库函数了。
为了避免这样的问题,在C语言的C99版本号中,不管怎样都会给出警告。如gcc使用C99编译上述代码。
gcc -std=c99编译
[smstong@centos192 test]$ gcc -c main.c -std=c99
main.c: 在函数‘main’中:
main.c:5: 警告:隐式声明函数‘abs’
而C++则更严格,直接抛弃了隐式函数声明,对于未声明函数的调用,将直接无法通过编译。
g++编译
[smstong@centos192 test]$ g++ main.c
main.c: In function ‘int main(int, char**)’:
main.c:5: 错误:‘abs’在此作用域中尚未声明
vc++编译(作为C++)
error C3861: “abs”: 找不到标识符
在函数强类型这一点上。C++确实比C更严格,更严谨。
万恶之源:C语言中的隐式函数声明的更多相关文章
- c语言中的隐式函数声明(转)
本文转自:http://www.jb51.net/article/78212.htm 在c语言里面开来还是要学习c++的编程习惯,使用函数之前一定要声明.不然,即使编译能通过,运行时也可能会出一些莫名 ...
- C语言的“隐式函数声明”违背了 “前置声明” 原则
这个问题来源于小组交流群里的一个问题: 最终问题落脚在 : 一个函数在main中调用了,必须在main之前定义或者声明吗? 我在自己的Centos上做了实验,结果是函数不需要,但是结构体(变量也要)需 ...
- 2018-02-17 中文代码示例[译]Scala中创建隐式函数
前言: 学习Scala时, 顺便翻译一下自己有兴趣的文章. 代码中所有命名都中文化了(不是翻译). 比如原文用的是甜甜圈的例子. 原文: Scala Tutorial - Learn How To C ...
- 深入探究js中的隐式变量声明
前两天遇到的问题,经过很多网友的深刻讨论,终于有一个相对可以解释的通的逻辑了,然后我仔细研究了一下相关的点,顺带研究了一下js中的隐式变量. 以下文章中提到的隐式变量都是指没有用var,let,con ...
- 关于gcc内置函数和c隐式函数声明的认识以及一些推测
最近在看APUE,不愧是经典,看一点就收获一点.但是感觉有些东西还是没说清楚,需要自己动手验证一下,结果发现需要用gcc,就了解一下. 有时候,你在代码里面引用了一个函数但是没有包含相关的头文件,这个 ...
- Scala 中的隐式转换和隐式参数
隐式定义是指编译器为了修正类型错误而允许插入到程序中的定义. 举例: 正常情况下"120"/12显然会报错,因为 String 类并没有实现 / 这个方法,我们无法去决定 Stri ...
- Scala 深入浅出实战经典 第62讲:Scala中上下文界定内幕中的隐式参数实战详解
王家林亲授<DT大数据梦工厂>大数据实战视频 Scala 深入浅出实战经典(1-87讲)完整视频.PPT.代码下载: 百度云盘:http://pan.baidu.com/s/1c0noOt ...
- javascript中的隐式类型转化
javascript中的隐式类型转化 #隐式转换 ## "+" 字符串和数字 如果某个操作数是字符串或者能够通过以下步骤转换为字符串的话,+将进行拼接操作. 如果其中一个操作数是对 ...
- C语言中可变参数的函数(三个点,“...”)
C语言中可变参数的函数(三个点,“...”) 本文主要介绍va_start和va_end的使用及原理. 在以前的一篇帖子Format MessageBox 详解中曾使用到va_start和va_end ...
随机推荐
- luogu P1866 编号
题目描述 太郎有N只兔子,现在为了方便识别它们,太郎要给他们编号.兔子们向太郎表达了它们对号码的喜好,每个兔子i想要一个整数,介于1和Maxnumber[i]之间(包括1和Maxnumber[i]). ...
- 8. Truncate undo表空间
8. Truncate undo表空间 要Truncate Undo 表空间,必须为MySQL实例配置至少两个undo表空间(两个undo表空间可确保一个undo表空间保持活动状态,另一个处于脱机状态 ...
- AF_NETLINK
读procd时,hotplug相关. 从网上资料来看,大概和硬件输入有关? 资料:http://www.cnblogs.com/sammei/p/4119659.html
- MySQL autocommit 和 start transaction
autocommit 和 start transaction 都是事务相关的命令.类似MyISAM的mysql引擎就不支持. autocommit 默认是ON状态,即sql语句是自动提交的 show ...
- Python机器学习及实践+从零开始通往Kaggle竞赛之路
内容简介 本书面向所有对机器学习与数据挖掘的实践及竞赛感兴趣的读者,从零开始,以Python编程语言为基础,在不涉及大量数学模型与复杂编程知识的前提下,逐步带领读者熟悉并且掌握当下最流行的机器学习.数 ...
- 一直被用错的6种SQL 错误用法
一直被用错的6种SQL 错误用法 1.LIMIT 语句 2.隐式转换 3.关联更新.删除 4.EXISTS语句 5.条件下推 6.提前缩小范围 sql语句的执行顺序: FROM ON JOIN WHE ...
- HTML、CSS 和 JS框架之Bootstrap
一.Bootstrap简介: Bootstrap 是最受欢迎的 HTML.CSS 和 JS 框架,用于开发响应式布局.移动设备优先的 WEB 项目. 详细参考内容:Bootstrap_v3 二.Boo ...
- logging ,re 模块
一,复习 # random: random() randint() choice() sample() # 序列化:对象需要持久化存储或传送 对象 => 字符串 # json: 用于传输 # - ...
- python之 集合 学习笔记
""" 集合内的元素是无序的,集合内的元素必须是可哈希的集合内元素的唯一的,不存在重复列表和字典不能存在集合里面,因为列表字典可变 可哈希集合也是不可哈希的 unhash ...
- [codevs2495]水叮当的舞步
[codevs2495]水叮当的舞步 试题描述 水叮当得到了一块五颜六色的格子形地毯作为生日礼物,更加特别的是,地毯上格子的颜色还能随着踩踏而改变. 为了讨好她的偶像虹猫,水叮当决定在地毯上跳一支轻盈 ...