Lua中多次标记终结的A、B对象析构函数执行顺序问询

首先明确Lua 5.4规范中关于待终结对象的核心规则：

• 对象被标记为待终结状态的唯一触发条件是为其设置带有__gc元方法的元表（若先设置无__gc的元表，后续再添加该字段不会触发标记）。
• 待终结对象的__gc执行遵循**后进先出（LIFO）**的队列逻辑：后被标记的对象，其析构函数先执行。比如先标记A、再标记B，执行顺序为B.__gc → A.__gc。

针对你提出的「先标记A，再标记B，之后再次标记A」的场景：
当一个已处于待终结队列的对象再次被标记（即重新为它设置带有__gc的元表）时，Lua规范要求将该对象移至待终结队列的末尾。此时队列的顺序变为[B, A]，因此最终的析构函数执行顺序是先调用A.__gc，再调用B.__gc。

需要额外注意：仅修改现有元表的__gc字段（而非重新设置带__gc的元表）不会触发对象的重新标记，也不会改变它在队列中的位置。

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