论文部分内容阅读
在面向对象程序设计中,成员调用的静态分析是指在编译阶段确定调用成员函数指针或引用的类型.本文在分析C++对象模型的基础上,对与静态分析相关的三种类型转换的成员调用方法进行了研究,针对已有分析方法的不足,给出一种新的静态分析成员调用的方法--转型分析法.为优化编译器,程序理解提供了一种切实可行的方法.