列表2显示了当这个项目已经被打开时如何转换它的存取类型。

Listing 2 shows how to switch the type of access when the project is already open.

youdao

标识完成建议只存取在当前作用域的类型。

Symbol Completion only suggests types accessible at the current location.

youdao

通过在该类型中包括数组大小，编译时间检测器可以象征性地分析数组的存取，确保所有存取都在数组范围内进行。

By including the size in the type, a compile-time checker can symbolically analyze the accesses to the array to ensure that no accesses are done outside the bounds of the array.

youdao