Steven Watanabe | 18 Jul 2012 23:49
Picon

Re: [TypeErasure] assignment operator of any references

AMDG

On 07/18/2012 02:15 PM, Vicente J. Botet Escriba wrote:
> Hi,
> 
> The References section constains this example:
> 
> int  i,  j;
> any<typeid_<>,  _self&>  x(i),  y(j);
> x  =  y;  // error
> 
> The following basic c++ code
> 
> int i=1, j=0;
> int& x(i);
> int& y(j);
> x = y; // [1]
> 
> works and the expected value of x after [1] is 0.
> 
> Which concept requirements should I add to make the following work?
> assignable?
> 

Yes.  assignable<> should work.

> int  i,  j;
> any<mpl::vector<typeid_<>, ...>,  _self&>  x(i),  y(j);
> x  =  y;  // no error
> 

In Christ,
Steven Watanabe

_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost


Gmane