g++ 2.95 typeinfo::name()

[Theodore Papadopoulo]

mrs@windriver.com said:
>> >> Yep.  It would also be correct if it just returned an empty string
>> for
>> >> all types.

>> >  No.   must be true:

>> >  typeof(x)==typeof(y)  <=> typeof(x).name equal typeof(y).name()

>> Nope.  All the standard says is that the result of type_info::name()
>> is an implementation-defined null-terminated byte string.

> The standard is irrelevant in this case.  What Oliver said must be
> true, must be true, really.  Just meeting the standard is fine in many
> cases, however, at times, we do want to do more than the standard. 

Well, I interpreted that in a different way. name() can always be an 
empty string but different types get different empty strings so that 
the pointers are not equal. Everything lies in the type of equality 
used !! Thus, my belief is that Alexandre is totally right...

--------------------------------------------------------------------
Theodore Papadopoulo
Email: Theodore.Papadopoulo@sophia.inria.fr Tel: (33) 04 92 38 76 01
 --------------------------------------------------------------------


-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Content-Type: text/plain; charset=us-ascii


mrs@windriver.com said:
>> >> Yep.  It would also be correct if it just returned an empty string
>> for
>> >> all types.

>> >  No.   must be true:

>> >  typeof(x)==typeof(y)  <=> typeof(x).name equal typeof(y).name()

>> Nope.  All the standard says is that the result of type_info::name()
>> is an implementation-defined null-terminated byte string.

> The standard is irrelevant in this case.  What Oliver said must be
> true, must be true, really.  Just meeting the standard is fine in many
> cases, however, at times, we do want to do more than the standard. 

Well, I interpreted that in a different way. name() can always be an 
empty string but different types get different empty strings so that 
the pointers are not equal. Everything lies in the type of equality 
used !! Thus, my belief is that Alexandre is totally right...

- --------------------------------------------------------------------
Theodore Papadopoulo
Email: Theodore.Papadopoulo@sophia.inria.fr Tel: (33) 04 92 38 76 01
 --------------------------------------------------------------------


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.3 (GNU/Linux)
Comment: Exmh version 2.2 06/23/2000

iD8DBQE6bIGoIzTj8qrxOU4RAt69AKCXgBSmiM6i26krIW5GzDjMyessNACggq+4
xZWC5agWEL7rQ6vjzf3kuN0=
=ajsa
-----END PGP SIGNATURE-----