http://stackoverflow.com/questions/21765885/the-this-pointer-and-message-receiving-in-d/21766122#21766122


Currently, this compiles:

class Foo {
        void bar(int) {}
}

static assert(is(typeof(&Foo.bar) == void function(int)));


But if you actually try to use it, you get a problem:

void main() {
        void function(int) fn = &Foo.bar;
        fn(10);
}
$ ./test52
Segmentation fault


Being a non-static member variable, it expects a context pointer to be passed to it as well, but there's no indication of that in the returned type.

I think it should actually be typed void function(int, Foo); or something like that. Otherwise, generic code that tries to look at the type, std.concurrency.receive for example, can try to blindly use it and get runtime crashes where i think it should be a type system error.

It also cannot be a delegate at this point because the context pointer is unknown.


The exception is if you are already in a non-static method and refer to it:

class Foo {
        void bar(int a) {
                import std.stdio;
                writeln(a);
        }
}
class Baz : Foo {
        override void bar(int) {
                Foo.bar(1); // calls the method from the super class
        }
}


In this case, the address-of operator already yields void delegate(int a) - which works and makes sense.