Re: UFCS and delegates

[Rikki Cattermole]

On Saturday, 15 March 2014 at 08:33:13 UTC, Steve Teale wrote:
Doesn't the logic of UFCS rather suggest that this should 
compile?

struct A
{
   int m;
   void foo(int n) { m += n; }
}

void bar(ref A a, int n)
{
   a.foo(n*n);
}

void delegate(int) dg = &bar;

void main()
{
   A a;
   a.bar(3);
   dg(3);
   assert(a.m == 18);
}

This yes:

struct A
{
    int m;
    void foo(int n) { m += n; }
        
    void bar(int n) {
       foo(n*n);
    }

}

void main()
{
    A a;
    void delegate(int) dg = &a.bar;

    a.bar(3);
    dg(3);
    assert(a.m == 18);
}

yours no.
Because a delegate stores a context ptr aka this. As well as a 
function pointer. What you were doing meant that no content 
pointer was being stored. Essentially it was just a function 
pointer without the first argument added.