How to break const

deadalnix deadalnix at gmail.com
Mon Jun 18 07:45:53 PDT 2012


Le 18/06/2012 16:43, Andrei Alexandrescu a écrit :
> On 6/18/12 7:43 AM, deadalnix wrote:
>> Le 18/06/2012 07:36, Mehrdad a écrit :
>>> Is it just me, or did I subvert the type system here?
>>>
>>
>> delegate fail to ensure transitivity of type qualifier. This is no news.
>> This is however a big error.
>>
>> I proposed a fix to that by changing the semantic of the type qualifier
>> depending on its position in the declaration, but didn't received much
>> feedback at the time.
>
> I don't think that's the correct explanation.
>
> Andrei
>

I fail to understand what you mean here. This post ins't supposed to 
explain anything. I've however made other posts to explain why 
transitivity is broken when it comes to delegate.


More information about the Digitalmars-d mailing list