2020-BUAA OO-面向对象设计与构造-HW11中对ageVar采用缓存优化的等价性证明(包括溢出情况)
HW11中对ageVar采用缓存优化的等价性证明(包括溢出情况)概要我们知道,第三次作业里age上限变为2000,而如果缓存年龄的平方和,2000*2000*800>2147483647,会溢出。但是实际上,我们仍然能通过缓存得到正确的结果。这是因为,计算机内进行的二进制运算其实每一步都进行了\(\&0xffff\_ffff\)操作,有交换律、结合律、平方公式成立。即使在溢出的情况下,两个式子仍然