下标变量的类型就是其第一次被赋值的类型
出自:计算机科学