Getting the overload set of a template
Alex
sascha.orlov at gmail.com
Thu Apr 19 14:16:21 UTC 2018
On Thursday, 19 April 2018 at 13:57:04 UTC, Simen Kjærås wrote:
> Currently, there is no way (that I've found, at least) to do
> this. If you have a workaround, that's great, but there really
> should be a way - probably __traits(getOverloads). Having
> __traits(getOverloads) return templates as well should fix some
> of the issues __traits(getOverloads) has, as a bonus.
>
Would it be possible at all? I mean, if the two following codes
are equivalent
´´´
@S("Has foo_A") template foo(string s) if (s == "a") {
enum foo = "foo_A";
}
@S("Has foo_B") template foo(string s) if (s == "b") {
enum foo = "foo_B";
}
´´´
´´´
template foo(string s)
{
static if (s == "a")
{
@S("Has foo_A") enum foo = "foo_A";
}
else static if (s == "b")
{
@S("Has foo_B") enum foo = "foo_B";
}
}
´´´
How would you define a "template overload"?
And which "overloads" would you like to get if constraints are
more general?
And last but not least, the getOverloads is defined on functions,
which are callable, whereas templates are not, in general...
More information about the Digitalmars-d-learn
mailing list