Inheritance of purity

[deadalnix]

Le 18/02/2012 19:25, Walter Bright a écrit :
> On 2/18/2012 6:49 AM, kenji hara wrote:
>> After some thoughts, I agree that inheritance of pure @safe, and
>> nothrow is good feature.
>> But I disagree to const inference, because const attribute interacts
>> with overloadings.
>
> The const inheritance *only* happens if otherwise you'd get a covariance
> error. It does not change the meaning of any existing code that compiled
> successfully.

yes but then, if a method is added to the base class, you will have a 
changement of behavior of all overriden method, silently.

It means nasty bugs, an hours spent to go throw the whole codebase and 
review manually which method do we want to override in each cases.

The current state of D is very inconsistent on this topic and it lead to 
many quirks.