home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!snorkelwacker.mit.edu!ai-lab!life.ai.mit.edu!tmb
- From: tmb@arolla.idiap.ch (Thomas M. Breuel)
- Newsgroups: comp.lang.c++
- Subject: Re: run-time type checking, freezing, and thawing
- Message-ID: <TMB.92Aug12173706@arolla.idiap.ch>
- Date: 12 Aug 92 21:37:06 GMT
- References: <2A7FCE77.45E5@tct.com> <IRS5BBM@netmbx.netmbx.de> <2A827DFD.6D68@tct.com>
- <1992Aug10.191631.4133@microsoft.com> <WNZ5RGC@netmbx.netmbx.de>
- Sender: news@ai.mit.edu
- Reply-To: tmb@idiap.ch
- Organization: IDIAP (Institut Dalle Molle d'Intelligence Artificielle
- Perceptive)
- Lines: 31
- In-reply-to: jrobie@netmbx.netmbx.de's message of 12 Aug 92 13:43:05 GMT
-
- In article <WNZ5RGC@netmbx.netmbx.de> jrobie@netmbx.netmbx.de (Jonathan Robie) writes:
-
- jimad@microsoft.com (Jim Adcock) writes:
-
- >In article <2A827DFD.6D68@tct.com> chip@tct.com (Chip Salzenberg) writes:
- >|Therefore, EVEN IF the C++ standard includes RTTI, object storage will
- >|STILL require preprocessors and all that loathsome junk that you claim
- >|will be unnecessary once RTTI becomes available.
-
- >An alternative to loathsome preprocessors is to use loathsome postprocessors
- >instead and grovel over the debugging information emitted in the .objs.
- >This makes your postprocessors dependent on the .obj format emitted, but
- >still this should be an easier task.
-
- We could take that even one step further, and grovel over debugging info
- placed in the .EXEs. In fact, we could develop a general purpose library
- for accessing this information. And we could standardize this for all
- vendors. We have now rederived the concept of extended run time type
- information....
-
- No, "we" have not. Your version of "extended run time type
- information" seems to encompass dynamic type information. But, the
- debugging information in ".o" files only gives you static type
- information.
-
- Concretely, using the usual C debugging information, you can ask "what
- type does this variable have" and "what types is this structure type
- composed of", but you can not ask "what type of object is this pointer
- actually pointing to".
-
- Thomas.
-