Optional tags and attributes

[Timon Gehr]

On 01/18/2014 03:50 AM, Stanislav Blinov wrote:
>>
>
> Oh, I see now where it went the wrong way. From my own example, of
> course :)
>
> Surely I was meaning:
>
> class Careful(T) {
> //...
>    void thisIsSoPolymorphic() nothrow(isNoThrow!(T.foo)) { ... }
> //...
> }
>
> Something to that extent. So that yes, the function itself is not a
> template.

Well, but it will be annotated nothrow anyway if possible. Inference is 
not actually limited in the implied way.

In case you _really_ want to be explicit about this (and you seem not 
to), the general problem precluding a nice library implementation is 
that built-in attributes cannot be aliased.

You can always use a string mixin though:

mixin(`void thisIsSoPolymorphic()`~(isNoThrow!(T.foo)?:"nothrow":"")~q{{
     ...
}});

This easily scales to all attributes you may find interesting:

mixin(`void thisIsSoPolymorphic()`~stringOfAttributes!(T.foo)~q{{
     ...
}});