Ruby参数传递与对象引用

我们来举一个好玩的例子：

def modify_arr(b)
	b << 4
	b = [1, 2, 3]
end

a = [1, 2]
modify_arr a

puts a

以上的代码最终会打印出什么？

大部分情况下，对ruby对象不熟悉的人，可能会说[1, 2, 3]，但事实恰恰相反：结果是[1, 2, 4]！

为什么会出现这样的情况？其实当参数arr被传递到函数中后，传递的仅仅是数组对象地址的引用，而非数组本身。但是在ruby中，对数组进行操作会修改数组对象本身，而赋值操作仅仅是将引用进行了新的对象创建，就算你在函数中返回了该引用，也是一个新的对象，而非原本的a本身。

以下时序图很好的反应了整个操作流程：

%% 参数传递全过程图解
sequenceDiagram
    participant Caller
    participant Method
    participant Heap

    Note over Caller,Heap: 初始状态
    Caller->>Heap: original → [1,2]
    
    Note over Caller,Heap: 调用方法时（传递引用副本）
    Caller->>Method: 传递arr的引用副本
    Method->>Heap: arr副本 → [1,2]
    
    Note over Method,Heap: 修改对象状态（影响原数据）
    Method->>Heap: arr << 4
    Heap-->>Method: [1,2,4]
    Heap-->>Caller: original同步变为[1,2,4]

    Note over Method,Heap: 重新赋值（仅影响副本）
    Method->>Heap: arr = [1,2,3]
    Heap-->>Method: 创建新对象
    Note over Caller: original仍为[1,2,4]

    Note over Caller,Heap: 最终状态
    Caller->>Heap: original → [1,2,4]
    Method->>Heap: arr → [1,2,3]（独立新对象）

虽然这是一个很好的例子，但是善于思考的人会提出一个问题：如果我在函数中返回了b，b还指向a吗？

很抱歉，他们之间没关系了。从函数传入的b，它只是对a内存地址的引用。而对b赋值并在函数退出前返回，b会被分配新的内存地址，它就是一个全新的对象了。

那原来的对象会被Ruby的垃圾回收机制回收吗？这就是后续需要讨论的问题了。