如果有一种方法可以告诉编译器“只有在可以执行边界检查消除时才编译这个数组访问”，那就太好了。 这样你就可以在某些情况下避免边界检查，而不必编写不安全的代码。