Luau协程消费者用泛型for循环触发yield跨边界错误排查

错误原因 #

你遇到的"attempt to yield across metamethod/C-call boundary"错误，根源在于泛型for循环的底层实现机制：

• Luau的泛型for会在C层面调用迭代器函数，来获取迭代状态、初始值等信息。
• 你直接将coroutine.yield作为迭代器传入泛型for，当for循环第一次调用coroutine.yield时，协程在C调用栈的上下文里执行了yield操作，这就触发了Luau的边界检查错误——因为yield不能跨越C调用/元方法的执行边界。

修复方案 #

需要给coroutine.yield包装一层Luau函数，让迭代逻辑在Luau栈上下文里执行，避免在C调用期间yield。修改后的代码如下：

-- 包装coroutine.resume，暴露协程内的错误
function resume(...)
    local ok_result = table.pack(coroutine.resume(...))
    if not ok_result[1] then
        error(ok_result[2])
    end
    return table.unpack(ok_result, 2)
end

-- 修改消费者函数，用包装函数处理迭代
function consumer()
    print('generic for loop')
    -- 包装迭代器，确保yield在Luau栈中执行
    local function iterator()
        return coroutine.yield()
    end
    for item in iterator do
        print(item)
    end
    print('generic for done')
end

local array = {'loop', 'over', 'yield', 'calls'}

-- 驱动消费者协程
local conco = coroutine.create(consumer)
resume(conco) -- 运行到第一个yield
for _, word in pairs(array) do
    resume(conco, word)
end
resume(conco) -- 传入nil终止循环
coroutine.close(conco)

额外说明 #

• 泛型for的执行流程是：先调用迭代器函数一次获取初始状态，之后每次循环都会调用迭代器并传入状态值。通过包装函数，我们把yield操作放到了Luau函数的上下文里，避开了C调用栈的限制。
• 原代码里的ok_result未用local声明，会变成全局变量，修复时补充了local避免意外污染全局环境。

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