[cxx-abi-dev] Decltype mangling and type dependency

[William M. (Mike) Miller]

On 2/23/2011 9:55 AM, David Vandevoorde wrote:
> Agreed.  Should we open a core issue for that?

I agree, as well, and will put this on the list.

> 	Daveed
>
>
> On Feb 22, 2011, at 8:28 PM, Jason Merrill wrote:
>
>> It occurs to me now that this is really a language question, not ABI. Is this testcase well-formed?
>>
>> template<class T, T* u>
>> struct S
>> {
>>   decltype(u) foo(T);
>> };
>>
>> template<class T, T *u>
>> T* S<T, u>::foo(T)
>> {
>>   T t;
>>   return t;
>> }
>>
>> Type matching rules aren't well specified in the WP, but it seems reasonable to say that the definition needs to use decltype as well, which matches the decision to mangle decltype(u) in the signature.
>>
>> Jason
>
>


-- 
William M. (Mike) Miller | Edison Design Group, Inc.
wmm at edg.com