数组的下标必须是非负整数，且不能超过数组长度。合法访问是A，B和C为非法表达式，D在语法上是正确的，但逻辑上不符合要求。