On Saturday, 21 May 2016 at 08:45:45 UTC, Manu wrote:
Constraints are a good first-step in that direction, but they're unwieldy, produce the worst looking function signatures (read: documentation) of literally any language ever conceived, relatively awkward error feedback, and very quickly get out of hand if you have many variations of possible constraints.

Constraints are enough for simple matters.
As soon as they are used to distinguish between many overloads with complicated relationships they become slightly crude.

However this can be worked around with having static ifs and static asserts(0). I find myself just one variadic template with a lot of static ifs branches.

Reply via email to