Hi John,
From: John Maddock
At present you have:
compressed_pair<empty1, empty2> member1; T member2;
No, it's different: class constrained { struct helper : compressed_pair<empty1, empty2> { T value; } helper member; }
I was thinking of the interface required to be provided by the constraint-checking and error-handling template parameters, perhaps I missed it? I realise it was mostly covered by the examples/tutorial, but I didn't see a reference page for these?
The interfaces are described here http://tinyurl.com/5wnfpj in the Parameters section. Morover, there may be additional requirements imposed by particular functions (e.g., swap requires that the policies are swappable) -- they are mentioned in the documentation of those functions. Best regards, Robert