ZHCU820Y September 2004 – June 2021
C 和 C++ 程序通常使用许多指针变量。通常,编译器无法确定两个或多个 I 值(小写 L:符号、指针引用或结构引用)是否指向同一内存位置。内存位置的这种别名通常会阻止编译器在寄存器中保留值,因为无法确保寄存器和内存是否会随着时间的推移继续保持相同的值。
别名消歧是确定两个指针表达式何时不能指向同一位置的技术,允许编译器可以自由地优化此类表达式。