23 Jul
2012
23 Jul
'12
7:55 p.m.
AMDG On 07/23/2012 09:07 AM, Andrey Semashev wrote:
If there is a way to describe the operator when the result type differs from the both argument types, the mentioned example doesn't show that. Actually, is this possible with the library?
Yes. The return type can be any placeholder or a specific type. addable<_a, _a, double> // a + a -> double addable<_a, _b, _c> // a + b -> c However, it adds extra complexity because all the placeholders still need to be bound. In Christ, Steven Watanabe