明确赋值 Definite assignment

Java 在编译期根据控制流证明变量在读取前已于每条可达路径上完成赋值。