一种静态分析成员调用方法的研究

Reseaching on member call of static analysis

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

The static analysis of member call is defined as determining the type of member function pointer or reference in compiling stage. Based on the object model of C++, this paper studies the static analysis with three type cast member call method and proposes a new method for statically analyzing member call, type cast analysis method. This method supplements the existing methods and can be used in optimizing compiler and program understanding.