需要验证来自 Go Lang 的索赔

问题描述

我最近一直在研究 GoLang——来自 C++ 背景——我正在阅读一篇据称解释了制作 Golang 背后的推理的论文,这是它的链接https://talks.golang.org/2012/splash.article

其中一个说法是,在 C 和 C++ 中处理依赖项(包)很痛苦,并且需要使用 #ifndef 保护实例来声明

意图是 C 预处理器读入文件但忽略 文件的第二次和后续读取的内容...

我引用了一个 GCC 页面https://gcc.gnu.org/onlinedocs/cppinternals/Guard-Macros.html

这样,如果头文件出现在后续的#include 指令中 并且 FOO 被定义,然后它被忽略并且它不预处理或 甚至第二次重新打开文件

Go:“读入并忽略” 对比 GCC:它不会再次预处理甚至重新打开文件

不矛盾吗?

感谢您的想法。感谢您阅读我的问题。

解决方法

第一段讨论的是一个通用编译器,从概念上讲,它应该读取文件的内容并忽略这些内容(因为它们被#ifdef排除了)。也就是说,大致上,C 标准规定了编译器应该做什么。

但实际上 C 标准中的所有内容都遵循“好像”规则——编译器实际上不必按照标准中建议的方式实现,只要它产生的最终结果在每个案件。因此,GCC 的特定 实现添加了一个优化,在它可以肯定地告诉文件内容将被忽略的情况下,它实际上并不读取它。这完全没问题,因为它的行为仍然好像它已经读取了文件但忽略了它。

请注意,其他编译器不一定会这样做。