Question about interface implementation

[Theo]

On Sunday, 21 May 2023 at 10:33:07 UTC, ag0aep6g wrote:
> On 21.05.23 12:28, ag0aep6g wrote:
>> Since @trusted functions are guaranteed (by the programmer) to 
>> be safe, they are allowed to overload/implement @safe 
>> functions/prototypes.
>
> *override

oh ok. so i can override a @safe interface method with a @trusted 
implementation of that method, and nobody will ever know. I'm not 
sure how i feel about that.

Likely I would never put @safe in the interface anyway, but even 
so...

As for the other part, if I use an abstract base class, I *must* 
indicate when i'm overriding the base class method by explicately 
saying 'override'.

Would be nice to have something for an interface method, so when 
it's being implemented, you know that method is the 
implementation of an interface method, and not just some method 
specific to that class - see my idea below.

interface Ship
{
     void setSpeed(int speed);
     int getSpeed();
}

class PirateShip : Ship
{
     private int speed = 0; // Here, I really mean 'private(this)'

     public void setSpeed(int speed) : implements Ship
     {
         this.speed = speed;
     }

     public int getSpeed() : implements Ship
     {
         return speed;
     }
}

// other ships.....