[cfe-dev] static_cast and dynamic_cast semantic checks
doug.gregor at gmail.com
Tue Oct 28 17:00:57 PDT 2008
On Tue, Oct 28, 2008 at 6:20 PM, Sebastian Redl
<sebastian.redl at getdesigned.at> wrote:
> Sebastian Redl wrote:
>> Sebastian Redl wrote:
>>> Sebastian Redl wrote:
>>>> Attached patch contains semantic checks for dynamic_cast and
>>>> static_cast, as far as the current class support allows either. This also
>>>> subsumes the small patch I asked permission for on Friday, which was a side
>>>> effect of my static_cast work.
>>> Aaaaand ... here's the updated version, merged with Doug's big patch.
>> And another one, merged with the reference patch and with the reference
>> hack unwraps removed.
> Another update. This adds a rudimentary implementation of 8.5.3 (reference
> binding) to TryCopyInitialization. This allows references to bind to less
> cv-qualified versions of the same type as well as to subclasses of the
> reference type, which is a considerable improvement over the current
> situation. Subclass checking is not as stringent as it should be.
> This isn't in the actual initialization code yet, but it works for
> static_cast and should work for argument passing.
Hah! I've also been implementing 8.5.3... I'll take a look.
More information about the cfe-dev