For an object of class
AA, all
virtual occurrences of
base class
B in the class lattice of
AA correspond to a
single
B subobject within the object of type
AA, and
every other occurrence of a (non-virtual) base class
B in the
class lattice of
AA corresponds one-to-one with a distinct
B subobject within the object of type
AA.