8.2.3 在数组访问期间检查类型