> > Note that I'm using the class to avoid construction/deconstruction of an object:
> >
> > placeholder<std::string> ps;
> > std::string s("hi");
> > new(&ps.v) std::string(s);
> Instead of a union containing the template parameter type, how about using std::aligned_storage of suitable size instead?
Well that's the current impl (from boost optional.hpp)
union dummy_u
{
char data[ sizeof(T) ];
BOOST_DEDUCED_TYPENAME type_with_alignment<
::boost::alignment_of<T>::value >::type aligner_;
} dummy_ ;
I was hoping we could use a new union to do this, because it'd be a little more elegant and also gdb will displays the contents correctly (assuming they're valid).
The whole point of N2544 was to allow you to do stuff like this. I can declare a deconstructor/constructor for the union which does nothing. Unfortunately has_trivial_destructor doesn't get it.
That's just my use case though. A more general question: can you detect do nothing/trivial constructors/destructors/assignment on any struct/union/class?
For example if std::pair<bool,char> defines a copy constructor or assignment does it have to lose the "trivial" property?
Is there some proof that doing these things are impossible?
Chris
PS thanks for the quick response I may be out for a while.
