Ruby 如何在语义上处理赋值？

Question

在 Ruby 中，我们使用 = 运算符为对象赋值。

将此与隐式类型结合起来，我们经常会遇到这样的情况：

myVar= :asymbol

以上行都创建了一个新的符号对象，并将该对象绑定到变​​量名myVar。

从语义上讲，这是怎么做到的？

我已经意识到= 运算符是不是解释器内置的魔术语法，但实际上只是object.=(value) 方法的语法糖。

考虑到这一点，我最好的猜测是，当解释器看到我们试图为未定义的变量名赋值时，它首先会创建一个特殊类型的新对象，例如 undefined 或 null 或一些东西，然后将:= 消息传递给该对象，其中有效负载是我们尝试分配的值。

但是，在未实例化的对象上调用 .class 只会引发异常，因为 Ruby 认为我们正在尝试调用一个方法（其名称是您要创建的变量的名称） self

> obj.class
    > NameError: undefined variable or method 'obj' for main:Object

所以，据我所知，我无法通过实验解决这个问题。

---

旁注：

在符号赋值的情况下，我相信赋值的值（又名实例化对象的object_id方法返回的值，又名unsigned long VALUE在C级别上的变量的值）是一个代表一个数字在某处的表格中偏移（我相信这就是 Ruby 为符号对象实现“即时价值”的方式）。

在其他情况下，该值可能是对象本身的直接编码，或者是要转换为引用 struct 的指针的值。

无论如何，Ruby 表示对象的方式以及我们最终是分配引用还是对象本身都不是我在这里要问的。

补充问题：

= 方法继承自哪个类？我在 Object 或 BasicObject 的规范中找不到它。

Answer 1

在技术意义上，变量只是指向对象的指针。这并没有什么特别之处，但是对现有对象的简单变量分配不涉及任何方法调用或发送消息。

记住变量就在那里，以便程序员可以通过名称而不是某种内部标识符或内存位置来引用对象。所以这里有一点“魔力”，= 在分配作业时很特别，因为它的左右两边都有你可以做什么的规则。

您可以向某事物发送消息的唯一方法，即进行方法调用，是如果您以编译器可以理解的方式定义它。 x = 1 就足够了，这意味着x 指的是有问题的Fixnum。

请注意，Ruby 解释器需要确定 x 是指变量还是方法调用，因为 x= 可能是在评估 this 的对象上下文中定义的方法。

例如：

class Example
  def x=(value)
    @x = value
  end

  def test
    # Equivalent to send(:x=, 1) because x= is a method
    x = 1

    # Is a variable definition because y= is not a method
    y = 2

    # Is always a method call because self is referenced.
    self.x = 3
  end
end

# Is a variable definition because x= is not defined in this context
x = 4

如果您的对象没有 x= 方法，则自动假定 x 是一个变量。

您不能有:= 消息，因为这意味着您可以用另一个对象替换一个对象，这是不允许的。一旦创建了一个对象，它就不能神奇地改变类型。为此，您需要创建不同对象的新实例。变量看起来只是改变类型，但实际上它们只是指向不同的对象。

简而言之，没有 := 方法调用，但可能有一些特殊的方法，例如 :x=，在非常特殊的情况下有效。