id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
13208	Make boost::optional<T> trivially destructible, copyable and movable if T is	1zeeky@…	Fernando Cacciola	"Conceptually there's nothing preventing {{{boost::optional<T>}}} from being trivially destructible, copyable and movable if T is.
This could be useful, for instance, to use an {{{boost::optional<T>}}} as a union-member.

I have a POC implementation based on Boost 1.64 [https://github.com/z33ky/trivial_optional/blob/master/optional.hpp here]. \\
I moved {{{m_storage}}} and {{{m_initialized}}} to a new {{{class optional_storage}}}, representing the new base class. Some methods managing those members are move there as well.
{{{optional_base}}} indirectly inherits from {{{optional_storage}}} through {{{optional_destroyer}}}, {{{optional_mover}}} and {{{optional_copier}}}, which are templated classes including a boolean parameter to determine whether {{{T}}} is trivially destructible, movable and copyable and use template specialization to provide the respective trivial members. \\
The implementation relies on defaulting constructors, so without C++11 or newer only trivial destruction is possible."	Feature Requests	new	To Be Determined	optional		Not Applicable