On the return types of virtual functions

Authors:
Emanuele Panizzi;Bernardo Pastorelli
Affiliations:
Università degli Studi dell'Aquila, L'Aquila, Italy;Istituto Nazionale di Fisica Nucleare, Sezione di Romal, Roma, Italy
Venue:
ACM SIGPLAN Notices
Year:
1999

Citing 3
Cited 0

Inside the C++ object model

Inside the C++ object model
The C++ Programming Language, Third Edition

The C++ Programming Language, Third Edition
A Theory of Objects

A Theory of Objects

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper a problem raising in the static type checking of C++ virtual functions is presented. C++ allows a certain degree of freedom in the specialization of the return type of virtual functions. As to the actual draft standard, this freedom can lead to run-time errors and, for this reason, it must be used carefully or compiler support must be added to prevent inconsistencies.