Re: [boost] Formal Review Request: TypeErasure

Subject: Re: [boost] Formal Review Request: TypeErasure
From: Jeremy Maitin-Shepard (jeremy_at_[hidden])
Date: 2012-05-24 19:21:19

Steven Watanabe <watanabesj <at> gmail.com> writes:

> 
> AMDG
> 
> I'd like to request a formal review of the
> TypeErasure library that I've posted about
> several times before here.
> 
> The TypeErasure library is a generalization
> of boost::any and boost::function.  It
> allows easy composition of arbitrary
> type erased operators.

This library is indeed very interesting.  From a quick look at some of the
documentation, I have just one initial comment: I believe it is a mistake to
"propagate constness" for "any"s that capture references, as that is
inconsistent with normal C++ semantics and it leads to a situation of trying to
fight the C++ type system rather than work with it.