Re: [boost] RFC: type erasure

Subject: Re: [boost] RFC: type erasure
From: Matt Calabrese (rivorus_at_[hidden])
Date: 2011-05-23 01:17:29

On Sun, May 22, 2011 at 8:32 PM, Steven Watanabe <watanabesj_at_[hidden]>wrote:

> If the constraint is of the form SomeConcept<A, B, C>,
> I can use placeholders for the arguments, and pick it
> apart with TMP.

True. We should probably even be able to handle more complicated situations
such as

requires SomeConcept< OtherConcept< A >::value_type >;

if I make my concepts themselves aware of the placeholders and define their
associated types accordingly when those placeholders are used, though I
haven't given much thought to it yet.

-- 
-Matt Calabrese