数组 元素 长度 下界 定义