Redis Lua中仅nil和false为假值，0、""、{}均为真；数值判零用==0，字符串判空用#str==0或==""，表判空用next(tab)==nil；多条件必须加括号；redis.call返回非布尔需显式判断；TIME返回table须转整数比较。
Redis Lua里if判断只认nil和false，0和空字符串都是真
很多人写if count == 0或if not stock想表达“没库存”，结果逻辑跑偏——因为0、""、{}在Lua里全是真值。只有nil和false会被判为假。
实操建议：
- 用
if not count判断变量是否存在或为空（但注意：它对0也返回true，所以不能用于数值是否为零的判断） - 数值是否为零，必须显式写
if count == 0或if count ~= 0 - 字符串是否为空，用
if #str == 0或if str == ""，别依赖not str - 表是否为空，用
if next(tab) == nil，而不是if not tab或if #tab == 0（后者对非数组型表无效）
多个条件组合时，and/or/not优先级容易出错
Lua中and优先级高于or，高于not，但没括号时极易误读。比如if a or b and c then等价于if a or (b and c) then，不是(a or b) and c。
实操建议：
- 所有多条件组合一律加括号，哪怕看起来“没必要”——
if (a or b) and not c then - 避免把复杂布尔表达式塞进单行
if，拆成变量更易读：local has_stock = stock > 0，local in_whitelist = redis.call("SISMEMBER", "whitelist", user_id) == 1，再if has_stock and in_whitelist then - 不要用
and做条件执行（如a > 0 and redis.call("INCR", key)），这会返回redis.call()的结果而非布尔值，且失败时不报错
用redis.pcall包裹命令，再判断返回值类型才是可靠布尔依据
redis.call("EXISTS", key)返回的是数字1或0，不是布尔；redis.call("GET", key)返回nil或字符串，但你不能直接if redis.call("GET", key)就认为“存在”，因为如果key存的是"0"或""，这个判断也会走true分支。
Redis Skill - 高性能缓存管理
下载
Redis 缓存和数据结构管理技能。通过自然语言操作 Redis，支持 String、Hash、List、Set、ZSet、Stream 等数据结构操作。当用户提到 Redis、缓存、消息队列、会话存储时使用此技能。
实操建议：
- 检查key是否存在，用
redis.call("EXISTS", key) == 1 - 检查key是否有非空值，先
local val = redis.call("GET", key)，再if val ~= false and val ~= nil and #val > 0 then（注意redis.call失败时返回false，不是nil） - 更稳妥的方式是统一用
redis.pcall：local res = redis.pcall("GET", key)，然后if type(res) == "string" and #res > 0 then - 别省略
type()检查——res可能是字符串、数字、table（错误）、nil，直接if res会掩盖类型问题
时间比较必须转成整数，否则table没法比大小
redis.call("TIME")返回{seconds, microseconds}这种table，你不能直接if now > expire_ts then——Lua不允许table之间比较，会报错attempt to compare table with number。
实操建议：
- 秒级比较，取第一项并转整：
local now_sec = tonumber(redis.call("TIME")[1]) - 微秒级差值计算（比如判断是否在5分钟内），合成整数：
local now_us = tonumber(redis.call("TIME")[1]) * 1000000 + tonumber(redis.call("TIME")[2]) - 别用
redis.call("TIME")[1] + 0隐式转换，旧版Redis某些响应可能带引号字符串，tonumber()更健壮 - 存入过期时间时，也统一存秒级整数（
redis.call("HSET", key, "expire_at", now_sec + 300)），避免来回转换
真正麻烦的不是写if，而是搞清你到底在判断“存在性”“非空性”还是“业务有效性”——这三个在Redis Lua里完全是不同操作，混用就会漏掉边界情况。
