- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
假设我们有以下代码:
typedef struct {
int f1;
int f2;
} t_str;
int f(t_str* p, t_str* q)
{
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
p[0].f1++;
q[0].f2++;
return 0;
}
当我们使用 -O3 选项编译它(我使用 gcc-5.1.0)时,编译器得到以下汇编器:
f:
.LFB0:
.cfi_startproc
movl 8(%esp), %edx
movl 4(%esp), %ecx
movl 4(%edx), %eax
addl $9, (%ecx)
addl $9, %eax
movl %eax, 4(%edx)
xorl %eax, %eax
ret
.cfi_endproc
这意味着 gcc 决定访问 p 的字段 f1 和访问 q 的字段 f2 从不别名。我猜这是因为假设两个相同类型的对象从不重叠或者它们是相同的。但我没有在标准中发现问题。
所以请问,任何人都可以在标准中找到这个问题,或者 gcc 限制字段访问的另一个原因,或者评论发生了什么?
更新:
好吧,我也考虑过第 6.5 节的第 7 段,但对我来说,以明确的形式为所有对象提供类似的东西会更舒服:
6.5.16.1 Simple assignment
3 If the value being stored in an object is read from another object that overlaps in any way the storage of the first object, then the overlap shall be exact and the two objects shall have qualified or unqualified versions of a compatible type; otherwise, the behavior is undefined.
不幸的是,这个规则不能在这里使用。
现在看,如果对于上面的代码我做了以下函数:
void main()
{
char * c = malloc(12);
memset(c, 0, 12);
f((t_str *)(c + 4), (t_str *)c);
printf("%d %d %d\n", ((t_str *)c)->f1, ((t_str *)c)->f2, ((t_str *)(c + 4))->f2);
}
现在我在执行过程中得到以下信息:
$ gcc-5.1.0 test1.c -O3 && ./a.out
0 9 0
$ gcc-5.1.0 test1.c -O0 && ./a.out
0 18 0
那么您认为这段代码如何有效?因为我不确定它是否符合第 6.5 节第 7 段。
PS:有趣的事情:
$ gcc-5.1.0 test1.c -O3 -fwhole-program && ./a.out
0 10 0
$ gcc-5.1.0 test1.c -O3 -flto && ./a.out
0 10 0
最佳答案
C11 最新草案 (N1570) 第 6.5 节第 7 段内容如下:
对象的存储值只能由具有以下类型之一的左值表达式访问:88)— 与对象的有效类型兼容的类型,— 与对象的有效类型兼容的类型的限定版本,— 一个类型,它是对应于对象的有效类型的有符号或无符号类型,— 一个类型,它是与对象的有效类型的限定版本相对应的有符号或无符号类型,- 在其成员中包含上述类型之一的聚合或 union 类型(递归地包括子聚合或包含的 union 的成员),或— 一种字符类型。
我将其解释为 p
指向的对象和 q
不能重叠,除非它们是同一个对象,因为 t_str
对象应该通过适当的指针访问。
标准不够精确,无法明确&p->f2
不是指向 t_str
的有效指针由 2 int
组成的对象在 p[0]
之间共享和 p[1]
.然而这似乎是不正确的,因为编译器可能会在 f1
之间插入填充。和 f2
或者确实在 f2
之间和结构的结尾。
顺便说一句,&p->f2 - &p->f1
不是有效的表达式,因为第 6.5.6 节加法运算符的第 9 段规定了此约束:当两个指针相减时,两者都应指向同一数组对象的元素,或指向数组对象最后一个元素的元素;
如果函数f()
指向char
作为参数并通过此指针访问数据,gcc
无法假设此数据与 int
不同p
指向的结构成员和 q
.这个有点违反直觉的异常是为什么这么多 C 库函数原型(prototype)有 restrict
的原因。许多指针参数的限定符。 (函数原型(prototype)中的这些限定符只是对程序员的提示,并没有真正告诉编译器任何信息)。
关于c - 限制gcc中相同类型的两个对象之间的字段访问,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30403202/
我正在尝试编写一个相当多态的库。我遇到了一种更容易表现出来却很难说出来的情况。它看起来有点像这样: {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE
谁能解释一下这个表达式是如何工作的? type = type || 'any'; 这是否意味着如果类型未定义则使用“任意”? 最佳答案 如果 type 为“falsy”(即 false,或 undef
我有一个界面,在IAnimal.fs中, namespace Kingdom type IAnimal = abstract member Eat : Food -> unit 以及另一个成功
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: What is the difference between (type)value and type(va
在 C# 中,default(Nullable) 之间有区别吗? (或 default(long?) )和 default(long) ? Long只是一个例子,它可以是任何其他struct类型。 最
假设我有一个案例类: case class Foo(num: Int, str: String, bool: Boolean) 现在我还有一个简单的包装器: sealed trait Wrapper[
这个问题在这里已经有了答案: Create C# delegate type with ref parameter at runtime (1 个回答) 关闭 2 年前。 为了即时创建委托(dele
我正在尝试获取图像的 dct。一开始我遇到了错误 The function/feature is not implemented (Odd-size DCT's are not implemented
我正在尝试使用 AFNetworking 的 AFPropertyListRequestOperation,但是当我尝试下载它时,出现错误 预期的内容类型{( “应用程序/x-plist” )}, 得
我在下面收到错误。我知道这段代码的意思,但我不知道界面应该是什么样子: Element implicitly has an 'any' type because index expression is
我尝试将 SignalType 从 ReactiveCocoa 扩展为自定义 ErrorType,代码如下所示 enum MyError: ErrorType { // .. cases }
我无法在任何其他问题中找到答案。假设我有一个抽象父类(super class) Abstract0,它有两个子类 Concrete1 和 Concrete1。我希望能够在 Abstract0 中定义类
我想知道为什么这个索引没有用在 RANGE 类型中,而是用在 INDEX 中: 索引: CREATE INDEX myindex ON orders(order_date); 查询: EXPLAIN
我正在使用 RxJava,现在我尝试通过提供 lambda 来订阅可观察对象: observableProvider.stringForKey(CURRENT_DELETED_ID) .sub
我已经尝试了几乎所有解决问题的方法,其中包括。为 提供类型使用app.use(express.static('public'))还有更多,但我似乎无法为此找到解决方案。 index.js : imp
以下哪个 CSS 选择器更快? input[type="submit"] { /* styles */ } 或 [type="submit"] { /* styles */ } 只是好
我不知道这个设置有什么问题,我在 IDEA 中获得了所有注释(@Controller、@Repository、@Service),它在行号左侧显示 bean,然后转到该 bean。 这是错误: 14-
我听从了建议 registering java function as a callback in C function并且可以使用“简单”类型(例如整数和字符串)进行回调,例如: jstring j
有一些 java 类,加载到 Oracle 数据库(版本 11g)和 pl/sql 函数包装器: create or replace function getDataFromJava( in_uLis
我已经从 David Walsh 的 css 动画回调中获取代码并将其修改为 TypeScript。但是,我收到一个错误,我不知道为什么: interface IBrowserPrefix { [
我是一名优秀的程序员,十分优秀!