lua在redis中必须显式用local声明所有临时变量，否则因沙箱禁写全局表而报错或产生静默nil值；循环变量、条件块内变量均需提前声明，且不可复用模块名，否则导致后续调用失败。
Local关键字必须显式声明所有临时变量
Lua在Redis中不支持隐式变量声明，所有在脚本内定义的临时变量都必须用local前缀，否则会被当作全局变量处理。Redis的Lua沙箱环境禁止写入全局表（_G），一旦出现未加local的赋值，就会直接报错：(error) ERR Error running script (call to f_...): @user_script:2: attempt to index a nil value (global 'xxx') 或更隐蔽地表现为变量值为nil却无明确报错。
- 错误写法：
counter = 0、result = redis.call('get', KEYS[1]) - 正确写法：
local counter = 0、local result = redis.call('get', KEYS[1]) - 循环变量也需
local：for i = 1, #KEYS do→ 必须写成for local i = 1, #KEYS do（注意：标准Lua 5.1不支持for local语法，实际应写为local i; for i = 1, #KEYS do）
避免局部变量作用域误判导致的nil访问
local变量的作用域仅限于其声明所在的块（block），常见坑点是if/while/do-end块内声明后，在块外读取会得到nil。例如：
if redis.call('exists', KEYS[1]) == 1 then
local val = redis.call('get', KEYS[1])
end
return val -- 这里val是nil，不是“未定义”，而是块外不可见
- 修复方式：把
local val提到块外声明：local val; if ... then val = redis.call(...) end - 不要依赖“变量提升”——Lua没有变量提升，声明位置决定可见性
- 调试技巧：在可疑位置加
redis.log(redis.LOG_WARNING, 'val='..tostring(val))确认值和类型
Redis Lua沙箱对全局变量的拦截机制
Redis强制禁用所有全局写操作，但允许读取少数内置全局（如redis、math、string）。尝试写table.insert或覆盖os.time会失败；更隐蔽的是，未加local的变量名若与内置模块同名（比如json = cjson.new()），会导致后续调用cjson.encode()出错，因为json被污染为nil。
Redis 缓存和数据结构管理技能。通过自然语言操作 Redis，支持 String、Hash、List、Set、ZSet、Stream 等数据结构操作。当用户提到 Redis、缓存、消息队列、会话存储时使用此技能。
- 典型错误现象：
(error) ERR Error running script ... @user_script:5: attempt to call a nil value (field 'encode') - 根本原因：前面某处写了
json = ...而没加local，覆盖了原本可用的cjson模块别名 - 规避方法：统一用
local json = cjson，且绝不复用模块名作为自定义变量名
为什么不能省略local——不只是风格问题
省略local不仅触发沙箱拦截，还会引发性能与一致性风险：Redis每次执行脚本都会重置全局环境，未声明的变量无法跨EVAL调用保持状态，但更重要的是，它让脚本行为依赖于执行上下文顺序（比如前一个脚本是否意外写入了同名全局），造成极难复现的偶发故障。
- 脚本加载后，Redis会做静态分析，但不校验变量声明——错误只在运行时暴露
- 使用
SCRIPT FLUSH后，所有未local的变量残留会被清空，加剧环境不一致 - 团队协作时，漏写
local是最容易被Code Review忽略的低级错误之一
真正麻烦的不是报错本身，而是那些静默的nil值——它们不会中断执行，却会让逻辑分支走偏，最终在业务侧表现为“数据没更新”“锁没释放”“计数异常”，排查时得逐行加日志，比直接崩溃更耗时间。
