- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我正在阅读有关未定义行为的信息,我不确定它是否只是编译时的特性,或者它是否可以在执行时发生。
我很理解这个例子(这是从 Undefined Behavior page of Wikipedia 中提取的):
An example for the C language:
int foo(unsigned x)
{
int value = 5;
value += x;
if (value < 5)
bar();
return value;
}The value of
x
cannot be negative and, given that signed integer overflow is undefined behavior in C, the compiler can assume that at the line of the if checkvalue >= 5
. Thus theif
and the call to the functionbar
can be ignored by the compiler since theif
has no side effects and its condition will never be satisfied. The code above is therefore semantically equivalent to:int foo(unsigned x)
{
int value = 5;
value += x;
return value;
}
但这发生在编译时。
如果我写,例如:
void foo(int x) {
if (x + 150 < 5)
bar();
}
int main() {
int x;
std::cin >> x;
foo(x);
}
然后用户输入 MAX_INT - 100
(“2147483547”,如果是 32 位整数)。
会出现整数溢出,但是据我所知,会产生溢出的是 CPU 的算术逻辑单元,所以这里不涉及编译器。
它仍然是未定义的行为吗?
如果是,编译器如何检测溢出?
我能想到的最好的是 CPU 的溢出标志。如果是这样,是否意味着只要在执行时随时设置 CPU 的溢出标志,编译器就可以为所欲为?
最佳答案
是的,但不一定是我认为你可能想要的方式,也就是说,如果在机器代码中有一个加法并且在运行时加法包装(或以其他方式溢出,但在大多数架构上它会包装)那本身不是 UB。 UB 仅属于 C(或 C++)领域。该添加可能一直在添加无符号整数或者是编译器可以进行的某种优化,因为它知道目标平台的语义并且可以安全地使用依赖于包装的优化(但是你 不能,除非你使用无符号类型。
当然,这并不意味着使用“仅在运行时包装”的结构是安全的,因为这些代码路径在编译时也会被污染。例如在你的例子中,
extern void bar(void);
void foo(int x) {
if (x + 150 < 5)
bar();
}
由针对 x64 的 GCC 6.3 编译为
foo:
cmp edi, -145
jl .L4
ret
.L4:
jmp bar
相当于
void foo(int x) {
if (x < -145)
bar(); // with tail call optimization
}
.. 如果您假设有符号整数溢出是不可能的(从某种意义上说,它在输入上放置了一个隐式前提条件,以使溢出不会发生),这也是一样的。
关于c++ - 执行时溢出/下溢是未定义的行为吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41558924/
注意:根据 ECMAScript5.1, section 15.1.1.3 , window.undefined 是只读的。 现代浏览器正确地实现了这一点。例如:Safari 5.1、Firefox
我用谷歌搜索,检查了所有常见的响应。这些脚本似乎顺序正确(它们在 the demo 中以相同的顺序工作)但由于某种原因,当我尝试实现它时,我得到了错误。 我有一个 paste bin用我完整的页面代码
我有以下代码: simpleExample.html: Simple example Open the Console. js/simpleExampleJS.
所以我对 typescript 很陌生。 这是我的 tsconfig.json 文件的样子, 我什至不知道那些“例子”是从哪里来的 这是我在浏览器中遇到的错误 这是我的 package.json 最佳
我被 TypeScript 错误困住了: Failed to compile. undefined TypeScript error in undefined(undefined,undefined)
我已将 onlcick 事件附加到表单的提交按钮以覆盖默认的 POST 请求,但在使其正常工作时遇到了一些问题。 我想要的是点击添加到购物车的商品,但只显示模式确认而不刷新页面。 这段代码在我的静态示
我已经完成了这个link .但是给定的解决方案并没有解决我的问题。所有经验丰富的人都建议使用 getActivty().getApplicationContext()。但我使用的是普通类(class)
我有一个应用程序,其中 webpack 配置为模块 bundler ,babel 作为我的 js 编译器。全部都在 Node 引擎上。我设置当我运行 npm run dev 时,将会发生以下流程: w
我正在尝试在浏览器中呈现网址的 JSON 数据,但它在 div 中显示为 undefined, undefined .当我将其响应放入console.log时对象及其数据出现,因此它出现在控制台和浏览
为什么我会收到 Cannot invoke an object which is possibly 'undefined'即使在我检查了 func 之后,Typescript 也会出错引用不是未定义的
我想使用airbnb的eslint修改我的代码结构。我已遵循 eslint-config-airbnb 中给出的说明。启动命令后npm run lint,结果由 'fetch' is not Defi
这个问题在这里已经有了答案: What is the consequence of this bit of javascript? (4 个答案) 关闭 9 年前。 我看到一些 jQuery 脚本嵌
我一直收到这个 pouchDB 错误,我不知道这是怎么回事。 Error: connect ENFILE 127.0.0.1:5984 - Local (undefined:undefined)
import os from os.path import abspath, dirname import sys # Set up django project_dir = abspath(dirn
在 javascript 中,要检查变量是否从未创建过,我们只需执行 if (typeof MyVariable !== "undefined"){ ... } 我想知道如何在 CoffeeScrip
我正在尝试编译 FreeLing,它使用 CMake 来检测 Boost。这是负责它的代码: find_package(Boost COMPONENTS regex filesystem thre
我收到“JQUERY 未定义”错误。你有什么想法吗(代码如下)。 $(document).ready(function() { window.print();
无论我是否将 jQuery $.ajax 调用放入 $(document).ready(function() { 中,我都会收到此错误。这是在 ASP.NET MVC .cshtml 文件上.
我正在构建的网站上遇到问题,但数据表不存在加载(在服务器上)但在本地主机(xamp)上工作正常。 Firefox 会抛出错误“$ 未定义”。 我用谷歌搜索了这些错误,我发现一个 friend 的解决方
当我在 $(document).ready 之前明确包含 jQuery 库时,我无法弄清楚为什么它仍然无法识别 jQuery 语法
我是一名优秀的程序员,十分优秀!