[cxx-abi-dev] Mangling late-specified return types/decltype

Jason Merrill jason at redhat.com
Wed Oct 8 21:22:52 UTC 2008


Jason Merrill wrote:
> Simplifications within sizeof/alignof/decltype:
> 
> lvalue forms:
> 
> var
> exp.member (where type of exp is not dependent)
> exp->member (ditto *exp and exp doesn't overload op->)
> *exp (where type of exp is known to be pointer to something)
> 
> rvalue forms:
> 
> T(args)
> literals
> rvalue.member
> 
> Should decltype(non-type-dependent expr) just get resolved to its type? 

I think so.  And decltype(one of these forms).

> Do we want to handle anything else specially?  And/or leave member 
> access out and mangle them using the normal rules?

Now I'm leaning toward leaving out member access, and only handling 
variables, derefs, conversions and literals specially.

Jason




More information about the cxx-abi-dev mailing list