一个翻译单元如何访问另一个翻译单元的全局作用域?

How can a translation unit access the global scope of another translation unit?

本文关键字：单元 翻译 另一个 全局 作用域 访问 一个 何访问      更新时间：2023-10-16

我一直在阅读链接器是如何工作的，以及围绕这个过程的一切，以解释我在这个(链接)问题中的问题(很短，抱歉关于参考，但它是相关的)。

: 如果在头文件中我有一个变量声明(使用extern)，并且我想在多个源文件中使用这个变量(当然包括每个源文件中的头文件)，我必须在某个地方为这个变量提供一个定义。问题是，如果我在一些源文件的main函数中提供了一个定义，例如，其他文件仍然没有"看到"这个定义(这会导致链接错误)。如果我在一个全局作用域中定义这个外部变量，它可以正常工作，并且每个人都可以看到它。

为什么?其他文件如何访问另一个文件的全局作用域?全局作用域变量不危险吗?将变量定义放在其他什么作用域中可以解决这样的链接错误?有人在头文件中使用这样的外部变量声明吗?出于什么目的?

编辑:确切的示例情况是在我在开头发布的链接

一些说明:

你所说的"文件"更恰当地称为翻译单元。涉及多少文件并不重要。实际上，同一个文件可以被重新编译(比如使用不同的#定义，等等)

有了这个术语，我们现在可以重新表述你的问题:"一个翻译单元如何访问另一个翻译单元的全局作用域"?

引用自维基百科关于链接的文章:

如果名称具有外部链接，则名称所表示的实体可以从另一个翻译单元使用相同名称的不同声明引用，也可以从同一翻译单元内的其他作用域使用不同声明引用。

换句话说:通过确保该名称作为外部链接，它在全局作用域中，并且对于程序是全局的，而不是翻译单元。

剩余问题:

  1. 全局作用域变量不危险吗?

    我永远不会用"危险"这个词来描述它们，因为我认为某些标准库函数有安全缺陷，等等。但我要说的是，这通常会导致设计非常糟糕的代码，特别是在全局变量的情况下，在多线程代码中会出现很多令人头疼的问题。一个好的规则是:避免使用它们，除非你有很好的理由不这样做。

  2. 如何避免链接错误(在其他范围内)

    这里没有其他神奇的声明:它要么在翻译单元外可见(外部)，要么不可见(静态)。您可能会问:"让其他模块访问该变量的正确方法是什么?"答案是:写一个访问器函数(或者更好的是，一个用方法管理数据的类)。

  3. 谁在用这些东西，为了什么目的?

    总是一个热议的话题。许多人建议完全避免，但你很难在一个足够大的项目中不找到外部人员。最好的理由通常归结为纯粹主义者所忽略的事情:与遗留系统的兼容性、性能、调试器和其他内省工具的易于访问……或者，当然，只是因为它很容易，它被理解，并且它只是工作。

当您放置变量in the main function时，您定义了一个在该函数中可见的局部变量。

您必须在一个源文件的文件范围内定义变量

相关文章：