- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
这个声明:
if('z' - 'a' == 25)
不保证以相同的方式进行评估。它依赖于编译器。此外,不能保证以与此相同的方式对其进行评估:
#if 'z' - 'a' == 25
即使预处理器和编译器都在同一台机器上运行。这是为什么?
最佳答案
OP 询问标准的直接引用 — N1570 §6.10.1p3,4 + footnote 168 :
... the controlling constant expression is evaluated according to the rules of 6.6. ... This includes interpreting character constants, which may involve converting escape sequences into execution character set members. Whether the numeric value for these character constants matches the value obtained when an identical character constant occurs in an expression (other than within a #if or #elif directive) is implementation-defined.168
[footnote 168] Thus, the constant expression in the following #if directive and if statement is not guaranteed to evaluate to the same value in these two contexts.
#if 'z' - 'a' == 25
if ('z' - 'a' == 25)
所以,是的,确实不能保证。
要理解为什么不能保证,首先您需要知道 C 标准不需要字符常量 'a'
和 ' z'
通过 ASCII 将数值分配给这些字符。 大多数 现在的 C 实现使用 ASCII 或超集,但还有另一种编码称为 EBCDIC仍然被广泛使用(仅在 IBM 大型机上,但仍然有很多)。在 EBCDIC 中,不仅 'a'
和 'z'
具有与 ASCII 不同的值,字母表也不是连续的序列!这就是为什么表达式 'z' - 'a' == 25
一开始可能不会计算为真。
您还需要知道 C 标准试图区分用于源代码的文本编码(“源字符集”)和程序将在运行时使用的文本编码(“执行字符集” ”)。这样一来,至少在原则上,您可以获取源代码以 ASCII 文本编码的程序,并在使用 EBCDIC 的计算机上不加修改地运行它,只需通过适当的交叉编译即可;您不必先将源文本转换为 EBCDIC。
现在,编译器必须理解这两个不同的字符集,但从历史上看,C 预处理器(translation phases 1 到 4)和“编译器本身”(第 5 到 7 阶段)是两个独立的程序,和 #if
表达式是预处理器必须知道执行字符集的唯一地方。因此,通过实现定义预处理器使用的“执行字符集”是否与编译器本身使用的相匹配,标准许可预处理器在源字符集中完成其所有工作,让生活在 1989 年变得更轻松一些。
说了这么多,我会很惊讶地发现一个现代编译器没有让两个表达式计算出相同的值,即使在执行和源字符集严重不兼容的情况下也是如此。现代编译器往往集成预处理器——阶段 1 到 7 都由同一个程序执行——即使没有,专门化预处理器以匹配其执行特性的工程负担现在设置为编译器本身是微不足道的。
关于c - 为什么减去字符实现的行为是特定的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46890093/
我想创建一个基于 jQuery 的非常简单的 html 编辑器(不是所见即所得)。 我的问题是如何制作 textarea或 div可能 在上面写一些文字 然后样式即标签(例如 some stuff 将
根据文档 isset 条款“测试此项目中是否已设置给定属性”。我不明白设置属性时 isset 返回 true 还是 false 在下面的代码片段中,当 env.JAVA_HOME 未设置时,java.
我正在尝试取消映射 o这是执行 :only 的默认命令( :help :only ),所以我尝试的第一件事是: nmap o 这种作品,除非我按 ,等待超过timeoutlen ms 然后按 o
我有以下型号: class MetaData(models.Model): created_at = models.DateTimeField(auto_now_add=True, auto_
下面列出了两行代码。两者对日期和时间的期望相同,但只有一个有效。我正在使用 R 3.1。 以下不起作用: DateTime2=strftime("08/13/2010 05:26:24.350", f
我有一个关于 C 代码的问题。 #include void foo(void){ int a; printf("%d\n",a); } void bar(void){
如果文件大小 > 8k,为什么读取的最后一个字节 = 0? private static final int GAP_SIZE = 8 * 1024; public static void main(
我有一个命令 Get-Testdata从不同来源检索测试数据并将这些数据存储到 PSObject以不同的值作为属性。然后将对象总数存储为数组,以便于操作、排序、计算等。 我的问题是我希望能够将这些数据
我正在使用 epoll 将大消息写入使用 HTTP 协议(protocol)的服务器。 fds 都设置为非阻塞,我正在使用边缘触发事件。我知道对于 EPOLLIN,我需要循环读取 fd,直到返回 EA
这对我来说听起来很奇怪: $test_1 = 'string'; $test_2 = '0'; var_dump(intval($test_1)); // Output: int 0 var_dump
这个问题在这里已经有了答案: Java: Integer equals vs. == (7 个回答) 7年前关闭。 请您解释以下行为。 public class EqAndRef { publ
Drupal 的行为到底是什么? 它为模块开发人员提供什么类型的服务层? 它映射到 jQuery.ready 的关系类型是什么? 最佳答案 长版:Drupal.behaviors 不仅仅是 jQuer
以下代码: dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_HIGH, 0), ^{ for (int i=0
人们可以将项目添加到数据库中。我让他们选择在此时添加它,或手动选择日期。 因此我得到了这个 HTML 结构。 (请注意,我将日期和时间选择器妥协为只有一行文本) Selec
创建了一个数据框: simpleDF is.na(simpleDF$vals) [1] TRUE TRUE FALSE > is.nan(simpleDF$vals) [1] FALSE TRU
我有一个大的 docker 镜像 A,我创建了一个新的 Dockerfile FROM A RUN rm /big-folder 我尝试使用以下方法构建图像: docker build --squas
我想知道以下情况下 JVM 的行为是什么: JVM 最小堆大小 = 500MB JVM 最大堆大小 = 2GB 操作系统有 1GB 内存 JVM启动后,程序运行一段时间后,使用内存超过1GB。我想知道
我们正在使用 spikeearrest 策略,但我们不了解其工作原理。峰值逮捕配置如下: 5pm 阅读文档,我们了解到,如果我们在一分钟内调用此流超过 5 次,则该策略将在第 5 次之后
我正在使用 cURL 发送 POST 请求: curl http://tarvos.local:8080/partial_Users/2 -d '{currentPage : 1, firstID :
我的表中有 6442670 条记录,我正在使用以下命令获取它们jdbctemplate 使用行号一次 1000000 个。以下是查询 select * from (select rowNum rn
我是一名优秀的程序员,十分优秀!