这个C函数应该总是返回false,但它不会?

内容来源于 Stack Overflow,并遵循CC BY-SA 3.0许可协议进行翻译与使用

  • 回答 (4)
  • 关注 (0)
  • 查看 (61)

很久以前,我在一个论坛上偶然发现了一个有趣的问题,我想知道答案。

考虑以下C函数:

f1.c

#include <stdbool.h>

bool f1()
{
    int var1 = 1000;
    int var2 = 2000;
    int var3 = var1 + var2;
    return (var3 == 0) ? true : false;
}

这个应该总是会回来的falsevar3 == 3000...main函数如下所示:

main.c

#include <stdio.h>
#include <stdbool.h>

int main()
{
    printf( f1() == true ? "true\n" : "false\n");
    if( f1() )
    {
        printf("executed\n");
    }
    return 0;
}

f1()应该总是回来false,人们会期望程序只打印一个假的到屏幕上。但是在编译和运行之后,执行还显示:

$ gcc main.c f1.c -o test
$ ./test
false
executed

那是为什么?这段代码是否有某种未定义的行为?

注意:我用gcc (Ubuntu 4.9.2-10ubuntu13) 4.9.2.

提问于
用户回答回答于

正如其他答案所指出的,问题在于你使用gcc没有设置编译器选项。如果你这样做,它默认为所谓的“gnu 90”

在旧的C90标准中,C语言有一个主要缺陷:如果在使用函数之前没有声明一个原型,它将默认为int func ()(在哪里( )意思是“接受任何参数”)。这将更改函数的调用约定。func,但是它不会改变实际的函数定义。因为……的大小boolint是不同的,当调用函数时,代码会调用未定义的行为。

1999年,随着C99标准的发布,这种危险的胡说八道的行为被修正了。隐函数声明被禁止。

不幸的是,直到5.x.x版本的GCC默认仍然使用旧的C标准。除了标准C之外,你可能没有理由希望将代码编译为任何东西。因此,你必须明确地告诉GCC,它应该将你的代码编译为现代C代码,而不是大约25年前的、非标准的GNU垃圾代码。

通过将程序编译为:

gcc -std=c11 -pedantic-errors -Wall -Wextra
  • -std=c11告诉它做了一个半心半意的尝试编译(目前)C标准(非正式称为C11)。
  • -pedantic-errors告诉它全心全意地做上面的事情,当你写不正确的代码违反C标准时会给出编译器错误。
  • -Wall意思是给我一些额外的警告,这可能是个好消息。
  • -Wextra意思是给我一些额外的警告,这可能是很好的。

热门问答

腾讯云GPU服务器不能联外网吗?

小爱同学

腾讯云 · 技术支持 (已认证)

推荐
腾讯云GPU服务器可连外网,GPU 云服务器提供和标准CVM 云服务器一致的方便快捷的管理方式。 图片.png GPU云服务器作为CVM云服务器的一类特殊实例,购买、 操作、维护等方式与CVM云服务器一致 图片.png GPU 云服务器(GPU Cloud Computin...... 展开详请

win服务器怎么给文件夹配置755权限?

推荐
下面以腾讯云win服务器(Windows Server 2016 数据中心版 64位中文版)为文件夹配置755权限为例 1.右击【属性】 图片.png 2 .选择【安全】- 【编辑】 图片.png 3. 可对当前文件进行755权限配置 图片.png 要修改某个文件的权...... 展开详请

腾讯云sdk 兼容JDK6?

推荐

如果你说的是https://cloud.tencent.com/document/sdk/Java的话,jdk最低版本是1.7,不支持1.6

android 离线推送 为什么setOfflinePushListener不回调?

嗨喽你好摩羯座
推荐
您好,使用云通信 IM SDK 的通知栏提醒,建议参考:https://cloud.tencent.com/document/product/269/9234 中的描述来操作,通知栏提醒的内容由类 TIMOfflinePushNotification 来定义,可以通过这个类对外...... 展开详请

为什么cmq的topic配置订阅者为queue,向topic发送消息无法到达queue?

是的, 向topic发送消息应该会立即投递到订阅者。您可以检查您配置的队列名称是否正确且是真实存在的队列。如还不能解决您的问题,您可以点击控制台右上角的“工单”,进行问题进一步的排查,腾讯云会有专业的售后24小时为您服务。

脏字过滤只支持 TIMTextElem 消息,对自定义消息无效,请问有接口可以主动检查吗?

学生路人
推荐
您好,脏字检查的内容包括单聊和群组消息(只检查文本消息 TIMTextElem,不支持对自定义消息 TIMCustomElem 的过滤)、群名片、群组资料(群名称、群简介、群公告)用户资料和好友关系链中 bytes 类型的数据(如昵称、好友备注和好友分组等)。目前没有这样的接口喔...... 展开详请

所属标签

扫码关注云+社区