c/c++语言开发共享可以保证UB在编译时被拒绝吗?

考虑这个程序:

#include  int main(void) { int x; while ( 1 == scanf("%d", &x) ) printf("%cn", "hello"[x]); } 

编译器必须成功编译,因为程序没有UB,只要用户不输入0范围之外的任何数字。

但是,根据这个线程, UB可以及时返回。 现在考虑这个程序:

 int main(void) { printf("hellon"); "hello"[6]; } 

对此程序的任何调用都会导致未定义的行为,并且因为这可能是时间旅行,所以此程序在任何调用中的整个行为都是未定义的。 因此,编译器可以拒绝该程序而不生成可执行文件吗? (我们可能会说UB回到编译阶段!)

    因此,编译器可以拒绝该程序而不生成可执行文件吗?

    是。 未定义行为的定义是:

    本国际标准没有要求的行为[注意:当本国际标准忽略任何明确的行为定义或程序使用错误的结构或错误数据时,可能会出现未定义的行为。 允许的未定义行为包括完全忽略不可预测的结果,在翻译或程序执行过程中以环境特征(有或没有发出诊断消息)的特定行为, 终止翻译或执行(发布时)一条诊断信息)。 许多错误的程序结构不会产生未定义的行为; 他们需要被诊断出来。 – 结束说明]

    添加到Jonathan的答案。

    第二个程序调用未定义的行为,编译器有权停止转换,因为未定义的行为不受限制(c11,3.4.3p1)。

    第一个程序可能会调用未定义的行为,但编译器无法停止转换,因为并非所有执行路径都会产生未定义的行为。

    在缺陷报告#109中 ,C委员会说:

    此外,如果给定程序的每个可能的执行都会导致未定义的行为,则给定的程序不严格符合。 一致的实现必须简单地转换严格符合的程序,因为该程序的某些可能的执行将导致未定义的行为。

      以上就是c/c++开发分享可以保证UB在编译时被拒绝吗?相关内容,想了解更多C/C++开发(异常处理)及C/C++游戏开发关注计算机技术网(www.ctvol.com)!)。

      本文来自网络收集,不代表计算机技术网立场,如涉及侵权请联系管理员删除。

      ctvol管理联系方式QQ:251552304

      本文章地址:https://www.ctvol.com/c-cdevelopment/562095.html

      (0)
      上一篇 2021年2月4日
      下一篇 2021年2月4日

      精彩推荐