好奇的。您认为这需要对文档进行修复，还是两个引脚都应该存在？

我的观点是，因为该函数被称为“别名”，所以它不应该删除原始名称，
想知道作者的想法……
（同时删除名称会导致一些非常奇怪的情况，其中说信号被连接到
消失的 hal 文件中的引脚…我怀疑这是可以的，因为我猜名称只是解析为指针但仍然很奇怪…）

我测试了其中的一部分，如果你给一个 pin 添加别名，它会以新名称保留在同一个网络中。

这可能只是“show pin”的问题。您仍然可以在 net 命令中使用原始名称。
（“show pin”显示新信号的别名）

好的，感谢您的测试，我想这在某种程度上是有意义的，因为
pin 的列表 –> 信号连接会有点混淆多个名称我想我会在结束
时附上一条注释，可以更好地记录这种行为。