US 5,854,931 AGranted

Method and system for accessing virtual base classes

AssigneeMicrosoft Corporation

InventorsDavid T. Jones, Martin J. O'Riordan, Mark J. Zbikowski

Life of this patent

Estimating the term…

Loading patent…

Abstract

A method for a computer compiler for an object-oriented programming language for implementing virtual functions and virtual base classes is provided. In preferred embodiments of the present invention, the data structure layout of an object includes a virtual function table pointer, a virtual base table pointer, occurrences of each non-virtual base class, the data members of the class, and occurrences of each virtual base class. If a class introduces a virtual function member and the class has a non-virtual base class with a virtual function table pointer, then the class shares the virtual function table pointer of the non-virtual base class that is first visited in a depth-first, left-to-right traversal of the inheritance tree. In preferred embodiments of the present invention, each instance of a given class shares a set of virtual function tables and virtual base tables for that class. In preferred embodiments, adjusters are used when a function member in a derived class overrides a function member that is defined in more than one base class, and when a derived class has a base class that overrides a function member in a virtual base class of that class and the derived class itself does not override the function member.

Claims15

Dependent claims

A method in a computer system for generating an object data structure layout for a derived class, the derived class inheriting a base class, the base class virtually inheriting a virtual base class, the virtual base class having a virtual function member that is overridden by an overriding virtual function member in the base class but not overridden in the derived class, the method comprising the steps of:

allocating an occurrence of the base class, the base class having a virtual base table pointer that points to a virtual base table for the base class, the virtual base table having an entry referencing an occurrence of the virtual base class within the derived class;
allocating an occurrence of the virtual base class, the occurrence of the virtual base class having a pointer to a virtual function table for the virtual base class, the virtual function table having an entry for the virtual function member, the overriding virtual function member having been compiled to locate the virtual base table pointer at a predetermined location relative to a this pointer that is passed to the overriding virtual function member;
and
setting the entry for the overriding virtual function member in the virtual function table to point to an adjustor thunk, the adjustor thunk for adjusting the this pointer passed to the overriding virtual function member that initially points to the virtual base class so that the overriding virtual function member can correctly access the virtual base table pointer within the derived class and for invoking the overriding virtual function member using the adjusted this pointer whereby the virtual base class, the base class, and the derived call share the virtual function table in that when the virtual function member is invoked from the virtual base class, the base class, or the derived class with the object data structure layout, the entry for the virtual function member in the shared virtual function table is used to invoke the virtual function member.

1 more element

A method in a computer system for accessing an occurrence of a base class inherited by a derived class, the base class virtually inheriting a virtual base class, the base class having a virtual function member that overrides a virtual function member of the virtual base class, the overriding virtual function member being compiled to access the occurrence of the base class at a predetermined location relative to a this pointer passed to the overriding virtual function member, the method comprising the steps of:

allocating an instance of the derived class, the derived class having a single virtual function table that contains a reference to the overriding virtual function member;
before invoking the overriding virtual function member by specifying a reference to the instance of the derived class or a reference to the occurrence of the base class,
setting the this pointer to point to the occurrence of the virtual base class within the derived class;
and
adjusting the this pointer to compensate for differences in location between the occurrence of the base class and the occurrence of the virtual base class within the derived class and within the base class;
and
invoking the overriding virtual function member referenced through the single virtual function table by which the occurrence of the base class is located using the adjusted this pointer.

4 more elements

before invoking the overriding virtual function member by specifying a reference to the instance of the derived class or a reference to the occurrence of the base class,
setting the this pointer to point to the occurrence of the virtual base class within the derived class;
and
adjusting the this pointer to compensate for differences in location between the occurrence of the base class and the occurrence of the virtual base class within the derived class and within the base class;
and
invoking the overriding virtual function member by which the occurrence of the base class is located using the adjusted this pointer.

3 more elements

A computer-readable medium containing instructions for causing a computer system to access an occurrence of a base class inherited by a derived class, the base class virtually inheriting a virtual base class, the base class having a virtual function member that overrides a virtual function member of the virtual base class, the overriding virtual function member being compiled to access the occurrence of the base class at a predetermined location relative to a this pointer passed to the overriding virtual function member, by:

before invoking the overriding virtual function member by specifying a reference to the instance of the derived class or a reference to the occurrence of the base class, setting the pointer to point to the occurrence of the virtual base class within the derived class;
and
executing an adjustor thunk wherein the adjustor thunk adjusts the pointer to compensate for differences in location between the occurrence of the base class and the occurrence of the virtual base class within the derived class and within the base class and wherein the adjustor thunk invokes the overriding virtual function member by which the occurrence of the base class is located using the adjusted this pointer.

Dependencies are inferred from the claim text.