go-redis 自增，如果key不存在，从10000开始自增，返回结果，使用lua脚本

可以使用 Lua 脚本来实现这个操作。具体实现代码如下：

import (
    "fmt"
    "github.com/go-redis/redis"
)

func main() {
    // 创建 Redis 客户端
    client := redis.NewClient(&redis.Options{
        Addr: "localhost:6379",
        Password: "",
        DB: 0,
    })
    
    // 定义 key 和 Lua 脚本
    key := "test_key"
    script := `
        local val = redis.call('INCRBY', KEYS[1], ARGV[1])
        if val == tonumber(ARGV[1]) then
            val = redis.call('INCRBY', KEYS[1], 10000)
        end
        return val
    `
    
    // 定义 Lua 脚本的 KEYS 和 ARGV 参数
    keys := []string{key}
    argv := []string{"1"}
    
    // 使用 EVAL 命令执行 Lua 脚本
    val, err := client.Eval(script, keys, argv).Result()
    if err != nil {
        panic(err)
    }
    
    fmt.Println(val)
}

这段代码使用了 Redis 的 EVAL 命令，它可以执行 Lua 脚本。我们定义了一个 Lua 脚本，它使用了 INCRBY 命令自增 key 的值，如果 key 不存在，则从 10000 开始自增。最后，将自增后的值返回。在 Go 代码中，我们可以使用 EVAL 命令执行这个 Lua 脚本，并传入 KEYS 和 ARGV 参数。其中 KEYS 参数是一个字符串数组，用于传递 key；ARGV 参数是一个字符串数组，用于传递自增的值。最终，输出自增后的值即可。