[论文解读] Multimethods and separate static typechecking in a language with C++-like object model

Emanuele Panizzi, Bernardo Pastorelli|arXiv (Cornell University)|May 31, 2000

Logic, programming, and type systems参考文献 21被引用 3

一句话总结

本文提出 OOLANG，一种类 C++、无指针、基于类的编程语言，支持多分派方法（multimethods），具备独立的静态类型检查与高效的链接时验证。该语言引入两阶段类型检查机制——模块编译时的静态检查与基于压缩分发表的轻量级链接时检查，同时通过运行时类型表与偏移量计算，解决了多重继承中的对象重对齐问题。

ABSTRACT

The goal of this paper is the description and analysis of multimethod implementation in a new object-oriented, class-based programming language called OOLANG. The implementation of the multimethod typecheck and selection, deeply analyzed in the paper, is performed in two phases in order to allow static typechecking and separate compilation of modules. The first phase is performed at compile time, while the second is executed at link time and does not require the modules' source code. OOLANG has syntax similar to C++; the main differences are the absence of pointers and the realization of polymorphism through subsumption. It adopts the C++ object model and supports multiple inheritance as well as virtual base classes. For this reason, it has been necessary to define techniques for realigning argument and return value addresses when performing multimethod invocations.

研究动机与目标

• 在支持多重继承的类 C++ 面向对象语言中，实现多分派方法的静态、独立编译。
• 解决在链接包含多分派方法的独立编译模块时，类型不一致的问题。
• 在无指针的前提下，通过子类型关系与虚函数机制，实现多分派方法的高效运行时分发。
• 解决在跨类型边界传递或返回对象时，由于多重继承导致的对象重对齐问题。
• 为面向数学计算与高性能计算的编程语言，提供一种实用且高效的多分派方法的实现。

提出的方法

• 提出两阶段类型检查机制：每个模块的编译时类型检查，以及在压缩分发表构建过程中进行的轻量级链接时检查。
• 使用运行时类型表（RTTABLE）存储父类偏移量，实现对象在运行时的动态重对齐，以正确表示目标子对象。
• 采用一种参数传递机制，要求调用者与被调用者之间协调，以正确处理值传递、引用传递与 const 传递在多分派方法中的行为。
• 引入一种重对齐机制，利用 RTTABLE 中的父类偏移信息，计算派生对象中目标父类子对象的地址。
• 通过子类型关系支持多态，允许派生类实例在基类类型预期的上下文中使用，即使在多分派方法中也保持类型安全。
• 设计一种分发机制，将链接时检查集成到压缩分发表的生成过程中，确保类型安全，而无需进行全程序分析。

实验结果

研究问题

• RQ1 如何在类 C++ 的面向对象模型中，对支持多重继承的多分派方法实现模块间的静态、独立类型检查？
• RQ2 在链接独立编译的模块时，需要何种机制来确保多分派方法的类型安全？
• RQ3 在多重继承层次结构中，传递或返回对象时，如何在运行时实现对象地址的重对齐？
• RQ4 将链接时检查集成到分发表构建过程中，对性能有何影响？
• RQ5 在无指针语言中，如何安全协调多分派方法与参数传递语义（值、引用、const）？

主要发现

• 两阶段类型检查方法可在不进行全程序分析的前提下，实现对独立编译模块中多分派方法的完整静态类型检查。
• 链接时检查被高效地集成到压缩分发表构建过程中，以极低的性能开销确保了类型安全。
• 通过运行时类型表（RTTABLE）存储父类偏移量，实现了对象的重对齐，确保了方法调用与返回时子对象地址的正确性。
• 系统在处理涉及多重继承与 const 参数的复杂场景时，未破坏类型安全。
• 该方法通过子类型关系支持多态，并与类 C++ 的对象布局及虚函数语义保持兼容。
• 实现结果表明，在无指针、静态类型、基于类的语言中，高效、安全且模块化的多分派方法是可行的。