Michael Shepanski <mshepanski@gmail.com> writes:
On 10/26/05, David Abrahams <dave@boost-consulting.com> wrote:
I think the problem is that type_with_alignment can't find a type that has an alignment of 12. Producing an error in that case is the right behavior. We could add the type whose alignment_of<> is 12 to the reperotoire of types being tested by type_with_alignment...
Don't we need to be sure that type_with_alignment<> can accept *any* number that alignment_of<> produces -- or, conversely, make sure that alignment_of<> only produces numbers that type_with_alignment<> can accept? (I'm assuming that we want boost::optional to work all the time, not just for my example.)
Sure, that's what we want. Can you figure out *how*? That's the problem. -- Dave Abrahams Boost Consulting www.boost-consulting.com