- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
通过在结构类型中使用灵活的数组成员 (FAM),我们是否将我们的程序暴露给未定义行为的可能性?
是否有可能一个程序在使用 FAM 的同时仍然是一个严格符合的程序?
灵活数组成员的偏移量是否要求在结构的末尾?
这些问题适用于 C99 (TC3)
和 C11 (TC1)
。
#include <stdio.h>
#include <stdlib.h>
#include <stddef.h>
int main(void) {
struct s {
size_t len;
char pad;
int array[];
};
struct s *s = malloc(sizeof *s + sizeof *s->array);
printf("sizeof *s: %zu\n", sizeof *s);
printf("offsetof(struct s, array): %zu\n", offsetof(struct s, array));
s->array[0] = 0;
s->len = 1;
printf("%d\n", s->array[0]);
free(s);
return 0;
}
输出:
sizeof *s: 16
offsetof(struct s, array): 12
0
最佳答案
是的。使用 FAM 的常见约定使我们的程序面临未定义行为的可能性。话虽如此,我并不知道任何现有的符合规范的实现会出现异常行为。
可能,但不太可能。即使我们实际上没有达到未定义的行为,我们仍然可能无法严格遵守。
否。FAM 的偏移量不需要位于结构的末尾,它可以覆盖任何尾随填充字节。
答案适用于 C99 (TC3)
和 C11 (TC1)
。
FAM 首次在 C99 (TC0)(1999 年 12 月)中引入,其原始规范要求 FAM 的偏移位于结构的末尾。原始规范定义明确,因此不会导致未定义的行为,也不会成为严格符合性的问题。
C99 (TC0) §6.7.2.1 p16
(1999 年 12 月)
[This document is the official standard, it is copyrighted and not freely available]
问题在于常见的 C99 实现(例如 GCC)没有遵循标准的要求,并允许 FAM 覆盖任何尾随填充字节。他们的方法被认为更有效,并且由于他们遵循标准的要求 - 会导致向后兼容性中断,委员会选择更改规范,并且从 C99 TC2(2004 年 11 月)开始,该标准不再需要FAM 的偏移量位于结构的末尾。
C99 (TC2) §6.7.2.1 p16
(2004 年 11 月)
[...] the size of the structure is as if the flexible array member were omitted except that it may have more trailing padding than the omission would imply.
新规范删除了要求 FAM 的偏移量位于结构末尾的声明,它引入了一个非常不幸的后果,因为标准允许实现不保留任何填充字节的值的自由在一致状态下的结构或 union 内。更具体地说:
C99 (TC3) §6.2.6.1 p6
When a value is stored in an object of structure or union type, including in a member object, the bytes of the object representation that correspond to any padding bytes take unspecified values.
这意味着如果我们的任何 FAM 元素对应(或覆盖)任何尾随填充字节,则在存储到结构的成员时 - 它们(可能)采用未指定的值。我们甚至不需要考虑这是否适用于存储到 FAM 本身的值,即使严格解释这仅适用于 FAM 以外的成员,也足以造成破坏。
#include <stdio.h>
#include <stdlib.h>
#include <stddef.h>
int main(void) {
struct s {
size_t len;
char pad;
int array[];
};
struct s *s = malloc(sizeof *s + sizeof *s->array);
if (sizeof *s > offsetof(struct s, array)) {
s->array[0] = 123;
s->len = 1; /* any padding bytes take unspecified values */
printf("%d\n", s->array[0]); /* indeterminate value */
}
free(s);
return 0;
}
一旦我们存储到结构的成员中,填充字节就会采用未指定的字节,因此对与任何尾随填充字节对应的 FAM 元素值所做的任何假设现在都是错误的。这意味着任何假设都会导致我们无法严格遵守。
虽然填充字节的值是“未指定的值”,但受它们影响的类型却不能这样说,因为基于未指定值的对象表示可以生成陷阱表示。因此,描述这两种可能性的唯一标准术语是“不确定值”。如果 FAM 的类型恰好有陷阱表示,那么访问它不仅仅是一个未指定的值,而是未定义的行为。
等等,还有更多。如果我们同意描述这种值的唯一标准术语是“不确定值”,那么即使 FAM 的类型恰好没有陷阱表示,我们也达到了未定义的行为,因为 C 的官方解释标准委员会认为将不确定的值传递给标准库函数是未定义的行为。
关于c - 灵活的数组成员会导致未定义的行为吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44745677/
注意:根据 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 语法
我是一名优秀的程序员,十分优秀!