On 6/17/12 7:23 AM, Philippe Sigaud wrote:
An obvious generalization is to template the struct on a predicate:struct Constrained(T, alias pred) {
Nice idea, but it should be said that making the predicate opaque prevents the implementer from taking advantage of its properties.
Andrei
