万恶之源:C语言中的隐式函数声明

1 什么是C语言的隐式函数声明

在C语言中,函数在调用前不一定非要声明。如果没有声明,那么编译器会自己主动依照一种隐式声明的规则,为调用函数的C代码产生汇编代码。以下是一个样例:

int main(int argc, char** argv)
{
    double x = any_name_function();
    return 0;
}

单纯的编译上述源代码。并没有不论什么报错,仅仅是在链接阶段由于找不到名为any_name_function的函数体而报错。

[[email protected] test]$ gcc -c main.c
[[email protected] 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编译

[[email protected] 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更严格,更严谨。

时间: 2025-01-06 02:01:25

万恶之源:C语言中的隐式函数声明的相关文章

《C语言 — 隐式函数声明implicit declaration 》

1. 隐式函数声明概念 在C语言中,函数在调用前不一定非要声明.如果没有声明,那么编译器会自动按照一种隐式声明的规则,为调用函数的C代码产生汇编代码.下面是一个例子: int main(int argc, char** argv) { double x = any_name_function(); return 0; } 单纯的编译上述源代码,并没有任何报错,只是在链接阶段因为找不到名为any_name_function的函数体而报错. [[email protected] test]$ gcc

深入探究js中的隐式变量声明

前两天遇到的问题,经过很多网友的深刻讨论,终于有一个相对可以解释的通的逻辑了,然后我仔细研究了一下相关的点,顺带研究了一下js中的隐式变量. 以下文章中提到的隐式变量都是指没有用var,let,const等关键字定义的变量. 以下文章中提到的var变量都是指用var声明定义的变量. 一遇到隐式变量,我们去百度一下,都会看见这样一句话,隐式变量是全局变量,在函数中用隐式变量也是全局变量,但是在函数中用var变量是局部变量,那我们来具体看下隐式变量到底与var变量有什么区别,下面我们来通过一些代码来

关于gcc内置函数和c隐式函数声明的认识以及一些推测

最近在看APUE,不愧是经典,看一点就收获一点.但是感觉有些东西还是没说清楚,需要自己动手验证一下,结果发现需要用gcc,就了解一下. 有时候,你在代码里面引用了一个函数但是没有包含相关的头文件,这个时候gcc报的错误比较诡异,一般是这样:[math.c:6:25: 警告:隐式声明与内建函数‘sin’不兼容 [默认启用]].这个错误网上大量博客都在说需要包含XXX.h文件,但是没有人解释这个错误信息为什么这样表达.什么是隐式声明,什么是内建函数,我就纠结了. 隐式声明函数的概念网上有相关的资料,

Scala 中的隐式转换 implicit

Scala语言中的隐式转换是一个十分强大的语言特性,主要可以起到两个作用: 一.自动进行某些数据类型的隐式转换 String类型是不能自动转换为Int类型的,所以当给一个Int类型的变量或常量赋予String类型的值时编译器将报错.所以,一下语句是错误的. val x: Int = "100" 如果需要将一个字符串类型的整形数值赋给Int,比如使用String.toInt方法,例如: v al x: Int = "100".toInt 如果想让字符串自动转换为整形,

深入理解Scala中的隐式转换系统

博客核心内容: 1.Scala中的两种隐式转换机制以及隐式视图的定义方式 2.Scala中的隐式绑定可能所处的位置以及如何更好的使用隐式转换 3.Scala中的隐式转换相关操作规则 4.Scala中的隐式参数 5.Scala中的隐式类 6.Scala中的隐式对象 7.Scala中的两种隐式类型约束(结合Scala中的类型系统) 8.Predef类中的implicitly方法的用法介绍以及Ordering类型转化为Oredered类型的方式 1.Scala中的两种隐式转换机制以及隐式视图的定义方式

Shell、Awk 中自动隐式类型转换的“坑”

1.问题: 在林林总总的编程语言里,弱类型的语言着实不少,一方面这种"动态类型"用起来很方便,而另一方面则"坑"你没商量~ 常见的 SQL.Shell.Awk 都会遇到各种暗藏的"隐式类型转换",下面就列举一些 shell.awk 里的自动隐式类型转换 case,防止掉坑. 注意 shell.awk 的变量为空 字符串.变量为空 未定义.初始值的隐式转换问题: # shell 下的字典排序比较 [email protected] 10:59:23

Makefile中的隐式规则

Makefile中的隐式规则 1.隐式规则中的变量 隐式规则中使用的变量分成两种:一种是命令相关的,如"CC":一种是参数相关的,如"CFLAGS". 与命令相关的变量 变量 含义 AR 函数库打开包程序.默认命令是"ar" AS 汇编语言编译程序.默认命令是"as" CC C语言编译程序.默认命令是"cc" CXX C++语言编译程序.默认命令是"g++" CO 从RCS文件中扩展文件

javascript中的隐式类型转化

javascript中的隐式类型转化 #隐式转换 ## "+" 字符串和数字 如果某个操作数是字符串或者能够通过以下步骤转换为字符串的话,+将进行拼接操作. 如果其中一个操作数是对象(包括数组),则首先对其调用`ToPrimitive`抽象操作,该抽象操作再调用`[[DefaultValue]]`,以数字作为上下文. `[1,2]+[3,4]=='1,23,4'` 原因,因为数组的valueOf操作无法得到简单的基本类型,于是它转而调用toString.因此上栗得到的是'1,23,4'

JavaScript中关于隐式转换的一些总结

JavaScript运算符中的隐式转换规律:一.递增递减运算符(前置.后置)1.如果包含的是有效数字字符串或者是有效浮点数字符串,则会将字符串转换(Number())为数值,再进行加减操作,返回值的类型是:number类型.2.如果不包含有效数字字符串,则会将字符串的值转换为NaN,返回值的类型是:number类型.3.如果是boolean类型,则先会把true或者false转换为1或者0,再进行加减操作,返回值的类型是:number类型.4.如果是null类型,则先会把null转换为0,在进行