变量有确定类型；没有显式初值也有零值。:= 是声明，= 是给已有变量赋值，这个区别决定能否在同一作用域再次使用。