23 May
2011
23 May
'11
5:17 a.m.
On Sun, May 22, 2011 at 8:32 PM, Steven Watanabe <watanabesj@gmail.com>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