关于Scala不可变List的map方法实现逻辑的疑问

先拆解这段map方法的核心逻辑：它没有用递归，而是通过迭代+可变指针的方式构建新列表，目的是避免递归版map在处理长列表时的栈溢出问题，同时保证性能。

疑问1：h被声明为val，为何while循环结束后h会是所有元素都应用了f的新列表？ #

h是val，意味着变量h的引用不可变——它自始至终都指向第一个创建的::[B]实例（也就是新列表的头节点）。但这个::实例的next字段是可变的（Scala内部实现里，::类的next是var）。

while循环做的事情是：

1. 每次从原列表的剩余部分（rest）取头元素，应用f后创建新的::节点nx
2. 把当前t节点的next指向nx（相当于把新节点链到当前链表的末尾）
3. 把t移动到nx（让t始终指向链表的最后一个节点）
4. 原列表的rest往后移动一位

整个过程中，h作为头节点，它的next被逐步链接到后续所有新创建的节点，所以最后返回h时，它就是整个新链表的入口，能遍历到所有应用了f的元素。

疑问2：重新赋值变量t会回溯改变h的值吗？ #

不会。t是一个var变量，它只是一个指向链表节点的指针：

• 初始时t和h指向同一个节点（头节点）
• 每次循环中t = nx只是让t的引用指向新的末尾节点，完全不会改变h的引用，也不会修改h指向的头节点本身（只是修改过h的next字段）。h自始至终都是最初创建的那个头节点，没有被“回溯改变”。

疑问3：这是否会导致h变为可变对象？ #

要区分两个概念：

• 变量的可变性：h是val变量，所以h这个引用不能被重新赋值，它永远指向最初的头节点。
• 对象的可变性：h指向的::实例内部有可变的next字段，但这是Scala List的内部实现细节。对外暴露的List接口是完全不可变的——你无法通过List的公开API修改这个next字段，所以从使用者的角度，返回的List是不可变的。

这种“内部可变、外部不可变”的设计是为了在保证List不可变语义的同时，提升构建新列表的性能（避免递归栈开销，同时比纯函数式递归更高效）。

内容的提问来源于stack exchange，提问作者Dasph