首页
标签
codepeer
数组（数组'第一个）"array index check might fail"
处理表达式时如何检查 Ada 中的潜在溢出？
Ada 为什么要检查一个对象的长度是否不等于它本身。 Ex if(变量'长度/=变量'长度)