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

That was the last time I worked as a cel checker.

那是我最后一次当胶片总监。

youdao

Using "Heat pain checker" to measure pain threshold in the different time, and to observe the changes of rat's behavior.

采用“热痛测试仪”测量不同用药量在不同时间的痛阈变化，并观察大鼠行为变化。

youdao