Re: [boost] [type_erasure]any(const binding<Concept>&, ...) compile error

Subject: Re: [boost] [type_erasure]any(const binding<Concept>&, ...) compile error
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2012-07-26 10:57:27

AMDG

On 07/26/2012 07:40 AM, Larry Evans wrote:
> On 07/26/12 09:02, Steven Watanabe wrote:
>> On 07/26/2012 05:29 AM, Larry Evans wrote:
>>
>> The concept doesn't contain anything that
>> matches an argument of type value<_a>.
>>
> Then why isn't a similar compile error produced when b_any is constructed?
> 

This calls a different constructor which
has different requirements.  Have you
read the reference for any?  I tried
to cover the constructors thoroughly.

> A revised test driver(attached) uses double instead of
> value<_a> and value<_b> and it still produces the same error.
> 

Why would that make a difference?

> In addition, when bindings_made instead of b_bindings is used to
> make a_any, it compiles and runs without problem whether
> value<_a> or value<_a>::type (i.e. double) is used as the
> value arg to AnyA.
> 

In Christ,
Steven Watanabe