typeof throws away the reference

[Andrew Pinski]

On Jan 28, 2005, at 10:04 AM, Giovanni Bajo wrote:

> Jari Petter Sundell <jaris@student.matnat.uio.no> wrote:
>
>> Compiling the following on g++-3.3 and 3.5-tree-ssa does not give a
>> "could not convert `0' to ` int&'" for either of the assignments. Why
>> doesn't typeof preserve the reference?
>>
>> int& f();
>>
>> int main() {
>>   int& a = f();
>>
>>   typeof(a) r = 0;
>>   typeof(f()) s = 0;
>> }
>
>
> Because our implementation of typeof is the so-called  
> "reference-dropping
> typeof". There are pros and cons. This document should give you some  
> clue:
> http://www.osl.iu.edu/~jajarvi/publications/papers/ 
> decltype_revisited_n1527.pdf
> (not sure if it's the last version).


Also this is PR 10243.


-- Pinski