www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.learn - Overloading of static and instance members

Consider this example:
struct A
    static void foo () {}
    void foo () {}

void main ()
    A a;
    A.foo(); // error here
    a.foo();  // and same here

Error: function main.A.foo called with argument types:
matches both:

Which is ok for "a.foo()" case, because it is possible to call static and 
instance functions on instance variable. But I would expect to be possible 
to call A.foo() because there is no ambiguity.

Can somebody please explain me rationale behind this. Can this possibly prevent 
some errors? Because now it seems to me like unnecessary restriction. 

If this has reason, why then not issue error sooner - when declaring
overloaded functions.
Dec 11 2009