Inheritance and in-contracts

Joseph Rushton Wakeling via Digitalmars-d-learn digitalmars-d-learn at puremagic.com
Fri Dec 5 15:30:31 PST 2014


On 06/12/14 00:24, bearophile via Digitalmars-d-learn wrote:
> Is this a strong need?

Let's put it this way: I don't mind copy-pasting the same in-contract into 
derived class methods.  I'd just rather avoid it, and was hoping there was a way 
to do so which was trivial.

It's disappointing that the lack of an explicitly empty in-contract doesn't 
imply inheritance of the base contract, but I could live with it much more 
easily if I could explicitly indicate that desired inheritance.


More information about the Digitalmars-d-learn mailing list