Re: [boost] [type_erasure] Review started (July 18-27, 2012)

Subject: Re: [boost] [type_erasure] Review started (July 18-27, 2012)
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2012-07-23 15:55:25

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