Crash in out contract in interface

Alex Rønne Petersen xtzgzorex at gmail.com
Mon Aug 29 09:12:54 PDT 2011


On 24-08-2011 19:52, Andrei Alexandrescu wrote:
> On 8/24/11 9:39 AM, Alex Rønne Petersen wrote:
>> On 24-08-2011 16:47, Andrei Alexandrescu wrote:
>>> On 8/24/11 6:58 AM, Timon Gehr wrote:
>>>> So, basically interfaces are the only place in D?/DMD where you can
>>>> even
>>>> specify contracts without a function body and there they don't work. I
>>>> think the bug is not the only problem, actual contracts should /always/
>>>> be part of the function declaration and not require an
>>>> implementation to
>>>> work. Everything else degrades contracts to simple syntactic sugar for
>>>> assertions.
>>>
>>> That plus interplay with inheritance.
>>>
>>> Andrei
>>
>> Have you seen how Microsoft's Code Contracts deals with inheritance?
>>
>> It's described in the documentation at this page:
>> http://msdn.microsoft.com/en-us/devlabs/dd491992
>>
>> - Alex
>
> I assume you refer to the PDF documentation linked from that page,
> http://download.microsoft.com/download/C/2/7/C2715F76-F56C-4D37-9231-EF8076B7EC13/userdoc.pdf.
> Anyhow, the handling is fairly standard, so what is your point?
>
> Andrei

Oh, I was simply suggesting that it might be a good way for D to do 
contracts with inheritance, in case there were still design choices to 
be made in this area.

- Alex


More information about the Digitalmars-d mailing list