redis lua沙箱禁用全局变量写入，所有变量必须用local声明，否则因_g被锁死而报错；for和if块内变量需提前声明，作用域严格受限，调试须用redis.log()而非print。
Redis Lua沙箱禁止写全局表，所有变量必须用local显式声明
报错是因为_G被锁死，不是语法问题而是执行环境限制
Redis内嵌的Lua解释器（5.1）在启动时就禁用了对全局表_G的写入。你写counter = 0或result = redis.call('get', KEYS[1])，Lua会尝试给_G.counter赋值——这步直接被Redis拦截，抛出(error) ERR Error running script ... attempt to index a nil value (global 'counter')。这不是Lua语法错误，而是沙箱策略强制拒绝。
- 只有少数内置全局可读：如
redis、math、string、cjson（若启用） - 任何未加
local的赋值，哪怕只是foo = 1，都会触发拦截 - 错误可能不立即显现：比如
json = cjson.new()会悄悄覆盖cjson别名，后续cjson.encode()就报attempt to call a nil value
for循环变量和if块内变量也得local，但写法有坑
Lua 5.1不支持for local i = 1, #KEYS do这种语法，强行这么写会直接语法报错。正确做法是先声明再用：
Redis 8.2.3
下载
Redis 8.2.3 是一款安全优先的高性能键值存储系统。该版本紧急修复了可能引发远程代码执行（RCE）的高危漏洞（CVE-2025-62507），并解决了 HyperLogLog 及 Cuckoo Filter 等数据结构在特定场景下的崩溃问题。建议所有用户立即升级，以保障生产环境的系统稳定与数据安全。
- 写成
local i; for i = 1, #KEYS do ... end -
if块内定义的local val，作用域仅限该块，块外访问就是nil，不是“未定义”，而是根本不可见 - 常见误写：
if redis.call('exists', KEYS[1]) == 1 then local val = redis.call('get', KEYS[1]) end return val→ 返回nil，因为val在if块外不存在 - 修复：提前声明
local val，再在块内赋值
调试时别信print，用redis.log()确认变量是否真被声明
print()在Redis Lua里完全无效，唯一可用输出是redis.log()。但它只接受两个参数，且不支持nil拼接：
- 错：
redis.log(redis.LOG_WARNING, "val:", val)→ 报wrong number of arguments - 对：
redis.log(redis.LOG_WARNING, "val=" .. tostring(val)) - 对
table类型，先cjson.encode()（确保已加载cjson模块），否则tostring()只返回table: 0x... - 日志等级建议从
redis.LOG_WARNING起手，避免刷屏；上线前必须删掉或注释掉
最容易被忽略的是：变量作用域由声明位置严格决定，没有“提升”，也没有跨块泄漏。一个local漏写，可能让整个逻辑在某个分支里静默失效，而不是立刻崩掉——这种nil值传播比报错更难定位。
