- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
考虑以下代码。
#include <stdio.h>
int main() {
typedef int T;
T a[] = { 1, 2, 3, 4, 5, 6 };
T(*pa1)[6] = (T(*)[6])a;
T(*pa2)[3][2] = (T(*)[3][2])a;
T(*pa3)[1][2][3] = (T(*)[1][2][3])a;
T *p = a;
T *p1 = *pa1;
//T *p2 = *pa2; //error in c++
//T *p3 = *pa3; //error in c++
T *p2 = **pa2;
T *p3 = ***pa3;
printf("%p %p %p %p %p %p %p\n", a, pa1, pa2, pa3, p, p1, p2, p3);
printf("%d %d %d %d %d %d %d\n", a[5], (*pa1)[5],
(*pa2)[2][1], (*pa3)[0][1][2], p[5], p1[5], p2[5], p3[5]);
return 0;
}
以上代码在 C 中编译和运行,产生了预期的结果。所有指针值都相同,所有 int 值也是如此。我认为对于任何类型 T,结果都是相同的,但是 int
是最容易使用的。
我承认最初对取消引用数组指针会产生相同的指针值感到惊讶,但经过深思熟虑,我认为这只是我们所熟知和喜爱的数组指针衰减的逆过程。
[编辑:注释掉的行在 C++ 中触发错误,在 C 中触发警告。我发现 C 标准在这一点上含糊不清,但这不是真正的问题。]
在this问题,它声称是Undefined Behaviour,但我看不到它。我说得对吗?
代码 here如果你想看的话。
在我写完上面的内容后,我突然意识到这些错误是因为 C++ 中只有一级指针衰减。需要更多取消引用!
T *p2 = **pa2; //no error in c or c++
T *p3 = ***pa3; //no error in c or c++
在我设法完成此编辑之前,@AntonSavin 提供了相同的答案。我已编辑代码以反射(reflect)这些更改。
最佳答案
这是一个只有 C 的答案。
C11 (n1570) 6.3.2.3 p7
A pointer to an object type may be converted to a pointer to a different object type. If the resulting pointer is not correctly aligned*) for the referenced type, the behavior is undefined. Otherwise, when converted back again, the result shall compare equal to the original pointer.
*) In general, the concept “correctly aligned” is transitive: if a pointer to type
A
is correctly aligned for a pointer to typeB
, which in turn is correctly aligned for a pointer to typeC
, then a pointer to typeA
is correctly aligned for a pointer to typeC
.
标准有点模糊,如果我们将这样的指针(除了严格的别名)用于任何其他用途而不是将其转换回来会发生什么,但是意图和广泛传播的解释是这样的指针应该比较相等(并且具有相同的数值,例如,当转换为 uintptr_t
时它们也应该相等),例如,考虑 (void *)array == (void *)&array
(转换为char *
而不是 void *
明确保证可以工作。
T(*pa1)[6] = (T(*)[6])a;
很好,指针正确对齐(它与 &a
的指针相同)。
T(*pa2)[3][2] = (T(*)[3][2])a; // (i)
T(*pa3)[1][2][3] = (T(*)[1][2][3])a; // (ii)
如果 T[6]
与 T[3][2]
具有相同的对齐要求,并且与 T[1][2] 相同[3]
、(i)
和 (ii)
分别是安全的。对我来说,这听起来很奇怪,他们不能,但我无法在标准中找到他们应该具有相同对齐要求的保证。
T *p = a; // safe, of course
T *p1 = *pa1; // *pa1 has type T[6], after lvalue conversion it's T*, OK
T *p2 = **pa2; // **pa2 has type T[2], or T* after conversion, OK
T *p3 = ***pa3; // ***pa3, has type T[3], T* after conversion, OK
忽略传递 int *
而 printf
期望 void *
导致的 UB,让我们看看下一个参数中的表达式 printf
,首先是定义好的:
a[5] // OK, of course
(*pa1)[5]
(*pa2)[2][1]
(*pa3)[0][1][2]
p[5] // same as a[5]
p1[5]
请注意,严格的别名在这里不是问题,不涉及输入错误的 lvalue,我们访问 T
为 T
.
以下表达式取决于越界指针算法的解释,更宽松的解释(允许 container_of
, array flattening ,带有 char[]
的“struct hack”,等)也允许他们;更严格的解释(允许可靠的运行时边界检查实现指针算法和取消引用,但不允许 container_of
,数组展平(但不一定是数组“提升”,你做了什么),struct hack等)呈现它们未定义:
p2[5] // UB, p2 points to the first element of a T[2] array
p3[5] // UB, p3 points to the first element of a T[3] array
关于c++ - 在指向 T 的指针、T 的数组和指向 T 的数组的指针之间进行转换是否有未定义的行为?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25539269/
注意:根据 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 语法
我是一名优秀的程序员,十分优秀!