Python和Mojo工作方式的不同(ref 与 copy)

mojo_hub

@paugier
名称空间和对象空间之间的区别在 Python 中非常重要（名称只是对象的引用），Python 初学者必须很快理解它。

我知道 Mojo 的工作方式完全不同（例如，一个赋值会导致一个副本，参数传递比 Python 高级得多）。我认为文档中很早的地方可能有一个部分来明确讨论这个重要的区别。它对于 Python 开发人员来说非常有用，他们可以简单地假设一个赋值只是创建一个新的引用。a = b a = b

例如 https://docs.modular.com/mojo/programming-manual.html#the-__copyinit__-__moveinit__-and-__takeinit__-special-methods

# var b = a  # ERROR: Vector doesn't implement __copyinit__

我想对于大多数没有其他静态语言经验的 Python 开发人员来说，这感觉很奇怪（至少有太多信息：（i）赋值意味着复制，（ii）没有 copyinit 则对象不可复制）。
此外，我还以某种方式了解了如何实现模仿 Python 类型行为的 Mojo 对象。但我不明白如何在 mojo 中实现 a 来获得像 list 这样简单的东西.

a = list(range(2))
b = a
b[0] = 1
assert a == b
assert a is b

已经可能了吗？有可能吗？怎么可能呢？

mojo_hub

@rd4com
mojo 确实有一个对象类型（参见 matmul 示例和 Object）：

def main():
    var a = object([0,1])
    var b = a
    b[0] = 1
    print(a) #[1, 1]
    print(b) #[1, 1]

它还具有 PythonObject 类型：

def main():
    var a = PythonObject([0,1])
    var b = a
    b.__setitem__(0,1)
    print(a) #[1, 1]
    print(b) #[1, 1]

使用指针实现泛型结构也是一种可能性（非仅内存类型或 T 的register_passable）。
如果多个实例共享同一个 Pointer[T]，则一个实例中的空闲会影响另一个实例，因此必须深思熟虑。
特别注意不要免费两次或以错误的顺序进行，例如。
以正确的顺序手动免费操作可能会很棘手，如果不小心，会导致错误。

可以肯定的是，在使用寿命内，它将符合人体工程学，并且在设计上显然更安全。

对于需要定义方法以复制实例的事实：copyinit()
这可能是一件好事，想想应该只有一个实例的类型，这是一种强制执行的方法。
有些类型需要是“唯一的”，并依赖于所有权的转移takeinit()moveinit()

有一个装饰器可以合成一些方法，包括为了避免样板/冗余编码。@valuecopyinit()

我不知道它如何与类一起工作。