Re: ADL

[Jacob Carlborg via Digitalmars-d]

On 2016-09-05 11:06, Andrei Alexandrescu wrote:

That is correct (and btw the example should use the member call syntax).
But touching a type's module is modifying the type. -- Andrei

Not sure what that has to do with anything.

Example:

module foo;

struct Foo
{
    int[] array = [1];
}

int front(Foo foo)
{
    return foo.array[0];
}

module algo;

void algorithm(Range)(Range range)
{
    auto e = range.front; // Error: no property 'front' for type 'Foo'
}

module main

import foo;
import algo;

void main()
{
    algorithm(Foo());
}

--
/Jacob Carlborg