什么是名称错误,它是如何工作的？

Question

请解释什么是名称修改,它是如何工作的,它解决了什么问题,以及使用了哪些上下文和语言.名称修改策略(例如编译器选择的名称和原因)加号.

Answer 1

在您选择的编程语言中,如果标识符是从单独编译的单元导出的,则它需要一个在链接时通知它的名称.名称修改解决了编程语言中重载标识符的问题.(如果在多个上下文中使用相同的名称或具有多个含义,则标识符将"重载".)

一些例子:

多种类型和多个模块涵盖了通常的上下文.

典型策略:

将每种类型映射到字符串,并使用组合的高级标识符和"type string"作为链接时名称.在C++中很常见(特别容易,因为只允许对函数/方法进行重载,而且只允许在参数类型上使用)和Ada(在这里你也可以重载结果类型).
如果在多个模块或命名空间中使用标识符,请使用标识符的名称加入模块的名称,例如,List_get而不是List.get.

根据链接时名称中哪些字符合法,您可能需要进行额外的修改; 例如,可能需要使用下划线作为"转义"字符,以便您可以区分

从

(不可否认,这个例子已经到了,但作为编译器编写者,我必须保证源代码中的不同标识符映射到不同的链接时名称.这就是名称修改的全部原因和目的.)

Answer 2

简而言之,名称修改是编译器更改源代码中标识符名称的过程,以帮助链接器消除这些标识符之间的歧义.

Answer 3

名称修改是编译器修改对象的“已编译”名称的一种方式，使其与您以一致方式指定的名称不同。

这允许编程语言灵活地为多个编译对象提供相同的名称，并以一致的方式查找适当的对象。例如，这允许多个具有相同名称的类存在于不同的命名空间中（通常通过将命名空间添加到类名中等）。

许多语言中的运算符和方法重载更进一步 - 每个方法最终在编译库中都有一个“错位”名称，以便允许一种类型上的多个方法以相同的名称存在。

Answer 4

在python中，名称修改是一个系统，通过该系统，类变量在类内外具有不同的名称。程序员通过在变量名的开头放置两个下划线来“激活”它。

例如，我可以定义一个包含一些成员的简单类：

>>> class Foo(object):
...  def __init__(self):
...   self.x = 3
...   self._y = 4
...   self.__z = 5
...

在 Python 实践中，以下划线开头的变量名是“内部的”，而不是类接口的一部分，因此程序员不应依赖它。但是，它仍然可见：

>>> f = Foo()
>>> f.x
3
>>> f._y
4

以两个下划线开头的变量名仍然是公开的，但它是名称混乱的，因此更难访问：

>>> f.__z  
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
AttributeError: 'Foo' object has no attribute '__z'

但是，如果我们知道名称修改的工作原理，我们就可以了解它：

>>> f._Foo__z
5

即类名在变量名前面加上一个额外的下划线。

Python 没有“私有”成员与“公共”成员的概念；一切都是公开的。名称修改是程序员可以发送的最强信号，表明不应从类外部访问该变量。