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