公开(公告)号：US5696974A

公开(公告)日：1997-12-09

申请号：US554500

申请日：1995-11-07

申请人： Rakesh Agrawal ,  Linda Gail De Michiel ,  Bruce Gilbert Lindsay

发明人： Rakesh Agrawal ,  Linda Gail De Michiel ,  Bruce Gilbert Lindsay

IPC分类号： G06F9/42 ,  G06F9/45

CPC分类号： G06F8/437 ,  G06F9/4431

摘要： Methods and related apparatus, for use in programming language systems, are set forth which support compile-time type checking for overloaded functions in an environment supporting subtypes with multiple inheritance. At both compile and runtime, the invention considers the type of all actual arguments of a function to select a proper function instance to execute. Furthermore, the methods contemplated by the invention identify at compile time the set of function instances which might be invoked due to subtype substitutions for the actual arguments. Since type errors on function invocations or variable assignments are usually indicative of a programming error, program reliability can be improved and faults that would otherwise result in runtime errors can be corrected through the use of the invention prior to program deployment.

摘要翻译： 阐述了在编程语言系统中使用的方法和相关设备，其支持在支持具有多重继承的子类型的环境中的重载功能的编译时类型检查。 在编译和运行时，本发明考虑了函数的所有实际参数的类型，以选择要执行的正确的函数实例。 此外，本发明考虑的方法在编译时识别由于实际参数的子类型替换而可能调用的一组函数实例。 由于函数调用或变量赋值的类型错误通常表示编程错误，因此程序可靠性可以提高，否则会导致运行时错误的故障可以在程序部署之前通过使用本发明进行修正。