"Manu via Digitalmars-d" wrote in message
news:mailman.4110.1420345278.9932.digitalmar...@puremagic.com...
>
> template function(Arg)
> {
> @uda(Arg) void function() { ... }
> }
Ah, interesting. I've never written a template function like that.
Hmmm, is that how code is rewritten when compiling? If so, why doesn't
it just work already?
I'm pretty sure you were told about this last time you asked about the same
thing.
Yes, this is how the compiler re-writes function templates internally, but
if you have udas:
@uda(Arg) void function(Arg)() { ... }
becomes
@uda(Arg) template function(Arg)
{
void function() { ... }
}
This makes more sense when you remember that
@uda(Arg) void function(Arg)() { ... }
is identical to
@uda(Arg) { void function(Arg)() { ... } }
so it doesn't make a lot of sense to pull the UDA inside the template.
One weird thing is that it doesn't work with postfix udas either:
void function(Arg)() @uda(Arg) { ... }
Would that be appropriate for your code if it worked? If so, it might be
worth opening an enhancement.
