[cfe-dev] Smart pointers for canonical types

[Sebastian Redl]

Douglas Gregor wrote:
>
> On Jul 15, 2009, at 4:58 PM, Douglas Gregor wrote:
>> The attached patch introduces a new class template CanQual<T>, which
>> is a smart pointer that refers to a canonical type whose dynamic type
>> is T or some subclass thereof. T will often be Type, but we also
>> expect that, e.g., CanQual<PointerType> will be used rather than
>> const PointerType*.
>
> Here's an updated patch, which contains all of the canonical type
> proxies and converts the template argument deduction code over to use
> the canonical-type smart pointer. Unless there are complaints, I plan
> to introduce this code early next week.
Looks very good. Just one nit: CanQual::getNonReferenceType has an
incomplete comment.

Sebastian