Indeed it does.

It's a bit obtuse though having to wrap my function up in an outer template just to scope the template arg correctly.

Do you think it's reasonable that an attribute should be scoped such that it can see the template args of the declaration it's bound to?

It kinda makes sense, an attribute is intrinsically connected to the declaration, so it should be able to access any template args given...

On 28 May 2013 23:51, Kenji Hara <k.hara.pg@gmail.com> wrote:

2013/5/28 Manu <turkeyman@gmail.com>

So I've run into an expression I need to be able to implement std.simd properly for GDC/LDC.

Doesn't work:

  @attribute("target", T) void func(string T)(...);

In this case, currently, the UDA can't receive the template arg that was given to the function.

I require that attributes on templates be able to make use of the template args, since the template arg given may affect the attribute in some circumstances.

This code works.

string attribute(string, string s) { return s; }

//@attribute("target", T) void func(string T)() {}

template func(string T)

{

    @attribute("target", T) void func() {}

}

void main()

{

    alias f1 = func!"a";

    alias f2 = func!"b";

    pragma(msg, __traits(getAttributes, f1));   // "a"

    pragma(msg, __traits(getAttributes, f2));   // "b"

    f1();

    f2();

}

Kenji Hara