代码之家 › 专栏 › 技术社区 › Vikas Yadav

C11相关语言正确性

c11 language-lawyer c

Vikas Yadav · 技术社区 · 8 年前

struct t1 { int m; };
struct t2 { int m; };
int f(struct t1 *p1, struct t2 *p2)
{
    if (p1->m < 0)
        p2->m = -p2->m;
    return p1->m;
}
int g()
{
    union {
        struct t1 s1;
        struct t2 s2;
    } u;
    /* ... */
    return f(&u.s1, &u.s2);
}

根据C11,内部的最后一行 g() 无效。为什么会这样?

2 回复 | 直到 8 年前

Jonathan Leffler 8 年前

该示例来自§6.5.2.3中的示例3 结构和工会成员 强调添加):

6为了简化联合的使用,我们做出了一项特殊保证:如果联合包含多个共享公共初始序列的结构(见下文),并且如果联合对象当前包含其中一个结构,则允许检查其中任何结构的公共初始部分 任何可以看到已完成的联合类型声明的地方 公共初始序列

问题中引用的代码前面有注释:

以下不是有效的片段(因为联合类型在函数中不可见 f ).

g() 正在使用公共初始序列,但这仅适用于 union 在中可见而在中不可见 f()

What is the strict aliasing rule? 了解详细信息。

-Weverything 选项:

clang -O3 -g -std=c11 -Wall -Wextra -Werror -Wmissing-prototypes \
    -Wstrict-prototypes -Weverything -pedantic â¦

Jens Gustedt 8 年前

f

在这里 p1 被访问两次。如果 p1 p2 应该是不同的,编译器不需要重新加载 p1 的值 return

f 是有效代码,优化是有效的。

g ,是无效的,因为没有看到两者可能来自同一个 union

这是一种情况,证明调用有效性的全部责任在于函数的用户,通常没有编译器可以在以下情况下警告您: f 和 g 碰巧在不同的翻译单位。

推荐文章

Paul J. Lucas · _C中任意大小的原子结构体赋值?

1 年前

ä½å½è¯ · 如果在命名空间中声明的枚举是在命名空间之外定义的,那么它的枚举值在外部可见吗?

1 年前

Oliver Schönrock · 将泛型函数指针强制转换为具有指向不同类型的void*params的特定签名是否定义良好

1 年前

Thomas Weller · 我在这里有什么样的UB,删除运算符new[]的数组?

1 年前

user17732522 · 使用显式默认构造函数从空大括号复制列表初始化

1 年前

nore · 为什么C标准禁止在源文件末尾使用部分预处理令牌?

1 年前

user17732522 · C中是否允许以命名返回值优化的形式进行复制省略?

1 年前

cppBeginner · 从lambda函数中获取constexpr变量是可以的,但当这样的语句位于新的lambda中时,编译失败(Visual C++)和编译失败(gcc)是可以的

1 年前

Gene · 是否允许使用受约束的别名模板?

1 年前

yg-i · C的“基本执行字符集”中的字符总数究竟是多少?

1 年前