我正在开发一个工具,用于在Ada源code.for中查找子类型范围溢出问题。目的是使用ASIS在Ada源代码中查找赋值语句,并在赋值expression.now的右侧查找变量类型--我想将赋值表达式中的变量(而不是记录类型)替换为赋值语句中变量类型的最后一个值,以便如果任何范围溢出is integer 1 .. 12;
B : B_Type;begin
C :
由于有大量的C++背景,我很难理解ruby函数参数是如何传递的,或者更确切地说,我很难理解按引用传递和按值传递之间的语义差异,这似乎是在ruby社区中所做的区别。我的困惑是在C++按引用传递时:{
//cannot change the memory location of i in this function