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
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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk