Ruby与指针：对比C++内存模型及变量绑定疑问

嘿，作为有C/C背景刚转Ruby的新手，你遇到的这些困惑，核心是Ruby的引用模型和C的指针/值类型逻辑的差异，我给你拆解清楚：

1. 为什么数组看起来像指针？b是不是和C++里一样指向a的地址？ #

说白了，Ruby里所有变量都是对象的引用，逻辑上和C++的指针类似，但不用写*/&这些显式语法。

看你的数组例子：

a = []; b = a; a[0] = 3; p b # => [3]

这里a = []是创建了一个数组对象，a是指向这个对象的引用；b = a是把b也指向同一个数组对象——就像C++里int* a = new int[0]; int* b = a，两个指针指向同一块内存。

当你执行a[0] = 3时，是直接修改了这个数组对象本身的内容，而不是给a重新赋值。所以b指向的还是同一个对象，自然能看到修改后的结果，和C++里修改指针指向的内存内容是一个道理。

2. 变量什么时候会改变指向？（比如a=b之后，什么时候a≠b） #

关键看你是修改对象本身，还是给变量重新赋值：

• 如果是调用对象的「原地修改方法」（比如数组的<<、字符串的upcase!），那是修改对象本身，所有指向它的引用都会看到变化；
• 如果是给变量直接赋值（比如c = "新字符串"、a = [1,2,3]），那是让这个变量指向一个全新的对象，原来的引用不受影响。

看你字符串的例子：

c = "this is a string"; d = c; 
c.upcase!; # 原地修改了c指向的字符串对象，d也指向它，所以d变成大写
c = "the string has been edited"; # 给c重新赋值新对象，d还是指向原来的大写字符串
p d # => THIS IS A STRING

再举个数组的例子：

a = []; b = a;
a = [1,2,3]; # 给a重新赋值新数组
p b # => []，因为b还是指向原来的空数组

这时候a和b就指向不同对象了，自然a≠b。

3. 为什么整数没有这种「指针式」的表现？ #

因为Ruby里的整数、浮点数、true/false/nil、符号（Symbol）都是不可变对象！

比如：

x = 3; y = x;
x = 5;
p y # => 3

这里x一开始指向整数对象3，y也指向它；当你x = 5时，并不是修改了3这个对象（它根本不能被修改），而是让x重新指向了整数对象5。y还是指向原来的3，所以输出3。

对比C的int：C里int是值类型，赋值是拷贝；而Ruby里整数是引用类型，但因为不可变，所以看起来和值传递一样——本质是引用了一个不能被修改的对象，所以不会出现多个变量共享同一个可变对象的情况。

一句话总结 #

Ruby变量都是对象的引用，但要区分：

• 可变对象（数组、哈希、自定义类实例等）：修改对象本身会影响所有指向它的引用；
• 不可变对象（整数、浮点数等）：无法修改对象本身，变量赋值只是切换指向的新对象，不影响其他引用。

另外补充个小细节：Ruby里带!的方法一般都是「原地修改对象」的意思，不带!的则是返回新对象，这个规律能帮你快速判断操作逻辑～

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