数组传动态参数是否需要在类型检查阶段检查数组大小，还是只知道维度信息？ · History