[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]
- To: <mark>, <roland>, <xtech>
- Subject: None
- From: Eric Dean Tribble <tribble>
- Date: Mon, 20 Nov 89 00:40:07 PST
Abstract: I'm suggesting a CAST operation in which the source and
destination types must be related through inheritance. Alternatively,
this could be made a check for XLint.
I just realized that all my uses of CAST cast a pointer to some heaper
type to a pointer to a *descendant* heaper type. This made me realize
that my discomfort with cast was always its ability to leap from
branch to branch in the inheritance tree. I want the cast operation
(or a cast operation) to be defined as declaring a *more specialized*
type (or less, presumably).
In the back of my mind, I keep thinking that this is how the current
cast operation works, even though it's not defined that way. I think
there's something XLint should check for, but I'm too tired to think
of it. Any ideas?