就是那个复杂度 $O(\log_k n)$，到底对不对啊。

根据 $O$ 的定义，是不是 $n_0$ 取到一个大于 $0$ 的数就可以规避对负数取 $\log$，所以可能是对的？