generics - 如何用汇编语言表示泛型类型

Question

我想在汇编器中实现一个通用链表。我的问题是，如何表示 T 类型的元素？像指针一样？ TAD 列表为:

Record Node
    element: T
    next   : Node
end

Record Head
    first : Node
    size  : Int
end

我想知道如何做到这一点主要是为了记录节点的内存预留。

我正在 MIPS 中编程。谢谢

Answer 1

在汇编程序中，变量和字段没有类型，只有大小。对于平面 32 位内存模型的最常见情况，指针的大小为四个字节，与大多数整数相同。因此，您只需将它们视为恰好包含地址的整数，而不仅仅是任意数字。