Classes that inherit from an interface can override static interface methods

[dlangBugzillaToGithub]

Eduard Staniloiu (@edi33416) reported this on 2019-03-27T13:34:38Z

Transferred from https://issues.dlang.org/show_bug.cgi?id=19767

CC List

• Andrei Alexandrescu (@andralex)

Description

This directly contradicts the interface [spec](https://dlang.org/spec/interface.html), pt. 8:

"Classes that inherit from an interface may not override final or static interface member functions."

interface D
{
    void bar();
    static void foo() { }
}

class C : D
{
    void bar() { } // ok
    void foo() { } // BUG: this is ok, but should error because we cannot override static D.foo()
}

[dlangBugzillaToGithub]

b2.temp commented on 2019-03-27T18:18:42Z

I don't know if the report is valid.
 
1. You can still call the interface version of foo, e.g `(new C).D.foo();`
2. C.foo() is not virtual and does not call the inherited D.foo().

Because 2, the specs are respected. It's not an override but rather a case of  hijacking.

[dlangBugzillaToGithub]

andrei (@andralex) commented on 2019-03-27T19:06:25Z

Yah, this should be clarified in the spec. Thanks Edi!