Re: demengler in libstdc++ is changed

[Matt Austern <austern at apple dot com>]

On Nov 14, 2003, at 4:01 PM, Phil Edwards wrote:

> On Sat, Nov 15, 2003 at 12:50:28AM +0100, Gabriel Dos Reis wrote:
> > |
> > | FYI, GNU linker uses demangler in symbol version script for human
> > | readable names.
> >
> > I think there should be a tool on top of the demangler in order to
> > cope with semantic isomorphism like "const int" == "int const".
>
> At some point, we just have to rely on the user knowing the language.
>
>
> > I'm not convinced the output of the demangler  should be defined at
> > character-precision level.
>
> I totally agree.

I do too, mostly because I think we have no choice.  Specifying a
canonical form for C++ type declarations would be hard.  (It can
get a whole lot wilder than "const int" versus "int const *"!)
I'm not saying it's provably impossible that anyone could ever
write such a document, but I'm pretty sure nobody has ever done it.

			--Matt