simple (I think) eponymous template question ... what is proper idimatic way ?
Steven Schveighoffer
schveiguy at gmail.com
Tue Aug 17 18:28:53 UTC 2021
On 8/17/21 2:11 PM, james.p.leblanc wrote:
> Evening All,
>
> Eponymous templates allow a nice calling syntax. For example, "foo"
> here can
> be called without needing the exclamation mark (!) at calling sites. We
> see that
> foo is restricting a, and b to be of the same type ... so far, so good.
>
> auto foo(T)(T a, T b) { ... }
>
> Now, suppose I need to restrict "T" only certain subsets of variable types.
>
> I can imagine putting in some "static if" statements in my function body,
> is one solution. (Also a bit ugly as the allowed types might grow).
>
> Is there a more elegant way, to do this?
[Template
constraints](https://dlang.org/spec/template.html#template_constraints).
-Steve
More information about the Digitalmars-d-learn
mailing list