小编Mut*_*amy的帖子

我们为什么使用:

(document.getElementById("ipv") as HTMLInputElement).value;

代替:

document.getElementById("ipv").value;

？